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

Unhighlight Highlight
121. Interfaces with the process control computer : the operator, engineer, and management : proceedings of the symposiom held August 3-6, 1971, Lafayette, Indiana /   Publication: Pittsburgh : Distributed by Instrument Society of America, 1971 . 244 p. : 29 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
122. Digital computer applications to process control : proceedings of the third International conference   Publication: S.l. : IFAC, 1971 . 1 vol. (varie sequenze) : 28 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
123. Graph theory and computing /   Publication: New York : Academic Press, 1972 . XIV, 329 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
124. Design of real-time computer systems / by Martin, James Publication: Englewood Cliffs, [N.J.] : Prentice-Hall, 1967 . XVIII, 629 p. : 24 cm. Date:1967 Availability: No items available: Checked out (1), Actions:
125. Computational geometry in C / by O'Rourke, Joseph Publication: Cambridge ; New York : Cambridge University Press, 1994 . XI, 346 P. : 26 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
126. Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993, proceedings /   Publication: Berlin : Springer-Verlag, 1994 . VI, 261 p. ; 25 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
127. Information randomness and incompleteness : papers on algorithmic information theory / by Chaitin, G. J. Publication: Singapore : World Scientific, 1990 . V, 319 p. ; 27 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
128. Vector quantization and signal compression / by Gersho, Allen Publication: Boston : Kluwer Academic Publishers, 1992 . XXII, 732 p. : 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
129. Representation and meaning : experiments with information processing systems /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . XVIII, 440 p. ill. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
130. Computational category theory / by Rydeheard, David E. Publication: New York ; London : Prentice-Hall, 1988 . XIV, 257 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
131. Computer-assisted structure elucidation : a symposium sponsored by the division of chemical information at the 173rd meeting of the American Chemical Society, New Orleans, La., march 23, 1977 / by Smith, Dennis H. Publication: Washington : American Chemical Society, 1977 . VIII, 151 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
132. Semantic processing for finite domains / by Palmer, Martha Stone Publication: Cambridge ; New York : Cambridge Univesity Press, 1990 . IX, 199 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
133. Computer simulation in genetics / by Crosby, Jack L. Publication: London ; New York : Wiley [1973] . XIII, 477 p. ; 24 cm. Availability: No items available: Checked out (1), Actions:
134. Algotithms and computation : third international symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XI, 510 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
135. Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . VIII, 723 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
136. Distributed intelligence systems : selected papers from the IFAC Symposium : Arlington, Virginia, USA, 13-15 August 1991 /   Publication: Oxford : Pergamon Press, 1992 . IX, 256 p. ; 31 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
137. Mathematical logic and theoretical computer science /   Publication: New York : Dekker, 1987 . XVIII, 383 p. ; , Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985 26 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
138. Elements of statistical computing : numerical computation / by Thisted, Ronald A. Publication: New York : Chapman and Hall, 1988 . XX, 427 p. ; 22 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
139. Discrete algorithmic mathematics / by Maurer, Stephen B. Publication: Reading : Addison Wesley, 1991 . XIX, 834 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
140. Constructive methods in computing science : international summer school directed by F. L. Bauer ...[et al.] / by Constructive Methods in Computing Science Publication: Berlin : Springer, 1989 . VIII, 478 p. ; , Proceedings of the NATO Advances Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Fe deral Republic of Germany, July 24 august 5, 1988 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>