Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

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: