|
|
|
8401. |
How SAS works : a comprehensive introduction to the SAS systems /
by Herzberg, Paul A.
Publication:
New York : Springer-Verlag, 1990
. XVII, 193 p. :
28 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8402. |
Classical recursion theory : the theory of functions and sets of natural numbers /
by Odifreddi, Piergiorgio
Publication:
Amsterdam : North-Holland, 1989
. XVII, 668 p. :
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8403. |
General recursion theory : an axiomatic approach /
by Fenstad, Jens Erik
Publication:
Berlin ; New York : Springer-Verlag, 1980
. XI, 225 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8404. |
Process analysis by statistical methods /
by Himmelblau, David Mautner
Publication:
New York : John Wiley & Sons, 1970
. XI, 463 p. :
30 cm.
Date:1970
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8405. |
Artificial intelligence : a knowledge-based approach /
by Firebaugh, Morris W.
Publication:
Boston : PWS-KENT Publishing Company, 1989
. XXIV, 740 p. :
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8406. |
Robot wrist actuators /
by Rosheim, Mark E.
Publication:
New York : John Wiley, 1988
. X, 271 p. ;
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8407. |
La colonna traiana /
Publication:
Torino : Giulio Einaudi Editore, 1988
. XIX, 597 p. :
22 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8408. |
Natural language understanding /
by Allen, James
Publication:
Menlo Park : Benjamin/Cummings Pub. Co., 1987
. XV, 574 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8409. |
Representation and reality /
by Putnam, Hilary
Publication:
Cambridge : The MIT Press, 1988
. XV, 136 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8410. |
Meta-programming in logic programming /
Publication:
Cambridge, (Mass.) : The MIT Press, 1989
. 554 p. :
, Contains papers presented at META88, a workshop held at the University of Bristol, June 22-24, 1988.
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8411. |
Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990 proceedings /
Publication:
New York : Springer-Verlag, 1990
. VII, 466 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8412. |
Parallel lisp: languages and systems : proceedings of the US /
Publication:
Berlin : Springer Verlag, 1990
. 214 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8413. |
Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 372 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8414. |
First-order logic and automated theorem proving /
by Fitting, Melvin
Publication:
New York : Springer-Verlag, 1990
. XIII, 242 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8415. |
Fractals everywhere /
by Barnsley, Michael Fielding
Publication:
Boston : Academic Press, 1988
. XII, 394 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8416. |
Storia ecclesiastica degli Angli /
by Beda
Publication:
Milano : TEA, 1993
. 417 p. ;
18 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8417. |
Optimal periodic control /
by Colonius, Fritz
Publication:
Berlin : Springer-Verlag, 1988
. VI, 177 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8418. |
Diabetes : its medical and cultural history : outlines, texts, bibliography /
Publication:
Berlin : Springer-Verlag, 1989
. V, 494 p. :
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8419. |
Insulin /
Publication:
Basel ; New York : Karger, 1988
. VIII, 159 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8420. |
On-line estimation and adaptive control of bioreactors /
by Bastin, Geoge
Publication:
Amsterdam : Elsevier, 1990
. XIV, 379 p. ;
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
