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

Unhighlight Highlight
121. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /   Publication: Berlin : Springer-Verlag, 1980 . 255 p. : 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
122. 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: No items available: Checked out (1), Actions:
123. Lab Tutor : a friendly guide to computer interfacing and lab view programming / by Eaton, John K. Publication: New York : Oxford University Press, 1995 . VI, 168 p. : 28 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
124. Computer science : a mathematical introduction / by Lew, Art Publication: Englewood Cliffs : Prentice-Hall International, 1985 . XXVI, 421 p. : 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
125. Vol. 3: Sorting and searching by Knuth, Donald E. Publication: Reading : Addison-Wesley Publishing Company, 1973 . XI, 722 p. : 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
126. Vol. 2: Seminumerical algorithms by Knuth, Donald E. Publication: Reading : Addison-Wesley Publishing Company, 1969 . XI, 624 p. : 25 cm. Date:1969 Availability: No items available: Checked out (1), Actions:
127. 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:
128. 370 / by Stern, Nancy B. Publication: New York : Wiley, 1979 . XII, 516 p. : 28 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
129. Programming the IBM 1130 and 1800 / by Louden, Robert K. Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1967 . XII, 433 p. : 26 cm. Date:1967 Availability: No items available: Checked out (2), Actions:
130. The Vienna development method : the Meta-langauge /   Publication: Berlin : Springer-Verlag, 1978 . XV, 382 p. ; 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
131. Automata languages and programming : fifth Colloquium, Udine, July 17-21, 1978 /   Publication: Berlin : Springer-Verlag, 1989 . VIII, 508 p. ; 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
132. Automata, languages and programming : fourth Colloquium, University of Turku, Finland, July 18-22, 1977 /   Publication: Berlin : Springer-Verlag, 1977 . X, 569 p. ; 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
133. Language hierarchies and interfaces : international summer school / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1976 . X, 423 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
134. 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:
135. 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:
136. Vol. 1: Fundamental algorithms by Knuth, Donald E. Publication: Reading : Addison-Wesley Publishing Company, 1973 . XXI, 634 p. : 22 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
137. 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:
138. 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: No items available: Checked out (1), Actions:
139. 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:
140. Utilizing system 360 / by Rindfleisch, Daniel H. Publication: Englewood Cliffs, (N.J.) : Prentice-Hall, 1979 . X, 403 p. : 29 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>