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

Unhighlight Highlight
21. Advanced course on software engineering : an advanced course / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1973 . XII, 545 p. : , The advanced course took place February 21-March 3, 1972, organized by the Mathematical Institute of the Technical Uni versity of Munich and the Leibni[t]z Computing Centerof the Bavarian Academy of Sciences, in cooperation with the European Communities, sponsored by the Ministry of Education and Science of the Federal Republic of Germany 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
22. Logic, methodology and philosophy of science : proceedings of the 1964 international congress /   Publication: Amsterdam : North-Holland, 1972 . VIII, 440 p. : 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
23. Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993, proceedings /   Publication: Berlin : Springer-Verlag, 1994 . VI, 261 p. ; 25 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
24. Constructivity in computer science : summer symposium, San Antonio, TX, june 19-22 1991, proceedings /   Publication: Berlin : Springer Verlag, 1992 . X, 246 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
25. Foundations of object-oriented languages : proceedings of the REX School /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 442 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
26. Constructive methods in computing science : international summer school directed by F. L. Bauer ...[et al.] / by Constructive Methods in Computing Science Publication: Berlin : Springer, 1989 . VIII, 478 p. ; , Proceedings of the NATO Advances Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Fe deral Republic of Germany, July 24 august 5, 1988 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
27. 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:
28. Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1988 . IV, 218 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
29. Human and machine vision /   Publication: New York : Academic Press, 1983 . XI, 567 p. : , "Proceedings of the Conference on Human and Machine Vision held in Denver, Colorado, in August 1981, sponsored by theNational Science Foundation"--Verso of t.p. 24 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
30. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . VII, 324 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
31. Identification, adaptation, learning : the science of learning models from data /   Publication: Berlin : Springer, 1996 . XXI, 552 p. : , Proceedings of the NATO Advanced Study Institute 'From identification to learning', held in Como, Italy, August 22 - September 2, 1994 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
32. 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:
33. 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:
34. Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 /   Publication: Berlin ; New York : Springer Verlag, 1976 . VI, 386 p. : 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
35. Language tipology 1985 : papers from the linguistic typology Symposium, Moscow, 9-13 december 1985 / by Lehmann, Winfred P. Publication: Amsterdam : John Benjamins Publishing C., 1986 . XIII, 209 p. ; 23 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
36. RGU'74 : Fachtagung, Rechner-Gestutzter Unterricht, Hamburg, 12-14 August, 1974 /   Publication: Berlin ; New York : Springer-Verlag, 1974 . 417 p. : 25 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
37. Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / by Handler, Wolfgang Publication: Berlin ; New York : Springer-Verlag, 1974 . 333 p. : , Conference sponsored jointly by the Gesellschaft fur Informatik and the Nachrichtentechnische Gesellschaft 25 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
38. Fachtung Prozessrechner 1974, Karlsruhe, 10-11, Juni 1974 /   Publication: Berlin : Springer-Verlag, 1974 . X, 620 p. : , Conference sponsored by the Gesellschaft fur Kernforschung, the Gesellschaft fur Informatik and the VDI/VDE-Gesellschaft Messund Regelungstechnik. 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
39. GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20-22.3.1974 : Hrsg. im Auftrag der GI und der NYG von H.-O. Leilich   Publication: Berlin ; New York : Springer, 1974 . VI, 340 p. : 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
40. 3. Fachtagung uber Programmiersprachen : Kiel, 5-7 Marz 1974 /   Publication: Berlin ; New York : Springer-Verlag, . VI, 225 p. ; 24 cm. Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 6 7 8 Next >>