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

Unhighlight Highlight
81. 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:
82. 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:
83. Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XI, 492 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
84. Automata, languages and programming : 19th International colloquium, Wien, Austria, July 13-17 1992 : proceedings /   Publication: Berlin : Springer Verlag, 1992 . XII, 719 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
85. 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:
86. Programming language concepts and paradigms / by Watt, David A. Publication: New York : Prentice Hall, 1990 . XVI, 322 p. : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
87. 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:
88. Programming for artificial intelligence : methods, tools, and applications / by Kreutzer, Wolfgang, Publication: Sydney ; Reading : Addison-Wesley Pub. Co., 1990 . XIV, 682 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
89. Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 386 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
90. Mathematical foudations of programming semantics : proceedings of the 5th International conference, Tulane University, New Orleans, Lousiana, USA, March 29-April 1, 1989 /   Publication: Berlin : Springer-Verlag, 1990 . VI, 439 p. ; 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
91. 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:
92. 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:
93. 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:
94. 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:
95. 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:
96. 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:
97. 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:
98. Comparative programming languages / by Wilson, Leslie B. Publication: Wokingham ; Reading : Addison-Wesley, 1988 . XIII, 379 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
99. ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /   Publication: Berlin : Springer-Verlag, 1988 . VI, 370 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
100. The implementation of functional programming languages / by Peyton Jones, Simon L. Publication: Englewood Cliffs : Prentice-Hall International, 1987 . XVIII, 445 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>