|
|
|
141. |
The foundations of program verification /
by Loeckx, Jacques
Publication:
Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984
. IX, 230 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
142. |
Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. VI, 299 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
143. |
Computers, brains and minds : essays in cognitive science /
Publication:
Dordrecht : Kluwer Academic Publishers, 1989
. X, 225 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
144. |
Computational geometry and its applications : CG'88, International workshop on computational geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /
Publication:
Berlin : Springer-Verlag, 1988
. VI, 252 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
145. |
Foundations of software technology and theoretical computer science : eight conference, Pune, India, december 21-23, 1988 /
Publication:
Berlin : Springer Verlag, 1988
. IX, 519 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
146. |
Algebraic approaches to program semantics /
by Manes, Ernest G.
Publication:
New York : Springer-Verlag, 1986
. XIII, 351 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
147. |
An introduction to formal language theory /
by Moll, Robert N.
Publication:
New York : Springer-Verlag, 1988
. X,, 203 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
148. |
Vol. 1: Formal aspects of artificial intelligence /
by Narayanan, Ajit
Publication:
Chichester : E. Horwood ; New York : Halsted Press, 1988
. 200 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
149. |
Formal methods in artificial intelligence /
by Ramsay, Allan
Publication:
Cambridge ; New York : Cambridge University Press, 1988
. IX, 279 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
150. |
Memory performance of prolog architectures /
by Tick, Evan
Publication:
Boston : Kluwer Academic Publishers, 1988
. XVIII, 213 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
151. |
Attribute grammars : definitions, systems, and bibliography /
by Deransart, Pierre
Publication:
Berlin : Springer-Verlag, 1988
. IX, 232 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
152. |
Natural language at the computer : Scientific symposium on syntax and semantics for text processing and man-machine-communication, held on the occasion of the 20th anniversary of the Science Center Heildelberg, FRG, february 25, 1988 : proceedings /
Publication:
Berlin ; Springer-Verlag, 1988
. 176 p. ;
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
153. |
Computer-oriented approaches to pattern recognition /
by Meisel, William S.
Publication:
New York : Academic Press, 1972
. XII, 250 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
154. |
Machine learning of robot assembly plans /
by Segre, Alberto Maria
Publication:
Boston : Kluwer Academic Publushers, 1988
. XVI, 233 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
155. |
Languages and machines : an introduction to the theory of computer science /
by Sudkamp, Thomas A.
Publication:
Reading : Addison-Wesley, 1988
. XV, 444 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
156. |
Concurrent program structures /
by Bustard, David
Publication:
New York : Prentice Hall, 1988
. XI, 321 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
157. |
Expert systems and decision support in medicine : proceedings 33rd Annual Meeting of the GMDS, EFMI Special Topic Meeting, Peter L. Reichertz Memorial Conference, Hannover, September 26-29, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1988
. 245 p. ;
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
158. |
Constraint programming languages : their specification and generation /
by Leler, William
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. VI, 202 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
159. |
Automated theorem-proving in non-classical ligics /
by Thistlewaite, Paul B.
Publication:
London : Pitman ; New York : Wiley, 1988
. 154 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
160. |
The ecology of computation /
Publication:
Amsterdam : North Holland, 1988
. VI, 342 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
