|
|
|
141. |
Formal specification af advanced AI architectures /
by Craig, Iain D.
Publication:
New York : Ellis Horwood, 1991
. XV, 319 p ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
142. |
Simulation of discrete stochastic systems /
by Maisel, Herbert
Publication:
Chicago : Science Research Associate, 1972
. XIV, 465 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
143. |
A guide to Fortran IV programming /
by McCracken, Daniel D.
Publication:
New York : Wiley, 1965
. VIII, 151 p. :
28 cm.
Date:1965
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
144. |
The language of first-order logic including the program Tarski's World 4.0 /
by Barwise, Jon
Publication:
Stanford : CSLI, 1992
. XIV, 319 p. ;
23 cm.+ diskette
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
145. |
The Java virtual machine specification /
by Lindholm, Tim
Publication:
Reading : Addison - Wesley, 1987
. XVI, 474 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
146. |
The JAVA language specification /
by Gosling, James
Publication:
Reading : Addison Wesley, 1996
. XXV, 825 p. ;
24 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
147. |
Concurrent programming in JAVA : design principles and patterns /
by Lea, Doug
Publication:
Reading : Addison Wesley, 1997
. XII, 339 p. ;
24 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
148. |
Pattern recognition, learning, and thought : computer-programmed models of higher mental processes /
by Uhr, Leonard Merrick
Publication:
Englewood Cliffs : Prentice-Hall, 1973
. XXI, 506 p. ;
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
