The design of intelligent agents : a layered approach

. Müller, Jörg P. (1965-...). (Lecture notes in computer science. Lecture notes in artificial intelligence; 1177). 2.reimpr. Berlin: Springer-Verlag, c1996. U.I.: Bca. Leopoldo Marechal. ISBN: 3540620036. (M) Texto

Genetic Algorithms + Data Structures, evolution programs

. Michalewicz, Zbigniew (1952-...). [s.l.]: Springer-Verlag, 1992. U.I.: Bca. Leopoldo Marechal. ISBN: 3540606769. (M) Texto

Computational geometry : algorithms and applications

. Berg, Mark de (1966-...); Kreveld, Marc van (1966-...); Overmars, Mark (1958-...); Schwarzkopf, Otfried. 2nd ed. Berlin: Springer-Verlag, 2000. U.I.: Bca. Leopoldo Marechal. ISBN: 3540656200. (M) Texto

Multimedia databases in perspective

. Apers, P.M.G. (1952-...); Blanken, H.M. (1942-...); Houtsma, M.A.W. (1963-...). 2.reimpr. London: Springer-Verlag, 1998. U.I.: Bca. Leopoldo Marechal. ISBN: 3540761098. (M) Texto

Data structures and algorithms : an object-oriented approach using Ada 95

. Beidler, John. New York: Springer-Verlag, c1997. U.I.: Bca. Leopoldo Marechal. ISBN: 0387948341. (M) Texto

Mobile object systems : towards the programmable Internet : Second International Workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers

. Vitek, Jan; Tschudin, Christian. (Lecture notes in computer science; 1222). Berlin: Springer-Verlag, c1997. U.I.: Bca. Leopoldo Marechal. ISBN: 3540628525. (M) Texto

Temporal verification of reactive systems

. Manna, Zohar (1939-...); Pnueli, Amir. New York: Springer-Verlag, c1995. U.I.: Bca. Leopoldo Marechal. ISBN: 0387944591. (M) Texto

ECOOP '93 - object-oriented programming : 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 : proceedings

. Nierstrasz, Oscar M. (1957-...); ECOOP' 93, ECOOP' 93 (7-1993). (Lecture notes in computer science; 707). Berlin: Springer-Verlag, c1993. U.I.: Bca. Leopoldo Marechal. ISBN: 3540571205. (M) Texto

Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings

. Tokoro, Mario (1947-...); Pareschi, Remo; ECOOP '94, ECOOP '94 (8-1994). (Lecture notes in computer science; 821). Berlin: Springer-Verlag, c1994. U.I.: Bca. Leopoldo Marechal. ISBN: 3540582029. (M) Texto

ECOOP '92, European Conference on object oriented programming, Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings

. Lehrmann Madsen, Ole (1950-...); ECOOP' 92, ECOOP' 92 (...-1992). (Lecture notes in computer science; 615). Berlin: Springer-Verlag, c1992. U.I.: Bca. Leopoldo Marechal. ISBN: 0387556680. (M) Texto

The algorithmic beauty of plants

. Prusinkiewicz, Przemyslaw (1952-...); Lindenmayer, Aristid (1925-1989). New York: Springer-Verlag, 1996. U.I.: Bca. Leopoldo Marechal. ISBN: 0387946764. (M) Texto

Funtional programming languages in education. First International Symposium, FPLE ´95 Nijmegen, the Netherlands 4-6 December 1995

. Hartel, Pieter H. (1953-...); Plasmeijer, Rinus (1952-...). Berlin: Springer-Verlag, 1995. U.I.: Bca. Leopoldo Marechal. ISBN: 3540606750. (M) Texto

Categories for the working mathematician

. Mac Lane, Saunders (1909-2005). 2a. ed. New York: Springer-Verlag, c1998. U.I.: Bca. Leopoldo Marechal. ISBN: 0387984038. (M) Texto

Differential equations and their applications : a introduction to applied mathematics

. Braun, Martin (1941-...). (Texts in applied mathematics; 11). 4th ed. New York: Springer-Verlag, 1992. U.I.: Bca. Leopoldo Marechal. ISBN: 3540978941. (M) Texto

Object-oriented programming : with prototypes

. Blaschek, Günther (1957-...). Berlin: Springer-Verlag, c1994. U.I.: Bca. Leopoldo Marechal. ISBN: 3540564691. (M) Texto

Writing for computer science

. Zobel, Justin (1963-...). Melbourne: Springer-Verlag, 1998. U.I.: Bca. Leopoldo Marechal. ISBN: 9813083220. (M) Texto

Software engineering with reusable components

. Samentinger, J.. Berlin: Springer-Verlag, 1997. U.I.: Bca. Leopoldo Marechal. ISBN: 3540626956. (M) Texto

A theory of objects

. Abadi, Martín (1963-...); Cardelli, Luca (1954-...). (Monographs in computer science). 2. ed. corr. New York: Springer-Verlag, 1998. U.I.: Bca. Leopoldo Marechal. ISBN: 0387947752. (M) Texto

Specification and tansformation of programs : a formal approach to software development

. Partsch, Helmut A. (1950-...). (Texts and monographs in computer science). Berlin: Springer-Verlag, c1990. U.I.: Bca. Leopoldo Marechal. ISBN: 0387523561. (M) Texto

Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings

. Singh, Munindar P.; Rao, Anand (1962-...); Wooldridge, Michael (1966-...); ATAL'97 (4-1997). (Lecture notes in computer science. Lecture notes in artificial intelligence; 1365). Berlin: Springer-Verlag, c1998. U.I.: Bca. Leopoldo Marechal. ISBN: 3540641629. (M) Texto

Fundamentals of Algebraic Specification 1

. Ehrig, Hartmut (1944-2016); Mahr, Bernd (1945-...). Berlin: Springer-Verlag, 1985. U.I.: Bca. Leopoldo Marechal. ISBN: 0387137181. (M) Texto

ECOOP '98 - object-oriented programming : 12th European Conference, Brussels, Belgium, July 20-24, 1998 : proceeding

. Jul, Eric; ECOOP' 98, ECOOP' 98 (12-1998). (Lecture notes in computer science; 1445). Berlin: Springer-Verlag, c1998. U.I.: Bca. Leopoldo Marechal. ISBN: 3540647376. (M) Texto

The NURBS book

. Piegl, Les; Tiller, Wayne (1942-...). 2.ed. Berlin: Springer-Verlag, 1997. U.I.: Bca. Leopoldo Marechal. ISBN: 3540615458. (M) Texto

The physics of superconductors : introduction to fundamentals and applications

. Schmidt, Vadim Vasilievich (1927-1985); Müller, Paul (1948-...); Ustinov, Alexey V. (1961-...). Berlin: Springer-Verlag, 2010. U.I.: Bca. Leopoldo Marechal. ISBN: 9783642082511. (M) Texto

Lecture notes in computer science. Lecture notes in artificial intelligence

. Carbonell, J. G.; Siekmann, J.. Berlin: Springer-Verlag, [s.f.]. U.I.: Bca. Leopoldo Marechal. (C) Texto