|
|
541. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
542. |
Algebraic approaches to program semantics /
by Manes, Ernest G.
Publication:
New York : Springer-Verlag, 1986
. XIII, 351 p. :
25 cm.
Date:1986
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
543. |
Computability /
by Weihrauch, Klaus
Publication:
Berlin : Springer-Verlag, 1987
. X, 517 p. :
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
544. |
An introduction to formal language theory /
by Moll, Robert N.
Publication:
New York : Springer-Verlag, 1988
. X,, 203 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
545. |
Formal methods in artificial intelligence /
by Ramsay, Allan
Publication:
Cambridge ; New York : Cambridge University Press, 1988
. IX, 279 p. :
26 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
546. |
Memory performance of prolog architectures /
by Tick, Evan
Publication:
Boston : Kluwer Academic Publishers, 1988
. XVIII, 213 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
547. |
Introduction to statistical pattern recognition /
by Fukunaga, Keinosuke
Publication:
New York : Academic Press, 1972
. XIII, 369 p. :
24 cm.
Date:1972
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
548. |
Attribute grammars : definitions, systems, and bibliography /
by Deransart, Pierre
Publication:
Berlin : Springer-Verlag, 1988
. IX, 232 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
549. |
Computer-oriented approaches to pattern recognition /
by Meisel, William S.
Publication:
New York : Academic Press, 1972
. XII, 250 p. :
24 cm.
Date:1972
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(2),
Actions:
|
|
|
550. |
Comparative programming languages /
by Wilson, Leslie B.
Publication:
Wokingham ; Reading : Addison-Wesley, 1988
. XIII, 379 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
551. |
Machine learning of robot assembly plans /
by Segre, Alberto Maria
Publication:
Boston : Kluwer Academic Publushers, 1988
. XVI, 233 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
552. |
Analysis and optimitzation of systems /
Publication:
Berlin : Springer-Verlag, 1988
. XIV, 1175 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
553. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
554. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
555. |
The ecology of computation /
Publication:
Amsterdam : North Holland, 1988
. VI, 342 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
556. |
Computer graphics : a programming approach /
by Harrington, Steve
Publication:
New York : McGraw-Hill Book Company, 1987
. IX, 466 p. ;
21 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
557. |
ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /
Publication:
Berlin : Springer-Verlag, 1988
. VI, 370 p. ;
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
558. |
Parallel computation and computers for artificial intelligence /
Publication:
Boston : Kluwer Academic Publishers, 1988
. XXV, 219 p. :
25 cm.
Date:1988
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
559. |
Algorithms in combinatorial geometry /
by Edelsbrunner, Herbert
Publication:
Berlin ; New York : Springer-Verlag, 1987
. XV, 423 p. :
25 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
560. |
MetaSoft primer : towards a metalanguage for applied denotational semantics /
by Blikle, Andrzej
Publication:
Berlin : Springer-Verlag, 1987
. XII, 140 p. :
24 cm.
Date:1987
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|