|
|
|
81. |
Advanced database systems : 10th British national conference on databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. X, 260 p. ;
23 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
82. |
Advances in petri nets 1992 /
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 472 p ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
83. |
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 723 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
84. |
Pascal: an introduction to the art and science of programming /
by Savitch, Walter J.
Publication:
Redwood City : The Benjamin/Cummings Publishing Company, 1991
. XXV, 671 p. ;
23 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
85. |
Specifyng message passing and time-critical systems with temporal logic /
by Koymans, Ron
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 164 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
86. |
Image reconstruction from projections : the foundamentals of computerized tomography /
by Herman, Gabor T.
Publication:
New York : Academic Press, 1980
. XIV, 316 p. :
23 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
87. |
Nonmonotonic reasoning : logical foundations of commonsense /
by Brewka, Gerhard
Publication:
Cambridge : Cambridge University Press, 1991
. XI, 168 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
88. |
Directed sonar sensing for mobile robot navigation /
by Leonard, John J.
Publication:
Boston : Kluwer Academic Publishers, 1992
. XIX, 208 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
89. |
Software engineering education : SEI conference 1992, San Diego, California, USA, October 5-7, 1992, proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. XI, 451 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
90. |
Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. XI, 492 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
91. |
Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /
Publication:
Berlin : Springer Verlag, 1992
. VIII, 428 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
92. |
Constructivity in computer science : summer symposium, San Antonio, TX, june 19-22 1991, proceedings /
Publication:
Berlin : Springer Verlag, 1992
. X, 246 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
93. |
Automata, languages and programming : 19th International colloquium, Wien, Austria, July 13-17 1992 : proceedings /
Publication:
Berlin : Springer Verlag, 1992
. XII, 719 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
94. |
Implementing functional languages /
by Peyton Jones, Simon L.
Publication:
New York : Prentice Hall, 1992
. XVII, 281 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
95. |
Verifiable programming /
by Dahl, Ole-Johan
Publication:
New York : Prentice Hall, 1992
. IX, 269 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
96. |
Computer-aided mechanical assembly planning /
Publication:
Boston : Kluwer Academic Publishers, 1991
. XI, 446 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
97. |
Mathematical logic and theoretical computer science /
Publication:
New York : Dekker, 1987
. XVIII, 383 p. ;
, Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985
26 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
98. |
Processing declarative knowledge ; international workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991: proceedings /
Publication:
Berlin : Springer-Verlag, 1991
. XII, 427 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
99. |
Algorithmic information theory /
by Chaitin, Gregory J.
Publication:
Cambridge : Cambridge Univ. Press, 1990
. VIII, 178 p. ;
27 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
100. |
Graph-based proof procedure for horn clauses /
by Raatz, Stan
Publication:
Boston : Birkhauser, 1990
. 147 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
