|
Advances in cryptology :
Publication:
Berlin : Springer, 1986
. ix,280p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.94942).
Actions:
|
|
|
Advances in cryptology :
Publication:
Berlin : Springer, 1988
. x,460p ;
, "CRYPTO '87, a Conference on the Theory and Applications of Cryptographic Techniques, held at the University of California, Santa Barbara, through the cooperation of the Computer Science Department, August 16-20, 1987; sponsored by the International Association for Cryptologic Research in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy"--P
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95043).
Actions:
|
|
|
Advances in cryptology--EUROCRYPT '87 :
Publication:
Berlin : Springer, 1988
. vII,314p ;
, Sponsored by the International Association for Cryptologic Research
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95047).
Actions:
|
|
|
Advances in cryptology-EUROCRYPT '88 :
Publication:
Berlin : Springer, 1988
. xi,467p ;
, Sponsored by the International Association for Cryptologic Research
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95118).
Actions:
|
|
|
Advances in database technology - EDBT '90 :
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95249).
Actions:
|
|
|
Advances in database technology - EDBT'88 :
Publication:
Berlin : Springer-Verlag, 1988
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95057).
Actions:
|
|
|
Advances in fractional calculus :
Publication:
Dordrecht, The Netherlands : Springer Verlag 2007
. xiii, 552 p. :
24 cm.
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC
(21-08.5219/1406).
Actions:
|
|
|
Advances in life cycle engineering for sustainable manufacturing businesses :
Publication:
London : Springer, 2007
. xiv, 480 p. :
, Includes index.
31 cm. +
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(21-06.4168/1588),
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(21-06.4168/1588).
Actions:
|
|
|
Advances in object-oriented database systems :
Publication:
Berlin : Springer-Verlag, 1988
. vII,373p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95129).
Actions:
|
|
|
Advances in Petri nets 1987 /
Publication:
Berlin : Springer, 1987
. vi, 451 p.
, Covers the 7th European Workshop on Applications and Theory of Petri Nets held in Oxford, 1986
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.94998).
Actions:
|
|
|
Advances in Petri nets 1988
Publication:
Berlin Springer-Verlag 1988
. vi,439p
, Papers of the European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.104993).
Actions:
|
|
|
Advances in Petri nets 1989 /
Publication:
Berlin : Springer, 1990
. vi,524p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.95241).
Actions:
|
|
|
Advances in Petri nets, 1985 /
Publication:
Berlin : Springer, 1986
. [6],498p ;
, "Covers the 6th European Workshop on Applications and Theory of Petri Nets held in Espoo, Finland in June 1985"--Pref
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA267.A.104982).
Actions:
|
|
|
Advances in polymer science =
Publication:
Berlin Springer Verlag 1958
. 8 v.
23 cm
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331),
IST - Biblioteca de Química, IST-Bib Química
(QD281.A.49331).
Actions:
|
|
|
Advances in solid state physics /
Publication:
Berlim : Springer, 2003
. XXVII, 911 p.
33
Holdings:
IST - Biblioteca Central, IST-Consultar BC 2
(QC176.A.1553).
Actions:
|
|
|
Advances in variable structure and sliding mode control /
Publication:
Berlin ; | New York : Springer, 2006
. xx, 482 p. :
, "Based on expansions of selected presentations from the 8th IEEE International Workshop on Variable Structure Systems ... Barcelona, Spain."--Pref.
24 cm.
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(TJ220.5.A.3466.ISR).
Actions:
|
|
|
AI '88 :
Publication:
Berlin : Springer, 1990
. viii, 462 p.:
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(Q334.A.93229).
Actions:
|
|
|
Algebraic algorithms and error-correcting codes :
Publication:
Berlin : Springer-Verlag, 1986
. vii,416p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA155.7.A.94952).
Actions:
|
|
|
Algebraic and logic programming :
Publication:
Berlin : Springer-Verlag, 1988
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.A.95128).
Actions:
|
|
|
Algebraic cycles and hodge theory /
by Green, M.
Publication:
Berlin : Springer-Verlag, 1994
, Lectures given at the 2nd.session of the Centro Internazionale Matematico Estivo(C.I.M.E.), held in Torino,Italy, June 21-29,1993
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA564.GRE.46613).
Actions:
|
|
|
Algebraic logic and universal algebra in computer science :
Publication:
Berlin : Springer-Verlag, 1990
. xi, 292 p. :
25 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA10.A.95239).
Actions:
|
|
|
Algebraic methods :
Publication:
Berlin : Springer, 1989
. vi,558p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.A.95221).
Actions:
|
|
|
Algèbre locale, multiplicités :
by Serre, Jean Pierre
Publication:
Berlin : Springer, 1975
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA564.SER.39092).
Actions:
|
|
|
Algorithms :
Publication:
Berlin : Springer, 1990
. viii, 478 p.
, "SIGAL International Symposium on Algorithms" - Pref. | Spine title: SIGAL'90 - algorithms
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA9.58.A.95301).
Actions:
|
|
|
Algorithms and data structures :
Publication:
Berlin : Springer-Verlag, 1989
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.A.95211).
Actions:
|
|
|
Algorithms for parallel polygon rendering /
by Theoharis, T.
Publication:
Berlin : Springer, 1989
. vii, 147 p. :
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.5.THE.95194).
Actions:
|
|
|
Almost periodic differential equations /
by Fink, A. M.
Publication:
Berlin : Springer, 1974
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA372.FIN.32134).
Actions:
|
|
|
An advanced course in modern nuclear physics /
Publication:
Berlin ; | New York : Springer, 2001
. vii, 346 p. :
25 cm.
Holdings:
IST - Biblioteca Central, IST-Consultar BC 2
(QC776.A.1457).
Actions:
|
|
|
An attribute grammar for the semantic analysis of Ada /
Publication:
Berlin : Springer, 1982
. ix,511p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.A.103706).
Actions:
|
|
|
An introduction to operators on the Hardy-Hilbert space /
by Martínez-Avendaño, Rubén A.
Publication:
New York, N.Y. : Springer, 2007
. xii, 220 p. ;
25 cm.
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA331.MAR.68772.CEAF).
Actions:
|
|
|
An introduction to Riemann surfaces, algebraic curves and moduli spaces /
by Schlichenmaier, Martin
Publication:
Berlin : Springer, 1989
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA564.SCH.48987).
Actions:
|
|
|
An introduction to the numerical analysis of spectral methods /
by Mercier, Bertrand
Publication:
Berlin : Springer-Verlag, 1989
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(20-05.442/3912).
Actions:
|
|
|
An introduction to the PL/CV2 programming logic /
by Constable, R. L.
Publication:
Berlin : Springer, 1982
. x,292p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.73.CON.103708).
Actions:
|
|
|
An introduction to the regenerative method for simulation analysis
by Crane, M. A.
Publication:
Berlin Springer-Verlag, 1977
. vii,111 p.
23 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA76.9.M35.CRA.105225).
Actions:
|
|
|
An introduction to the theory of algebraic surfaces /
by Zariski, Oscar
Publication:
Berlin : Springer, 1969
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA571.ZAR.3577).
Actions:
|
|
|
An invitation to Morse theory /
by Nicolaescu, Liviu I.
Publication:
New York ; | London : Springer, 2007
. xiv, 241 p. :
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA331.NIC.68952).
Actions:
|
|
|
An invitation to quantum cohomology :
by Kock, Joachim,
Publication:
Boston : Birkhäuser, 2007
. xii, 159 p. :
, Revised and expanded translation of the original Portuguese edition (A fórmula de Kontsevich para curvas racionais planas. Rio de Janeiro : Instituto de Matemática Pura e Aplicada, c1999)
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA607.KOC.66350).
Actions:
|
|
|
Analogical and inductive inference :
Publication:
Berlin : Springer, 1989
. ix, 338 p.:
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(Q334.A.93228).
Actions:
|
|
|
Analogical and inductive inference :
Publication:
Berlin : Springer, 1987
. vi,227p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(Q334.A.94997).
Actions:
|
|
|
Analyse :
Publication:
New York : Springer Verlag, 1968
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA329.4.A.3269).
Actions:
|
|
|
Analyse harmonique non-commutative sur certains espaces homogènes;
by Coifman, Ronald R.
Publication:
Berlim : Springer-Verlag, 1971
. iv, 160 p.
, "Exposé qui ... a fait l'object d'une série de conférences données à la Faculté des Sciences d'Orsay durant l'année scolaire 1970-71."
26 cm
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA403.COI.70107).
Actions:
|
|
|
Analysis and simulation of fluid dynamics /
Publication:
Basel ; | Boston : Birkhäuser, 2007
. viii, 246 p. :
24 cm.
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA901.A.67682).
Actions:
|
|
|
Analytic and geometric study of stratified spaces /
by Pflaum, Markus J.
Publication:
Berlin : Springer-Verlag, 2001
. VIII, 230 p. :
24 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.42.PFL.62618).
Actions:
|
|
|
Analytic capacity, rectifiability, Menger curvature and the Cauchy integral /
by Pajot, Hervé,
Publication:
Berlin : Springer, 2002
. xii, 118 p. :
24 cm
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA.3.PAJ.67678).
Actions:
|
|
|
Analytic functions smooth up to the boundary /
by Shirokov, Nikolai A.
Publication:
Berlin : Springer, 1988
. 213p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA331.7.SHI.36087).
Actions:
|
|
|
Anna :
Publication:
Berlin : Springer, 1987
. v,143p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.73.A.94999).
Actions:
|
|
|
Applicable algebra, error-correcting codes, combinatorics and computer algebra :
Publication:
Berlin : Springer, 1988
. vi,214p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.A.95070).
Actions:
|
|
|
Applications of automatic control concepts to traffic flow modeling and control /
by Papageorgiou, M.,
Publication:
Berlin : Springer-Verlag, 1983
. ix, 186 p.:
25 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(HE336.PAP.94536).
Actions:
|
|
|
Applications of methods of functional analysis to problems in mechanics :
Publication:
Berlin : Springer-Verlag, 1976
. xix, 531 p :
25 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA801.A.116385).
Actions:
|
|
|
Applied algebra, algebraic algorithms and error-correcting codes :
Publication:
Berlin : Springer, 1989
. ix,480p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA268.A.95153).
Actions:
|
|