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

161. An introduction to computer science : an algorithmic approach / by Tremblay, Jean-Paul Publication: New York : McGraw-Hill, 1979 . XX, 636 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
162. Algorithms + data structures = programs / by Wirth, Niklaus Publication: Englewood Cliffs : Prentice-Hall, 1976 . XVII, 366 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
163. Compiler design theory / by Lewis, Philip M. Publication: Reading : Addison-Wesley Pub. Co., 1976 . XX, 647 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
164. The design of well-structured and correct programs / by Alagic, Suad Publication: New York : Springer-Verlag, 1978 . X, 292 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
165. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /   Publication: Berlin : Springer-Verlag, 1977 . X, 496 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
166. Designing interactive speech systems : from first ideas to user testing / by Bernsen, Niels Ole Publication: London : Springer, 1998 . VIII, 276 p. : 24 cm. Date:1998 Availability: No items available: Checked out (1), Actions:
167. Part a: Indices and appendices, fundamental concepts, mathematical foundations by Milne, Robert Publication: London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976 . 368 p. ; 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
168. Definition of programming languages by interpreting automata / by Ollongren, Alexander Publication: London ; New York : Academic Press, 1974 . XI, 290 p. : 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
169. Programming languages : design and implementation / by Pratt, Terrenc W. Publication: Englewood Cliffs : Prentice-Hall, 1975 . XIV, 530 p. : 24 cm. Date:1975 Availability: No items available: Checked out (2), Actions:
170. 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:
171. A discipline of programming / by Dijkstra, Edsger Wybe Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1976 . XVII, 217 p. ; 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
172. Complementary definitions of programming language semantics / by Donahue, James Edward Publication: Berlin ; New York : Springer-Verlag, 1976 . 172 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
173. Top-down structured programming techniques / by McGowan, Clement L. Publication: New York : Petrocelli / Charter, 1975 . VI, 288 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
174. Multivariate procedures for the behavioral sciences / by Cooley, William W. K. Publication: New York : Wiley, 1962 . X, 211 p. : 25 cm. Date:1962 Availability: No items available: Checked out (1), Actions:
175. Introduction to parallel algorithms and architectures : arrays, tress, hypercubes / by Leighton, F. Thomson Publication: San Mateo : Kaufmann, 1992 . XVIII, 831 p. : 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
176. Part b: Standard semantics, store semantics, stack semantics by Milne, Robert Publication: London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976 . 368 p. ; 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
177. Vol. 2: Deductive systems by Manna, Zohar Publication: Reading : Addison-Wesley, 1990 . XIII, 642 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
178. Vol. 3: Software modeling / by Chandy, K. Mani Publication: Englewood Cliffs (N.J.) : Prentice-Hall, 1978 . XI, 275 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
179. Vol. 2: Program validation / 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:
180. Vol. 4: Data structuring / by Yeh, Raymond Tzuu-Yau Publication: Englewood Cliffs (N.J.) : Prentice-Hall, 1978 . XI, 275 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions: