|
|
|
8641. |
Proceedings of the 20. annual ACM symposium on Theory of Computing : May 2-4, 1988, Chicago, Illinois
Publication:
New York : ACM, 1988
. VIII, 553 p. ;
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8642. |
Physical Principles of Neural and Organism Behavior : proceedings : december 16-18,1970, University of Miami, Coral Gables /
Publication:
London : Gordon and Breach Science Publishers, 1973
. VI, 244 p. :
27 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8643. |
Detection of abrupt changes in signals and dynamical systems : papers from a conference held in Paris, March 21-22,1984 /
Publication:
Berlin : Springer-Verlag, 1986
. IX, 373 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8644. |
Foundations of constructive mathematics : metamathematical studies /
by Beeson, Michael J.
Publication:
Berlin : Springer-Verlag, 1985
. XXIII, 466 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8645. |
Le facce del parlare : un approccio pragmatico all'italiano parlato /
by Bazzanella, Carla
Publication:
Firenze : La Nuova Italia, 1994
. XV, 269 p. :
21 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8646. |
The statistical theory of linear systems /
by Hannan, Edward James
Publication:
New York : Wiley, 1988
. XIII, 380 p. ;
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8647. |
Algebraic approaches to program semantics /
by Manes, Ernest G.
Publication:
New York : Springer-Verlag, 1986
. XIII, 351 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8648. |
Computability /
by Weihrauch, Klaus
Publication:
Berlin : Springer-Verlag, 1987
. X, 517 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8649. |
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by Soare, Robert I.
Publication:
Berlin : Springer-Verlag, 1987
. XVII, 437 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8650. |
Neuropsicologia /
by Lavadas, Elisabetta
Publication:
Bologna : Il Mulino, 1987
. 218 p. ;
21 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8651. |
An introduction to formal language theory /
by Moll, Robert N.
Publication:
New York : Springer-Verlag, 1988
. X,, 203 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8652. |
Hierarchical structures : proceedings of the Symposium held november 18-19, 1968 at Douglas Advanced Research Laboratoires, Huntington Beach, California /
Publication:
New York : American Elsevier Pub. Co., 1969
. XII, 322 p. :
24 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8653. |
Vol. 1: Formal aspects of artificial intelligence /
by Narayanan, Ajit
Publication:
Chichester : E. Horwood ; New York : Halsted Press, 1988
. 200 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8654. |
Biomedical engineering and instrumentation : basic concepts and applications /
by Bronzino, Joseph D.
Publication:
Boston : PWS Engineering, 1986
. XI, 481 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8655. |
Sistemi vibranti /
by Seto, William W.
Publication:
Milano : Etas libri, 1976
. VI, 199 p. :
, Traduzione di Giovanni Bacigalupo
27 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8656. |
Formal methods in artificial intelligence /
by Ramsay, Allan
Publication:
Cambridge ; New York : Cambridge University Press, 1988
. IX, 279 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8657. |
Algorithm design : a recursion transformation framework /
by Paull, Marvin C.
Publication:
New York : Wiley, 1988
. XIV, 490 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8658. |
Lisp /
by Winston, Patrick Henry
Publication:
Reading : Addison-Wesley, 1989
. XXI, 611 p. :
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8659. |
Algorithms /
by Sedgewick, Robert
Publication:
Reading : Addison-Wesley, 1988
. XII, 657 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8660. |
Fuzzy logic in knowledge-based systems, decision and control /
Publication:
Amsterdam : North-Holland, 1988
. XIX, 410 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
