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

141. Explorations in parallel distributed processing : a handbook of models, programs, and exercises / by McClelland, James L. Publication: Cambridge : The MIT Press, 1988 . IX, 344 p. : 26 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
142. Studies in automatic programming logic / by Manna, Zohar Publication: New York : North-Holland, 1977 . VIII, 192 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
143. Artificial neural networks : electronic implementations /   Publication: Los Alamitos : IEEE Computer Society Press, 1990 . VIII, 130 p. : 28 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
144. Natural and artificial parallel computation /   Publication: Cambridge : The MIT Press, 1990 . X, 345 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
145. Syntax of programming languages : theory and practice / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1979 . XV, 301 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
146. Understanding programming languages / by Ben-Ari, M. Publication: Chichester : John Wiley & Sons, 1996 . XV, 360 p. ; 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
147. Real time programming, 1977 : proceedings of the IFAC /   Publication: Oxford ; New York : IFAC, 1978 . XIV, 237 p. : 31 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
148. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / by Jones, Neil D. Publication: Berlin : Springer-Verlag, 1978 . IX, 118 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
149. 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: No items available: Checked out (1), Actions:
150. Logic for problem solving / by Kowalski, Robert Publication: New York : Elsevier North Holland, 1979 . 287 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
151. Software engineering / by Jensen, Randall W. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1979 . XI, 580 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
152. Denotational semantics : the Scott-Strachey approach to programming language theory / by Stoy, Joseph Publication: Cambridge : The MIT Press, 1977 . XXX, 414 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
153. 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: No items available: Checked out (1), Actions:
154. Principles of software engineering and design / by Zelkowitz, Marvin V. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1979 . XII, 338 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
155. Computers and intractability : a guide to the theory of NP-completness / by Garey, Michael Publication: San Francisco : W. H. Freeman, 1979 . X, 338 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
156. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . IX, 684 p. : , One contribution in French. 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
157. Program construction : international summer school /   Publication: Berlin : Springer-Verlag, 1979 . VII, 651 p. ; , The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf .. and was sponsored by the NATA Scientific Affairs Division under the 1978 Advanced Study Institutes programme 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
158. Clinical electrocardiography and computers /   Publication: New York : Academic Press, 1970 . XXIX, 471 p. : 24 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
159. A concurrent PASCAL compiler for minicomputers / by Hartmann, Alfred Publication: Berlin : Springer-Verlag, 1977 . 119. p. ; 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
160. Vol. 1: Software specification and design / by Yeh, Raymond Tzuu-Yau Publication: Englewood Cliffs (N.J.) : Prentice-Hall, 1977 . XI, 275 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions: