Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Ask a Librarian
Books & more
: Hits
1 - 12
of
12
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 1
1
Book
The Z notation : a reference manual /
Spivey, J. M.
1989
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 2
2
Book
Introduction to functional programming.
Bird, R.
1988
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 3
3
Book
Object-oriented software construction /
Meyer, Bertrand.
1988
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 4
4
Book
Computer science : a mathematical introduction: applied mathematics: modeling, analysis, and optimization techniques with applications to software systems.
Lew, A.
1985
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 5
5
Book
Communicating sequential processes /
Hoare, C. A. R.
1985
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 6
6
Book
Micro prolog : programming in logic.
Clark, K. L.
1984
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 7
7
Book
System development /
Jackson, M. A.
1983
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 8
8
Book
Mathematical theory of program correctness /
De Bakker, Jaco.
1980
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 9
9
Book
Structured system programming.
Welsh, J.
1980
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 10
10
Book
Introduction to Pascal /
Welsh, Jim.
1979
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 11
11
Book
Syntax of programming languages : theory and practice /
Backhouse, Roland C.
1979
“
...
Prentice
Hall
international
series
in
computer
science
...
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 12
12
Book
Programming in Occam.
Jones, G.
“
...
Prentice
Hall
international
series
in
computer
science
....
”
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Print Edition
12
Material Type
Book
12
Type of Literature
Handbook, Textbook
3
Year of Publication
From:
To:
Location
ZB
11
IKP
1
Name
Backhouse, Roland C.
1
Bird, R.
1
Clark, K. L.
1
De Bakker, Jaco.
1
De Bruin, Arie.
1
Elder, John.
1
more ...
Hoare, C. A. R.
1
Jackson, M. A.
1
Jones, G.
1
Lew, A.
1
MacKeag, M.
1
Meyer, Bertrand.
1
Spivey, J. M.
1
Wadler, P.
1
Welsh, J.
1
Welsh, Jim.
1
Zucker, Jeffery.
1
see all ...
less ...
Subject
Eiffel (programming language)
1
Occam (programming language)
1
PASCAL (programming language)
1
PROLOG (programming language)
1
computer algorithm
1
object oriented programming
1
more ...
parallel processing
1
parallel programming
1
programming language
1
software quality
1
structured programming
1
see all ...
less ...
Classification
DMA - Programming
4
DOZ - Programming languages - Other
2
MDF - Formal languages, coding theory
2
DAE - Information technology - general
1
DEA - Formal languages, machine oriented, assembler
1
DMAF - Object oriented programming
1
more ...
DOM - Programming language - PASCAL, Turbo PASCAL, Delphi
1
TCA - Communication science - general
1
see all ...
less ...
Language
English
1
/* End Narrow Search Options */ ?>
×
Loading...