|
|
501. |
Design for a brain : the origin of adaptive behaviour /
by Ashby, W. Ross
Publication:
London : Chapman and Hall, 1960
. IX, 286 p. :
22 cm.
Date:1960
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
502. |
Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 386 p. ;
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
503. |
Database systems of the 90s : International symposium, Muggelsee, Berlin, FRG, November 5-7, 1990, proceedings /
by Blaser, A.
Publication:
Berlin : Springer-Verlag, 1990
. VIII, 334 p. :
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
504. |
Mathematical foudations of programming semantics : proceedings of the 5th International conference, Tulane University, New Orleans, Lousiana, USA, March 29-April 1, 1989 /
Publication:
Berlin : Springer-Verlag, 1990
. VI, 439 p. ;
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
505. |
CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 536 p. :
, "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started onSeptember 1, 1989 ... The conference CONCUR '90, hosted byCWI with the help of the University of Amsterdam, marksthe end of the first year of CONCUR"--Pref.
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
506. |
Temporal representation and inference /
Publication:
London : Academic Press, 1989
. XXI, 365 p. :
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
507. |
Constrained global optimization : algorithms and applications /
by Pardalos, Panos M.
Publication:
Berlin : Springer-Verlag, 1987
. VII, 143 p. ;
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
508. |
Concrete mathematics : a foundation for computer science /
by Graham, Ronald L.
Publication:
Reading : Addison-Wesley, 1989
. XIII, 625 p. :
25 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
509. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
510. |
Natural language understanding /
by Allen, James
Publication:
Menlo Park : Benjamin/Cummings Pub. Co., 1987
. XV, 574 p. :
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
511. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
512. |
First-order logic and automated theorem proving /
by Fitting, Melvin
Publication:
New York : Springer-Verlag, 1990
. XIII, 242 p. :
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
513. |
Specification and transformation of programs : a formal approach to software development /
by Partsch, Helmut A.
Publication:
Berlin ; New York : Springer-Verlag, 1990
. XIII, 493 p. :
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
514. |
Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /
Publication:
Berlin : Springer Verlag, 1990
. VI, 338 p. ;
24 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
515. |
Object-oriented software construction /
by Meyer, Bertrand
Publication:
New York : Prentice Hall, 1988
. XVIII, 534 p. :
24 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
516. |
Computer Vision - ECCV 90 : proceedings of the first European conference on computer vision : Antibes, France, April 23-27, 1990 /
Publication:
Berlin : Springer-Verlag, 1990
. XII, 618 p. :
25 cm.
Date:1990
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
517. |
Ignorance and uncertainty : emerging paradigms /
by Smithson, Michael
Publication:
New York : Springer-Verlag, 1988
. 200 p. ;
23 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
518. |
Stochastic complexity in statistical inquiry /
by Rissanen, Jorma
Publication:
Singapore ; Teaneck, N.J. : World Scientific, 1989
. III, 177 p. ;
22 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
519. |
COMMON LISP /
by Hennessey, Wade L.
Publication:
New York : McGraw-Hill, 1989
. XV, 395 p. :
24 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
520. |
Introduction to random differential equations and their applications /
by Srinivasan, S. Kidambi
Publication:
New York : American Elsevier Pub. Co., 1971
. XII, 166 p. :
24 cm.
Date:1971
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(2),
Actions:
|
|