|
|
|
281. |
Computational category theory /
by Rydeheard, David E.
Publication:
New York ; London : Prentice-Hall, 1988
. XIV, 257 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
282. |
The Design and analysis of parallel algorithms /
by Akl, Selim G.
Publication:
Englewood Cliffs : Prentice Hall, 1989
. XIII, 401 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
283. |
Vol. 1: Colloquium on trees in algebra and programming (CAAP '85)
Publication:
Berlin : Springer-Verlag, 1985
. XIII, 418 p. ;
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
284. |
Structure and interpretation of computer programs /
by Abelson, Harold
Publication:
Cambridge : The MIT Press ; New York : McGraw-Hill, 1985
. XX, 542 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
285. |
Persistent object systems : proceedings of the fifth International Workshop, San Miniato (Pisa), Italy, 1-4 September 1992 /
Publication:
London : Springer-Verlag, 1993
. IX, 446 p. :
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
286. |
Neural networks in C++ : an object oriented framework for building connectionist systems /
by Blum, Adam
Publication:
New York : John Wiley, 1992
. X, 214 p. ;
23 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
287. |
Handey: a robot task planner /
by Lozano-Perez, Thomas
Publication:
Cambridge : The MIT Press, 1992
. XVII, 227 p. ;
23 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
288. |
Introduction to algorithms /
by Cormen, Thomas
Publication:
Cambridge (Mass.) : The Mit Press ; New York : McGraw-Hill Book Company, 1990
. XVII, 1028 p. ;
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
289. |
Programmable logic controllers : operation, interfacing, and programming /
by Den Otter, Job
Publication:
Englewood Cliffs : Prentice-Hall, 1988
. XI, 292 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
290. |
Termination proofs for logic programs /
by Plumer, Lutz
Publication:
Berlin : Springer Verlag, 1990
. VIII, 142 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
291. |
Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] /
Publication:
Berlin : Springer Verlag, 1991
. VI, 485 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
292. |
Intensional logics for programming /
by Farinas Del Cerro, Luis
Publication:
Oxford : Clarendon Press, 1992
. IX, 228 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
293. |
Understanding CLOS : the common lisp object system /
by Lawless, Jo A.
Publication:
Bedford : Digital press, 1991
. IX, 192 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
294. |
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:
|
|
|
295. |
An introduction to functional programming through Lambda calculus
by Michaelson, Greg
Publication:
Wokingham : Addison-Wesley, 1989
. XV, 320 p. ;
24 cm.
Date:1989
Availability:
No items available:
Actions:
|
|
|
296. |
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:
|
|
|
297. |
The X window system : programming and applications with Xt : OSF /
by Young, Douglas A.
Publication:
Englewood Cliffs, [N.J.] : Prentice Hall, 1990
. X, 533 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
298. |
Categories, types, and structures : an introduction to category theory for the working computer scientist /
by Asperti, Andrea
Publication:
Cambridge : The Mit Press, 1991
. XI, 307 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
299. |
Introduction to simulation : programming techniques and methods of analysis /
by Payne, Andrew
Publication:
New York : McGraw-Hill, 1988
. XII, 324 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
300. |
The C ++ programming language /
by Stroustrup, Bjarne
Publication:
Reading : Addison-Wesley, 1987
. VIII, 328 p. ;
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
