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

101. Inequalities : theory of majorization and its applications / by Marshall, Albert W. Publication: San Diego : Academic Press, 1979 . XX, 569 p. ; 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
102. 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:
103. Image reconstruction from projections : the foundamentals of computerized tomography / by Herman, Gabor T. Publication: New York : Academic Press, 1980 . XIV, 316 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
104. Nonmonotonic reasoning : logical foundations of commonsense / by Brewka, Gerhard Publication: Cambridge : Cambridge University Press, 1991 . XI, 168 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
105. Tracking and data association / by Bar-Shalom, Yaakov Publication: New York : Academic Press, 1988 . XIII, 353 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
106. Robustness of statistical tests / by Kariya, Takeaki Publication: Boston : Academic Press, 1989 . XVI, 189 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
107. Research directions in computer science : an MIT perspective /   Publication: Cambridge : The MIT Press, 1991 . 490 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
108. Algorithmic information theory / by Chaitin, Gregory J. Publication: Cambridge : Cambridge Univ. Press, 1990 . VIII, 178 p. ; 27 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
109. Computation and cognition : toward a foundation for cognitive science / by Pylyshyn, Zenon W. Publication: Cambridge : The MIT Press, 1984 . XXIII, 292 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
110. Recursive function theory and logic / by Yasuhara, Ann Publication: New York : Academic Press, 1971 . XV, 338 p. ; 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
111. Programming in Martin Lof' s type theory : an introduction / by Nordstrom, Bengt Publication: Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
112. Temporal representation and inference /   Publication: London : Academic Press, 1989 . XXI, 365 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
113. Automaton theory and modeling of biological systems / by Tsetlin, Mikhail L'vovich Publication: New York : Academic Press, 1973 . XVI, 288 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
114. Horizons of biochemical engineering /   Publication: Oxford : Oxford University Press, 1987 . X, 374 p. ; 26 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
115. Handbook of pattern recognition and image processing /   Publication: Orlando : Academic Press, 1986 . X, 705 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
116. An introduction to mathematical logic and type theory : to truth through proof / by Andrews, Peter Bruce Publication: Orlando : Academic Press, 1986 . XV, 304 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
117. Formal methods in artificial intelligence / by Ramsay, Allan Publication: Cambridge ; New York : Cambridge University Press, 1988 . IX, 279 p. : 26 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
118. Introduction to statistical pattern recognition / by Fukunaga, Keinosuke Publication: New York : Academic Press, 1972 . XIII, 369 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
119. Computer-oriented approaches to pattern recognition / by Meisel, William S. Publication: New York : Academic Press, 1972 . XII, 250 p. : 24 cm. Date:1972 Availability: No items available: Checked out (2), Actions:
120. Robot vision / by Horn, Berthold Klaus Paul Publication: Cambridge : MIT Press ; New York : McGraw-Hill, 1986 . X, 509 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions: