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

Unhighlight Highlight
41. 3. Fachtagung uber Programmiersprachen : Kiel, 5-7 Marz 1974 /   Publication: Berlin ; New York : Springer-Verlag, . VI, 225 p. ; 24 cm. Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
42. Artificial and human thinking /   Publication: Amsterdam : Elsevier Scientific Pub. Com., 1973 . XV, 385 p. : , Proceedings of a Nato symposium entitled Human thinking : computer techniques for its evaluation 24 cm. Date:1973 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
43. Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /   Publication: London ; New York : Academic Press, 1972 . XII, 390 p. ; , Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect. 24 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
44. Numerical methods for non-linear optimization : conference sponsored by the Science research council, University of Dundee, Scotland r /   Publication: London ; New York : Academic Press, 1972 . XIV, 440 p. ; 24 cm. Date:1972 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
45. Symposium on semantics of algorithmic languages /   Publication: Berlin ; New York : Springer-Verlag, 1971 . 372 p. ; 26 cm. Date:1971 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
46. Persistent object systems : proceedings of the fifth International Workshop, San Miniato (Pisa), Italy, 1-4 September 1992 /   Publication: London : Springer-Verlag, 1993 . IX, 446 p. : 24 cm. Date:1993 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
47. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
48. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
49. Parallel lisp: languages and systems : proceedings of the US /   Publication: Berlin : Springer Verlag, 1990 . 214 p. ; 24 cm. Date:1990 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
50. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
51. The nature of expertise / by Chi, Michelene T. H. Publication: Hillsdale : L. Erlbaum Associates, 1988 . XXXVI, 434 p. : 24 cm. Date:1988 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
52. 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: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
53. Foundations of software technology and theoretical computer science : 4th conference, Bangalore, India, Dec. 13-15,1984 : proceedings /   Publication: Berlin : Springer-Verlag, 1984 . VIII, 468 p. : 25 cm. Date:1984 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
54. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 527 p. : 25 cm. Date:1984 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
55. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1981 . XXVI, 431 p. : 23 cm. Date:1981 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
56. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /   Publication: Berlin : Springer-Verlag, 1980 . XI, 566 p. : 25 cm. Date:1980 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
57. Mathematical foundations of computer science, 1977 : proceedings, 6th symposium, Tatranska Lomnica, September 5-9, 1977 /   Publication: Berlin : Springer-Verlag, 1977 . X, 595 p. ; 24 cm. Date:1977 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
58. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /   Publication: Berlin : Springer-Verlag, 1979 . VIII, 629 p. : 25 cm. Date:1979 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
59. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . 368 p. : 25 cm. Date:1979 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
60. ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 /   Publication: Berlin : Springer-Verlag, 1976 . VIII, 322 p. ; 24 cm. Date:1976 Availability: Copies available: Istituto di Ingegneria Biomedica (1), Actions:
<< Previous 1 2 3 4 Next >>