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

Unhighlight Highlight
61. Information-theoretic incompleteness / by Chaitin, Gregory J. Publication: Singapore : World Scientific, 1992 . VIII, 227 p. : 23 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
62. 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:
63. 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:
64. Robot learning /   Publication: Boston : Kluer Academic Publishers, 1993 . XII, 240 p. ; 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
65. Spatial information theory : a theoretical basis for GIS : European Conference, COSIT '93, Marciana Marina, Elba Island, Italy, September 19-22, 199, proceedings /   Publication: Berlin : Springer-Verlag, 1993 . XI, 477 p. ; 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
66. Belief revision / by Gardenfors, Peter Publication: Cambridge : Cambridge University Press, 1992 . 277 p. ; 26 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
67. An introduction to Kolmogorov complexity and its applications / by Li, Ming Publication: New York : Springer-Verlag, 1993 . XX, 546 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
68. 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:
69. Vol. 1: Colloquium on trees in algebra and programming (CAAP '85)   Publication: Berlin : Springer-Verlag, 1985 . XIII, 418 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
70. Theoretical aspects of computer software : proceedings of the International Conference TACS '91, Sendai, Japan, September 24-27, 1991 /   Publication: Berlin : Springer-Verlag, 1991 . X, 770 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
71. 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:
72. Group theoretical methods in image processing / by Lenz, Reiner Publication: Berlin : Springer-Verlag, 1990 . VIII, 138 p. ; 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
73. Neural networks in robotics /   Publication: Boston : Kluwer Academic Publishers, 1993 . XI, 563 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
74. Foundations of knowledge acquisition : cognitive models of complex learning /   Publication: Boston : Kluwer Academic Publishers, 1993 . X, 338 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
75. Persistent object systems : proceedings of the fifth International Workshop, San Miniato (Pisa), Italy, 1-4 September 1992 /   Publication: London : Springer-Verlag, 1993 . IX, 446 p. : 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
76. Category theory and computer science : proceedings ; Paris, France 3-6, 1991 /   Publication: Berlin : Springer-Verlag, 1991 . 301 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
77. 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:
78. Nonholonomic motion planning /   Publication: Boston : Kluwer Academic Publishers, 1993 . XV, 448 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
79. Information randomness & incompleteness: papers on algorithmic information theory / by Chaitin, Gregory J. Publication: Singapore : World Scientific, 1987 . X, 272 p. ; 22 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
80. Intelligent robotic systems : theory, design and applications / by Valavanis, Kimon P. Publication: Boston : Kluwer Academic Publishers, 1992 . XIX, 251 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>