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

Unhighlight Highlight
1. 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:
2. Natural language at the computer : Scientific symposium on syntax and semantics for text processing and man-machine-communication, held on the occasion of the 20th anniversary of the Science Center Heildelberg, FRG, february 25, 1988 : proceedings /   Publication: Berlin ; Springer-Verlag, 1988 . 176 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
3. Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 666 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
4. Introduction to computer organization and data structures, PDP-11 edition / by Stone, Harold S. Publication: New York : McGraw-Hill, 1975 . XIV, 368 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
5. Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /   Publication: Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
6. Theory of program structures : schemes, semantics, verification / by Greibach, Sheila A. Publication: Berlin ; New York : Springer-Verlag, 1975 . 1 vol. (varie sequenze) : Date:1975 Availability: No items available: Checked out (1), Actions:
7. Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /   Publication: Berlin ; New York : Springer-Verlag, 1975 . VII, 484 p. ; 25 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
8. Computer architecture and vax assembly language programming / by Brink, James E. Publication: Menlo Park : The Beniamin/Cummings Publishing C., 1987 . XXI, 572 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
9. Data structures : theory and practice / by Berztiss, Alfs T. Publication: New York : Academic Press, 1971 . XIII, 442 p. : 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
10. Computer semantics : studies of algorithms, processors, and languages / by Lee, John A. N. Publication: New York : Van Nostrand Reinhold, 1972 . XVI, 397 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
11. The logic of partial information / by Nait Abdallah, Areski Publication: Berlin ; New York : Springer-Verlag, 1995 . XXV, 715 p. ; 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
12. 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:
13. 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:
14. Type theory and functional programming / by Thompson, Simon Publication: Workingham, [England] : Addison-Wesley Publishing Company, 1991 . XV, 372 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (2), Actions:
15. An introduction to functional programming through lambda calculus / by Michaelson, Greg, Publication: Wokingham : Addison Wesley, 1989 . XV, 320 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (2), Actions:
16. An introduction to functional programming systems using Haskell / by Davie, Antony J. T. Publication: Cambridge : Cambridge University Press, 1991 . XIV, 290 p. : 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
17. 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:
18. 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:
19. 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:
20. An introduction to functional programming / by Bird, Richard J. Publication: New York : Prentice, 1988 . XV, 293 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 6 7 8 9 10 Next >>