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

301. Topics in advanced language implementation /   Publication: Cambridge ; London : The MIT Press, 1991 . X, 402 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (2), Actions:
302. Programming in scheme / by Eisenberg, Michael Publication: Cambridge : The MIT Press, 1990 . XVI, 304 p. ; 28 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
303. Writing applications for Sun systems : a guide for Macintosh programmers /   Publication: Reading : Addison-Wesley, 1990 . 567 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
304. Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1991 . IX, 561 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
305. LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications / by Stark, W. Richard Publication: New York : Springer-Verlag, 1990 . XVIII, 278 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
306. Constrained global optimization : algorithms and applications / by Pardalos, Panos M. Publication: Berlin : Springer-Verlag, 1987 . VII, 143 p. ; 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
307. Natural language understanding / by Allen, James Publication: Menlo Park : Benjamin/Cummings Pub. Co., 1987 . XV, 574 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
308. Parallel lisp: languages and systems : proceedings of the US /   Publication: Berlin : Springer Verlag, 1990 . 214 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
309. Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 September 1973 /   Publication: Amsterdam : North-Holland Pub. Co., 1974 . 647 p. : , "Held by the European Chapters of the Association for Computing Machinery". 27 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
310. Prolog, children and students /   Publication: London : Kogan Page ; New York : Nichols Pub. Co., 1988 . 217 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
311. The nature of expertise / by Chi, Michelene T. H. Publication: Hillsdale : L. Erlbaum Associates, 1988 . XXXVI, 434 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
312. 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:
313. Common LISP programming for artificial intelligence. / by Hasemer, Tony Publication: Wokingham, [England] : Addison-Wesley, 1989 . XIII, 444 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
314. Human factors and typography for more readable programs / by Baecker, Ronald M. Publication: Reading : Addison-Wesley, 1990 . XX, 348 p. : , A collaboration between the Association for Computing Machinery (ACM) and Addison-Wesley Publishing Company 28 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
315. High level language and their compilers / by Watson, Des Publication: Wokingham : Addison-Wesley, 1989 . XII, 337 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
316. Programming standard pascal / by Holt, Richard C Publication: Reston : Reston Publishing, 1980 . X, 381 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
317. 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:
318. 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:
319. 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:
320. Temporal logics and their applications /   Publication: London ; San Diego : Academic Press, 1987 . XII, 244 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions: