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

Unhighlight Highlight
281. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /   Publication: Berlin : Springer-Verlag, 1977 . X, 496 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
282. Introduction to computability / by Hennie, Frederick C. Publication: Reading : Addison-Wesley Pub. Co., 1977 . IX, 347 p. : 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
283. Vol. 2   Publication: Berlin : Springer-Verlag, 1987 . XIV, 336 p. ; 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
284. Vol. 2: Colloquium on software engineering (CSE)   Publication: Berlin : Springer-Verlag, 1985 . XIII, 455 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
285. Vol. 2   Publication: Berlin ; New York : Springer-Verlag, 1976 . XIII, 852 : 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
286. Mathematical foundation of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /   Publication: Berlin : Springer-Verlag, 1978 . IX, 551 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
287. Natural language communication with computers /   Publication: Berlin : Springer-Verlag, 1978 . 292 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
288. Komplexitat von Entscheidungsproblemen : ein seminar / by Specker, Ernst Publication: Berlin ; New York : Springer-Verlag, 1976 . 217 p. : 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
289. Complementary definitions of programming language semantics / by Donahue, James Edward Publication: Berlin ; New York : Springer-Verlag, 1976 . 172 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
290. Interleaving planning and execution fou autonomous robots / by Nourbakhsh, Illah Reza Publication: Boston : Kluwer, 1997 . XVI, 145 p. : 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions:
291. Ninth Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 22 and 24, 1971   Publication: [S.l. : s.n.], . 115 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
292. Eighth Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 23 and 24, 1970   Publication: [S.l. : s.n.], . 76 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
293. Seventh Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 27 and 28, 1969   Publication: [S.l. : s.n.], . 88 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
294. Sixth Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 14, 15, 19, 1968   Publication: [S.l. : s.n.], . 113 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
295. Vol. 2: Deductive systems by Manna, Zohar Publication: Reading : Addison-Wesley, 1990 . XIII, 642 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
296. Information flow : the logic distributed systems / by Barwise, Jon Publication: Cambridge : Cambridge University Press, 1997 . XV, 274 p. ; 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions:
297. Part 2   Publication: Berlin ; New York : Springer-Verlag, 1973 . XIII, 389 p. : 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
298. Artificial neural networks : ICANN 96 : 1996 International conference, Bochum, Germany, July 16-19, 1996 : proceedings /   Publication: Berlin : Springer, 1996 . XXV, 922 p. : 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
299. Spatial information theory : a theoretical basis for GIS : international conference COSIT '95, Semmering, Austria, September 21-23, 1995, proceedings /   Publication: Berlin : Springer-Verlag, 1995 . XIII, 568 p. : 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
300. Artificial neural networks : international workshop, IWANN '91,Granada, Spain, September 17-19, 1991 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1991 . XIII, 476 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
<< Previous 6 7 8 9 10 11 12 13 14 15 16 17 18 Next >>