|
|
|
8721. |
Constraint programming languages : their specification and generation /
by Leler, William
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. VI, 202 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8722. |
Genetic algorithms and their applications : proceedings of the 2nd International conference on genetic algorithms, july 28-31, 1987 at the MIT /
Publication:
[S.l.] : LEA, 1987
. 345 p. ;
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8723. |
On the Volterra and other nonlinear models of interacting populations /
by Goel, N. S.
Publication:
New York : Academic Press, 1971
. VII, 145 p. ;
21 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8724. |
Prolog /
by Spinelli, Andrea
Publication:
Milano : Clup. 1988
. 142 p. ;
24 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8725. |
Internet /
by Krol, Ed
Publication:
Milano : Jackson libri, 1994
. X, 472 p. :
26 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8726. |
Proceedings of the fifth international conference on machine learning: University of Michigan June 12-14, 1988 /
Publication:
San Mateo : Morgan Kaufmann Publishers, 1988
. VII, 467 p. ;
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8727. |
Semantic networks : an evidential formalization and its connectionist realization /
by Shastri, Lokendra
Publication:
London : Pitman, 1988
. 222 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8728. |
Automated theorem-proving in non-classical ligics /
by Thistlewaite, Paul B.
Publication:
London : Pitman ; New York : Wiley, 1988
. 154 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8729. |
Foundations of deductive databases and logic programming /
Publication:
Los Altos : M. Kaufmann Publishers, 1988
. 746 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8730. |
Prolog programming in depth /
by Covington, Michael A.
Publication:
Glenview : Scott, 1988
. XIV, 506 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8731. |
Vol. 1
Publication:
Bologna : Zanichelli, 1973
. XII, 329 p. :
23 cm.
Date:1973
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8732. |
Mirrors of minds : patterns of experience in educational computing : papers from the Center for Children and Technology, Bank Street College /
Publication:
Norwood, [N.J.] : Ablex Pub. Corp., 1987
. XVII, 329 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8733. |
The ecology of computation /
Publication:
Amsterdam : North Holland, 1988
. VI, 342 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8734. |
Ordinary differential equations /
by Arnold, Vladimir Igorevich
Publication:
Cambridge : The MIT Press, 1973
. VIII, 280 p. :
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8735. |
Impianti elettrici nei centri di calcolo /
by Cerasoli, Roberto
Publication:
Milano : Delfino, 1981
. 55 p. :
22 cm.
Date:1981
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8736. |
Vol. 1
Publication:
New York : Wiley, 1988
. XXXIII, 659 p. :
29 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8737. |
Linear and nonlinear programming /
by Luenberger, David G.
Publication:
Reading : Addison-Wesley, 1984
. XV, 491 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8738. |
Reaction-diffusion equations and their applications to biology /
by Britton, N. F.
Publication:
London : Academic Press, 1986
. IX, 277 p. ;
23 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8739. |
HyperTalk programming /
by Shafer, Dan
Publication:
Indianapolis : Hayden Books, 1988
. XXV, 546 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8740. |
L'automazione in biblioteca : materiali per un corso /
Publication:
Milano : Editrice Bibliografica, 1987
. 118 p. ;
20 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
