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.: 1. ISBN: 9783642082511. (M) Texto

The NURBS book

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

Monographs in computer science

. New York: Springer-Verlag, [s.f.]. U.I.: 1. (C) Texto

Lecture notes in computer science

. Goos, G.; Hartmanis, Juris (1928-...). Berlin: Springer-Verlag, [s.f.]. U.I.: 1. (C) Texto

Texts and monographs in computer science

. Gries, David (1939-...). Berlin: Springer-Verlag, [s.f.]. U.I.: 1. (C) Texto

ECOOP' 91 European Conference on Onbect-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings

. America, Pierre (1959-...); ECOOP' 91, ECOOP' 91 (...-1991). (Lecture notes in computer science; 512). Berlin: Springer-Verlag, c1991. U.I.: 1. ISBN: 3540542620. (M) Texto

Lecture notes in computer science. Lecture notes in artificial intelligence

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

Texts in applied mathematics

. New York: Springer-Verlag, [s.f.]. U.I.: 1. (C) Texto

Introducción a la electrocardiografía : método autodidacta de interpretación del ECG

. Lindner, Udo K. (1949-...); Dubin, Dale B. (1940-...). Barcelona: Springer-Verlag, 1995. U.I.: 1. ISBN: 8407001570. (M) Texto

Electronic commerce : current research issues and applications

. Adam, Nabil R.; Yesha, Yelena (1962-...). (Lecture notes in computer science; 1028). Berlin: Springer-Verlag, 1996. U.I.: 1. ISBN: 3540607382. (M) Texto

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.: 1. ISBN: 3540620036. (M) Texto

Genetic Algorithms + Data Structures, evolution programs

. Michalewicz, Zbigniew (1952-...). [s.l.]: Springer-Verlag, 1992. U.I.: 1. ISBN: 3540606769. (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.: 1. ISBN: 3540978941. (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.: 1. ISBN: 3540656200. (M) Texto

Object-oriented programming : with prototypes

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

Writing for computer science

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

Software engineering with reusable components

. Samentinger, J.. Berlin: Springer-Verlag, 1997. U.I.: 1. 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.: 1. 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.: 1. ISBN: 0387523561. (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.: 1. ISBN: 3540761098. (M) Texto

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

. Beidler, John. New York: Springer-Verlag, c1997. U.I.: 1. 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.: 1. ISBN: 3540628525. (M) Texto

Temporal verification of reactive systems

. Manna, Zohar (1939-...); Pnueli, Amir. New York: Springer-Verlag, c1995. U.I.: 1. 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.: 1. 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.: 1. ISBN: 3540582029. (M) Texto