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

Unhighlight Highlight
101. Communicating sequential processes / by Hoare, Charles Antony Richard Publication: Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985 . VIII, 256 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
102. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /   Publication: Berlin ; New York : Springer-Verlag, 1986 . IX, 311 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
103. Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /   Publication: Berlin : Springer-Verlag, 1986 . IX, 720 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
104. Vol. 1: Deductive reasoning by Manna, Zohar Publication: Reading : Addison-Wesley, 1985 . XII, 618 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
105. Programming a personal computer / by Brinch Hansen, Per Publication: Englewood Cliffs : Prentice-Hall, 1982 . XI, 388 p. ; 25 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
106. Applesoft BASIC for the Apple II ad IIe / by Graff, Lois E. Publication: Bowie, (Md) : R. J. Brady Co., 1984 . VII, 328 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
107. Automata, languages and programming : proceedings of the 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 526 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
108. A programming approach to computability / by Kfoury, A. J. Publication: New York : Springer-Verlag, 1982 . VIII, 251 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
109. 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: No items available: Checked out (1), Actions:
110. Algorithmic language and program development / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1982 . XVI, 497 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
111. An introduction to computer programming and data structures using MACRO-11 / by Lewis, Harry R. Publication: Reston, [Va] : Reston Pub. Co., 1981 . XII, 241 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
112. Vol. 1: LSI modular computer systems by Kartashev, Svetlana Publication: Englewood Cliffs : Prentice-Hall, 1989 . XXVII, 643 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
113. The science of programming / by Gries, David Publication: New York : Springer-Verlag, 1981 . XIII, 366 p. ; 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
114. Principles of programming languages / by Tennent, R. D. Publication: Englewood Cliffs : Prentice / Hall International, 1981 . XIV, 271 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
115. International symposium on programming : 5th colloquium Turin, April 6-8, 1982 /   Publication: Berlin : Springer Verlag, 1982 . VI, 405 p. ; 24 cm. Date:1982 Availability: No items available: Checked out (2), Actions:
116. Programming methodology : a collection of articles by members of IFIP WG2.3 /   Publication: New York : Springer-Verlag, 1978 . XIV, 437 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
117. Grammars for programming languages / by Cleaveland, J. Craig Publication: New York : Elsevier, 1977 . XIII, 154 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
118. Research directions in software technology /   Publication: Cambridge, (Mass.) : The MIT Press, 1979 . XIII, 896 p. : 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
119. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP /   Publication: Amsterdam : North-Holland, 1977 . VI, 471 p. : , "Organized by IFIP Technical Committee 5, Computer Applications in Technology, International Federation forInformation Processing (IFIP) and International Federationof Automatic Control (IFAC)." 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
120. International Symposium on Programming : proceedings of the Fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /   Publication: Berlin : Springer-Verlag, 1980 . VII, 341 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>