Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

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: