|
Applied algebra, algebraic algorithms and error-correcting codes :
Publication:
Berlin : Springer, 1989
. [6],417p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.A.95152).
Actions:
|
|
|
Applied algebra, algorithmics and error-correcting codes :
Publication:
Berlin : Springer-Verlag, 1986
. vi,265p.
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.A.94950).
Actions:
|
|
|
Approximants de Padé /
by Gilewicz, Jacek
Publication:
Berlin : Springer, 1978
. xiv,511p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA221.GIL.105698).
Actions:
|
|
|
Approximation theory, Tampa :
Publication:
Berlin : Springer, 1987
, Preface: ...Proceedings of the Tampa Approximation Seminar...
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA221.A.35561).
Actions:
|
|
|
Architecture of distributed computer systems /
by Bochmann, Gregor V.
Publication:
Berlin : Springer, 1979
. viii, 238 p. :
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.BOC.111893).
Actions:
|
|
|
Arithmetic algebraic geometry /
by Colliot-Thélène, J.-L.,
Publication:
Berlin : Springer-Verlag, 1993
. 223p
, "Lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Trento, Italy, June 24-July 2, 1991."
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA564.COL.42093).
Actions:
|
|
|
Artificial intelligence in higher education :
Publication:
Berlin : Springer-Verlag, 1990
. ix, 247 p.
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(Q335.7.A.93608).
Actions:
|
|
|
Asymptotic analysis II :
Publication:
Berlin : Springer, 1983
. [vi],497p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA372.A.32086).
Actions:
|
|
|
Attractivity and bifurcation for nonautonomous dynamical systems /
by Rasmussen, Martin,
Publication:
Berlin : Springer, 2007
. xi, 212 p. :
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.8.RAS.67932).
Actions:
|
|
|
Attribute grammar inversion and source-to-source translation /
by Yellin, Daniel M.
Publication:
Berlin : Springer-Verlag, 1988
. viii, 176 p
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.YEL.95062).
Actions:
|
|
|
Attribute grammars :
by Deransart, Pierre
Publication:
Berlin : Springer-Verlag, 1988
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.7.DER.95109).
Actions:
|
|
|
Attribute grammars and their applications :
Publication:
Berlin : Springer, 1990
. vii, 358 p.
, "International Workshop on Attribute Grammars and their Applications"-Foreword. Organized by Institut national de recherche en informatique et en automatique
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.7.A.52430).
Actions:
|
|
|
Automata networks :
Publication:
Berlin : Springer, 1988
. [7],125p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.5.A.95099).
Actions:
|
|
|
Automata theory and formal languages :
Publication:
Berlin : Springer-Verlag, 1975
. viii, 292 p :
25 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.104559).
Actions:
|
|
|
Automata, languages and programming :
Publication:
Berlin : Springer-Verlag, 1987
. x, 565 p ;
, Sponsored by the European Association for Theoreticl Computer Science
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.95016).
Actions:
|
|
|
Automata, languages and programming :
Publication:
New York : Springer-Verlag, 1990
, Conference papers
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.95297).
Actions:
|
|
|
Automata, languages and programming :
Publication:
Berlin : Springer-Verlag, 1988
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.95103).
Actions:
|
|
|
Automata, languages and programming :
Publication:
Berlin : Springer-Verlag, 1989
. xi,788p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.95193).
Actions:
|
|
|
Automata, languages and programming :
Publication:
Berlin : Springer, 1980
. viii, 671 p. ;
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.A.103705).
Actions:
|
|
|
Automata, languages, and programming :
Publication:
Berlin : Springer, 1986
. ix,473p ;
, ICALP [International Colloquium on Automata, Languages, and Programming] was sponsored by the European Association on Theoretical Computer Science and organized by INRIA
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.94948).
Actions:
|
|
|
Automatic differentiation :
by Rall, Louis B.
Publication:
Berlin : Springer, 1981
. viii,165p ;
25cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(20-05.1753/3481),
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA304.RAL.103810).
Actions:
|
|
|
Automatic verification methods for finite state systems :
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(TK5105.5.A.95232).
Actions:
|
|
|
Balanced control of flexible structures /
by Gawronski, Wodek,
Publication:
London ; | New York : Springer, 1996
. xiv, 262 p. :
24 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TA660.F53 GAW*BAL).
Actions:
|
|
|
Banach space theory and its applications :
Publication:
Berlin : Springer, 1983
. x,302p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA322.BAN.31348).
Actions:
|
|
|
Banach spaces of analytic functions :
Publication:
Berlin : Springer-Verlag, 1977
. 141p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA322.B.31349).
Actions:
|
|
|
Basic concepts in digital signal processing for seismologists /
by Scherbaum, Frank
Publication:
Berlin : Springer-Verlag, 1994
33
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(QE541.SCH.102372).
Actions:
|
|
|
Bifurcation theory and applications :
Publication:
Berlin : Springer, 1984
. vi, 233p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA372.B.32062).
Actions:
|
|
|
Bifurcations in Hamiltonian systems :
Publication:
Berlin : Springer, 2003
. XIII, 169 p. :
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.83.B.56429).
Actions:
|
|
|
Bifurcations of planar vector fields :
Publication:
Berlin : Springer, 1991
. 226p ;
24cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.8.B.39512).
Actions:
|
|
|
Bifurcations of planar vector fields :
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.B.39517).
Actions:
|
|
|
Bioenergy /
Publication:
New York : Springer-Verlag, 1981
. 209 p.
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96855).
Actions:
|
|
|
Biopolymers
Publication:
London Springer-Verlag 1987
. 207 fig.
25 cm
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QD281.B.82967).
Actions:
|
|
|
Birth of the universe and fundamental physics :
Publication:
Berlin [etc.] : Springer, 1995
. Xv, 387 p. :
33
Holdings:
IST - Biblioteca Central, IST-Consultar BC 2
(QB980.B.952).
Actions:
|
|
|
Buckling and post-buckling :
Publication:
Berlin ; | New York : Springer-Verlag, 1987
. vii, 246 p. :
25 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TA656.2 BUCK).
Actions:
|
|
|
CAAP '86 :
Publication:
Berlin : Springer, 1986
. vi,306p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA166.2.C.94938).
Actions:
|
|
|
CAAP '88 :
Publication:
Berlin : Springer, 1988
. vIII,303p ;
, Held in conjunction with ESOP '88
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA166.2.C.95065).
Actions:
|
|
|
CAAP'90 :
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA166.2.C.95262).
Actions:
|
|
|
Calculus and computer science theory :
Publication:
Berlin : Springer, 1975
. xii, 370 p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA9.5.C.94545).
Actions:
|
|
|
Calculus of variations and partial differential equations :
Publication:
Berlin : Springer-Verlag, 1988
. 301 p. :
24 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA315.C.35974).
Actions:
|
|
|
Categorical methods in computer science :
Publication:
Berlin : Springer, 1989
. vi, 350 p. ;
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA75.5.C.95220).
Actions:
|
|
|
Categories in continuum physics :
Publication:
Berlin : Springer-Verlag, 1986
. 126p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QC174.46.C.32961).
Actions:
|
|
|
Category theory and computer programming :
Publication:
Berlin : Springer-Verlag, 1986
. vii,519p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.C.32910).
Actions:
|
|
|
Category theory and computer science :
Publication:
Berlin : Springer, 1987
. [5],300p ;
, Contains proceedings of a conference held at University of Edinburgh, 7th-9th September 1987
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.C.95026).
Actions:
|
|
|
Category theory and computer science :
Publication:
Berlin : Springer-Verlag, 1989
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.C.95217).
Actions:
|
|
|
Category theory applied to computation and control :
Publication:
Berlin : Springer-Verlag, 1975
. x, 245 p
, An American Mathematical Society symposium within the annual meeting of the American Association for the Advancement of Science
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.C.104575),
IST - Biblioteca Central, IST-Biblioteca Central
(QA267.L.999.ISR).
Actions:
|
|
|
Classification theory :
Publication:
Berlin : Springer-Verlag, 1987
. [iv],500p ;
24cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA9.7.C.35563).
Actions:
|
|
|
Co-oP :
by Bui, Tung X.
Publication:
Berlin : Springer, 1987
. xiii, 250 p.
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(T58.62.BUI.95040).
Actions:
|
|
|
Coding theory and applications :
Publication:
Berlin : Springer-Verlag, 1989
, Lecture notes in computer science, vol. 311, comprises the proceedings of the 2nd international colloquium
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.C.95216).
Actions:
|
|
|
Coding theory and applications :
Publication:
Berlin : Springer, 1988
. xiv,196p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.C.95080).
Actions:
|
|
|
Cohomologie galoisienne :
by Serre, Jean-Pierre
Publication:
Berlin : Springer-Verlag, 1994
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA612.3.SER.43613).
Actions:
|
|
B-ON / Springer ebooks