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

101. Machine learning of robot assembly plans / by Segre, Alberto Maria Publication: Boston : Kluwer Academic Publushers, 1988 . XVI, 233 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
102. Languages and machines : an introduction to the theory of computer science / by Sudkamp, Thomas A. Publication: Reading : Addison-Wesley, 1988 . XV, 444 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
103. Parallel computation and computers for artificial intelligence /   Publication: Boston : Kluwer Academic Publishers, 1988 . XXV, 219 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
104. 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:
105. Machine intelligence and knowledge engineering for robotic applications /   Publication: Berlin ; New York : Springer-Verlag, 1987 . XIV, 486 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
106. Robotic grasping and fine manipulation / by Cutkosky, Mark R. Publication: Boston : Kluwer Academic Publishers, 1985 . XV, 176 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
107. Communicating sequential processes / by Hoare, Charles Antony Richard Publication: Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985 . VIII, 256 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
108. Vol. 1: Deductive reasoning by Manna, Zohar Publication: Reading : Addison-Wesley, 1985 . XII, 618 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
109. Algorithms / by Sedgewick, Robert Publication: Reading : Addison Wesley Publishing Co., 1983 . VIII, 551 p. : 25 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
110. A programming approach to computability / by Kfoury, A. J. Publication: New York : Springer-Verlag, 1982 . VIII, 251 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
111. Knowledge-based systems in artificial intelligence / by Davis, Randall Publication: New York : McGraw-Hill International Book Co., 1982 . XXI, 490 p. ; 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
112. A basis for theoretical computer science / by Arbib, Michael A. Publication: New York : Springer-Verlag, 1981 . VIII, 220 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
113. Principles of programming languages / by Tennent, R. D. Publication: Englewood Cliffs : Prentice / Hall International, 1981 . XIV, 271 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
114. Thinking with models : mathematical models in the physical, biological, and social sciences / by Saaty, Thomas L. Publication: Oxford ; New York : Pergamon Press, 1981 . XI, 181 p. : 26 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
115. Research directions in software technology /   Publication: Cambridge, (Mass.) : The MIT Press, 1979 . XIII, 896 p. : 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
116. Introduction to automata theory, languages, and computation / by Hopcroft, John E. Publication: Reading : Addison-Wesley, 1979 . X, 418 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
117. Wavelet theory and its applications / by Young, Randy K. Publication: Boston : Kluwer Academic Publishers, 1993 . XIV, 223 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
118. 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:
119. 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:
120. 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: