|
|
|
121. |
Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 372 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
122. |
First-order logic and automated theorem proving /
by Fitting, Melvin
Publication:
New York : Springer-Verlag, 1990
. XIII, 242 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
123. |
Machine learning, meta-reasoning, and logics /
Publication:
Boston : Kluwer Academic Publishers, 1990
. XX, 328 p. :
26 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
124. |
Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /
Publication:
Berlin : Springer Verlag, 1990
. VIII, 307 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
125. |
Specification and transformation of programs : a formal approach to software development /
by Partsch, Helmut A.
Publication:
Berlin ; New York : Springer-Verlag, 1990
. XIII, 493 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
126. |
Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /
Publication:
Berlin : Springer Verlag, 1990
. VI, 338 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
127. |
Object-oriented software construction /
by Meyer, Bertrand
Publication:
New York : Prentice Hall, 1988
. XVIII, 534 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
128. |
Computer Vision - ECCV 90 : proceedings of the first European conference on computer vision : Antibes, France, April 23-27, 1990 /
Publication:
Berlin : Springer-Verlag, 1990
. XII, 618 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
129. |
Stochastic complexity in statistical inquiry /
by Rissanen, Jorma
Publication:
Singapore ; Teaneck, N.J. : World Scientific, 1989
. III, 177 p. ;
22 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
130. |
Foundations of knowledge base management : contributions from logic, databases, and artificial intelligence applications /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. XIV, 579 p. :
, Proceedings of the Xania Workshop on Knowledge Bade Management Systems, Crete, June 1985
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
131. |
CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 399 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
132. |
Category theory and computer science : proceedings, Manchester, UK, September 5-8, 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 365 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
133. |
Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /
Publication:
New York : Springer-Verlag, 1989
. XI, 493 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
134. |
Automata languages and programming : proceedings of the 16th International Colloquium, Stresa, Italy, July 11-15, 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. XI, 788 p. ;
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
135. |
Software engineering education : proceedings of the SEI Conference 1989, Pittsburgh, Pennsylvania, USA, july 1989 /
Publication:
Berlin : Springer-Verlag, 1989
. VII, 312 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
136. |
Stacs 89 : 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, february 16-18, 1989 /
Publication:
Berlin : Springer Verlag, 1989
. VI, 543 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
137. |
Three-dimensional machine vision /
Publication:
Boston : Kluwer, 1987
. IX, 609 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
138. |
Logic based knowledge representation /
by Jackson, Peter
Publication:
Cambridge : The MIT Press, 1989
. XV, 255 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
139. |
Design problem solving : knowledge structures and control strategies /
by Brown, David C.
Publication:
Pitman : London, 1989
. 199 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
140. |
Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VII, 457 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
