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

101. Simulation using digital computers /   Publication: Englewood Cliffs : Prentice-Hall, 1967 . IX, 198 p. : 24 cm. Date:1967 Availability: No items available: Checked out (1), Actions:
102. Introduction to statistical procedures : with computer exercises / by Lohnes, Paul R. Publication: New York : Wiley, 1968 . XV, 280 p. : 24 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
103. Computer structures: readings and examples / by Bell, C. Gordon, Publication: New York : McGraw-Hill, 1971 . XIX, 668 p. : 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
104. Computers and thought /   Publication: New York : McGraw-Hill, 1963 . XIV, 535 p. : 24 cm. Date:1963 Availability: No items available: Checked out (1), Actions:
105. The logic of partial information / by Nait Abdallah, Areski Publication: Berlin ; New York : Springer-Verlag, 1995 . XXV, 715 p. ; 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
106. Temporal logic : mathematical foundations and computational aspects / by Gabbay, Dov M. Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1994 . XIV, 653 p. : 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
107. An introduction to parallel algorithms / by Jaja, Joseph Publication: Reading : Addison-Wesley Publishing Company, 1992 . X, 566 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
108. 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:
109. 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:
110. Methods of programming : selected papers on the CIP-Project / by Broy, Manfred Publication: Berlin : Springer-Verlag, 1991 . XII, 268 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
111. CONCUR '91 : 2nd International conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . IX, 540 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
112. Structure and interpretation of computer programs / by Abelson, Harold Publication: Cambridge : The MIT Press ; New York : McGraw-Hill, 1985 . XX, 542 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
113. Hybrid architectures for intelligent systems /   Publication: Boca Raton : CRC Press, 1992 . [14], 420 p. ; 27 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
114. Non-visual human-computer interactions : prospects for the visually handicapped : proceedings of the INSERM-SETAA conference Ministere de la Recherche et de le l'Espace, Paris, 29-30 March, 1993 = Communication non visuelle homme-ordinateur : perspectives pour le personnes handicapees de la vue /   Publication: Montrouge : Editions John Libbey Eurotext, 1993 . XIV, 213 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
115. Introduction to the theory of neural networks computation / by Hertz, John Publication: Redwood City : Addison-Wesley, 1991 . XXII, 327 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
116. Introduction to algorithms / by Cormen, Thomas Publication: Cambridge (Mass.) : The Mit Press ; New York : McGraw-Hill Book Company, 1990 . XVII, 1028 p. ; 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
117. Pascal: an introduction to the art and science of programming / by Savitch, Walter J. Publication: Redwood City : The Benjamin/Cummings Publishing Company, 1991 . XXV, 671 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
118. Programming languages : an interpreter-based approach / by Kamin, Samuel N. Publication: Reading : Addison-Wesley, 1990 . XII, 640 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
119. Microcomputers and physiological simulation / by Randall, James E. Publication: Reading (Mass.) : Addison-Wesley Pub. Co., 1980 . XV, 235 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
120. Essentials of programming languages / by Friedman, Daniel Publication: Cambridge ; London : The MIT Press, 1992 . 536 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions: