|
|
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:
|
|