|
Assessing climate change :
by Rapp, Donald
Publication:
Chichester, UK : Springer in association with Praxis Publishing, 2008
. XXIX, 374 p.:
24 cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(14-13.1937/0600).
Actions:
|
|
|
10th international conference on automated deduction, Kaiserslautern, FRG, July 24-27, 1990 :
Publication:
Berlin : Springer, 1990
. xvi, 688 p. ;
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.842.GIA).
Actions:
|
|
|
1830-1930: a century of geometry :
Publication:
Berlin; London : Springer, 1992
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA26.E.39602).
Actions:
|
|
|
3-D shape estimation and image restoration :
by Favaro, Paolo.
Publication:
London : Springer, 2007
. xiv, 249 p. :
24 cm.
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC
(07-06.1313/1331).
Actions:
|
|
|
5th [International] Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
Publication:
Berlin : Springer-Verlag, 1980
. vii, 385 p. ;
, Includes index | Includes bibliographical references
24 cm.
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.844.GIA).
Actions:
|
|
|
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 :
Publication:
Berlin : Springer-Verlag, 1984
. vi, 508 p. ;
24 cm.
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.843.GIA).
Actions:
|
|
|
8th international conference on automated deduction, Oxford, England, July 27 - August 1, 1986 :
Publication:
Berlin : Springer, 1986
. ix,708p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.94954).
Actions:
|
|
|
9th International Conference on Automated Deduction :
Publication:
Berlin : Springer-Verlag, 1988
. x, 775 p.
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.95078),
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.I.97714).
Actions:
|
|
|
A collection of test problems for constrained global optimization algorithms /
by Floudas, Christodoulos A.
Publication:
Berlin : Springer, 1990
. xiv, 180 p. ;
25cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TA331 FLO*COL),
IST - Biblioteca de Civil, IST-Bib Civil
(TA331.FLO.95313).
Actions:
|
|
|
A comparative study of very large data bases /
by Hill, Edward
Publication:
Berlin : Springer, 1978
. x,140p :
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.HIL.103736).
Actions:
|
|
|
A complex variable approach to the analysis of linear multivariable feedback systems /
by Postlethwaite, Ian
Publication:
New York : Springer-Verlag, 1979
. iv, 177 p.
25 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA402.3.POS.94861).
Actions:
|
|
|
A concise course on stochastic partial differential equations /
by Prévôt, Claudia
Publication:
New York : Springer, 2007
. vi, 144p. ;
24cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA274.23.PRE.67931).
Actions:
|
|
|
A concurrent Pascal compiler for minicomputers /
by Hartmann, Alfred C
Publication:
Berlin : Springer-Verlag, 1977
. 119 p.
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.HAR.103948).
Actions:
|
|
|
A connotational theory of program structure /
by Royer, James S.
Publication:
Berlin : Springer, 1987
. [5],186p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.ROY.95028).
Actions:
|
|
|
A course in enumeration
by Aigner, Martin
Publication:
Berlin Springer 2007
. x, 561 p.
24 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA164.8.AIG.80270).
Actions:
|
|
|
A course in H [infinity] control theory /
by Francis, Bruce A
Publication:
Berlin : Springer-Verlag, 1987
. x,150p
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(07-06.6895/2168),
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA402.3.FRA.94784).
Actions:
|
|
|
A formal model of visualization in computer graphics systems /
by Onodera, Tamiya
Publication:
Berlin : Springer, 1990
. x,100p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(T385.ONO.95250).
Actions:
|
|
|
A linear systems primer
by Antsaklis, Panos J.
Publication:
Boston Birkhauser | Springer [distributor] 2007
. xvi, 517 p.
24 cm
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA402.ANT.3608.ISR).
Actions:
|
|
|
A methodology for uncertainty in knowledge-based systems /
by Weichselberger, Kurt
Publication:
Berlin : Springer, 1990
. 132 p. ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.WEI.93231).
Actions:
|
|
|
A portrait of state-of-the-art research at the Technical University of Lisbon /
Publication:
Netherlands : Springer, 2007
. X, 621 p. ; il. ;
24 cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(15-05.5986/10584),
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(15-05.5986/10585),
IST - Biblioteca do Complexo, IST-Bib Complexo
(Q65.PER.66858),
IST - Biblioteca do Complexo, IST-Bib Complexo
(Q65.PER.69101),
IST - Biblioteca do Tagus Park, IST-Bib Tagus Park
(Q65.P.65469).
Actions:
|
|
|
A primer in density functional theory /
Publication:
Berlin ; | New York : Springer, 2003
. xii, 256 p. :
24 cm.
Holdings:
IST - Biblioteca Central, IST-Consultar BC 2
(Qc20.7.P.1557).
Actions:
|
|
|
A primer of ecology with R /
by Stevens, M. Henry H.
Publication:
New York : Springer, 2009
. XVI, 401 p. ;
23 cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(14-13.1937.0801).
Actions:
|
|
|
A real variable method for the Cauchy transform, and analytic capacity /
by Murai, Takafumi
Publication:
Berlin : Springer, 1988
. vi, 133p ;
25 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA331.7.MUR.36143).
Actions:
|
|
|
A review of Ada tasking /
by Burns, Alan,
Publication:
Berlin : Springer-Verlag, 1987
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.73.BUR.95001).
Actions:
|
|
|
A systematic catalogue of reusable abstract data types /
by Uhl, Jürgen
Publication:
Berlin : Springer, 1990
. xii, 344 p
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.UHL.95317).
Actions:
|
|
|
Abel integral equations :
by Gorenflo, Rudolf
Publication:
Berlin : Springer-Verlag, 1991
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA431.GOR.39631).
Actions:
|
|
|
Abstract algebra
by Grillet, Pierre A.
Publication:
New York Springer 2007
. xii, 669 p.
25 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA162.GRI.80573).
Actions:
|
|
|
Abstract non-linear wave equations /
by Reed, Michael,
Publication:
Berlin : Springer, 1976
. vi,128p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QC174.26.REE.5054).
Actions:
|
|
|
Accélération de la convergence en analyse numérique /
by Brezinski, C.
Publication:
Berlin : Springer, 1977
. 313p. ;
24cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(20-05.442/3629),
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA297.BRE.111394).
Actions:
|
|
|
Accurate scientific computations :
Publication:
Berlin : Springer, 1986
. x,205p ;
25cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA76.95.A.94959).
Actions:
|
|
|
Acoustic emission testing
Publication:
Berlin Springer 2008
. x, 396 p.
25 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Materiais
(TA418.84 ACO DEMat),
IST - Biblioteca Central, IST-Bib Exploracao Minas
(TA418.84.A.76480).
Actions:
|
|
|
Acoustic surface waves /
Publication:
New York : Springer-Verlag, 1978
. x,331p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QC176.8.A.29092).
Actions:
|
|
|
Acoustics for engineers :
by Blauert, Jens
Publication:
Berlin : Springer, 2008
. ix, 233 p. :
24 cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(21-06.4647/0705).
Actions:
|
|
|
Adaptive cooperation between driver and assistant system :
by Holzmann, Frédéric
Publication:
Berlin : Springer, 2008
. xiii, 224 p. :
24 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TL214.C64 HOL*ADA CESUR).
Actions:
|
|
|
Adaptive scalarization methods in multiobjective optimization
by Eichfelder, Gabriele
Publication:
Berlin Springer-Verlag 2008
. XIII, 241 p.
25 cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC
(20-05.442/1531).
Actions:
|
|
|
Adaptive systems with reduced models
by Ioannou, P. A.
Publication:
Berlin Springer-Verlag 1983
. V, 162 p.
25 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TJ217.IOA.98883).
Actions:
|
|
|
Advanced Information Systems Engineering :
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.758.A.95267).
Actions:
|
|
|
Advanced programming environments :
Publication:
Berlin : Springer, 1986
. vii, 604 p
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.A.94968).
Actions:
|
|
|
Advanced quantum mechanics
by Schwabl, Franz
Publication:
New York Springer Verlag 2008
. xvii, 405 p.
23 cm
Holdings:
IST - Biblioteca Central, IST-Consultar BC 2
(QC174.12.SCH.1719).
Actions:
|
|
|
Advanced robust and nonparametric methods in efficiency analysis :
by Daraio, Cinzia
Publication:
New York Springer 2007
. xxii, 248 p.
25 cm
Holdings:
Instituto Superior de Economia e Gestão, ISEG (iseg)
(HD56.D37 2007),
IST - Biblioteca de Civil, IST-Bib Civil
(QA278.8 DAR*ADV CESUR).
Actions:
|
|
|
Advanced strategies in control systems with input and output constraints /
Publication:
New York : Springer, 2006
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC
(07-06.6895/1273).
Actions:
|
|
|
Advanced topics in artificial intelligence :
Publication:
Berlin : Springer, 1988
. vi, 233 p.:
, Organized by European Coordinating Committee for Artificial Intelligence
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(Q335.5.A.93187).
Actions:
|
|
|
Advancements in electric machines
by Gieras, J. F.
Publication:
New York Springer 2008
. xii, 278 p.
33
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(TK2000.GIE.3803.CAUTL).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
New York Springer-Verlag 1972
. 215 p.
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96792).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
Berlin Springer 1978
. viii,177p
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96848).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
Berlin Springer-Verlag 1982
. 178 p
25cm
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96856).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
Berlin Springer-Verlag 1974
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96026).
Actions:
|
|
|
Advances in biochemical engineering
by Fiechter, A.
Publication:
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96846).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
Berlin Springer-Verlag 1971
. 194p
24cm
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96790).
Actions:
|
|
|
Advances in biochemical engineering
Publication:
New York Springer-Verlag 1971
33
Holdings:
IST - Biblioteca de Química, IST-Bib Química
(QH345.A.96849).
Actions:
|
|
B-ON / Springer ebooks