|
Theory of a higher-order Sturm-Liouville equation /
by Kozlov, Vladimir
Publication:
Berlin : Springer, 1997
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA3.KOZ.53211),
IST - Biblioteca Central, IST-Centro Mat.Aplicada
(QA3.KOZ.57).
Actions:
|
|
|
Time Series Package (TSPACK) /
by Chaghaghi, François S.
Publication:
Berlin : Springer, 1985
. [3],305p ;
25cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(18-03.1313/3493).
Actions:
|
|
|
Time-harmonic electromagnetic fields in chiral media /
by Lakhtakia, A
Publication:
Berlin : Springer, 1989
. vii,121p ;
25cm
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QC173LAK.40161).
Actions:
|
|
|
Topics in functional analysis /
by Wilansky, Albert
Publication:
Berlin : Springer-Verlag, 1967
. 102 p ;
28 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA320.WIL.32185).
Actions:
|
|
|
Topies in cohomology of groups /
by Lang, Serge
Publication:
Berlin : Springer-Verlag, 1990
33
Holdings:
IST - Biblioteca Central, IST-Consultar BC 1
(QA247.LAN.274).
Actions:
|
|
|
Topological methods for variational problems with symmetries /
by Bartsch, Thomas
Publication:
Berlin : Springer-Verlag, 1993
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA614.7.BAR.46612).
Actions:
|
|
|
Topologische Reflexionen und Coreflexionen /
by Herrlich, Horst
Publication:
Berlin ; | Heidelberg ; | New York : Springer, 1968
. xvi, 166 p. ;
, Library of Congress Catalog Card Number 68-059062.
28 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA3.HER.55085).
Actions:
|
|
|
Torsion et type simple d'homotopie :
by Rham, G. de
Publication:
Berlin : Springer-Verlag, 1967
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA612.RHA.3015).
Actions:
|
|
|
Transient electromagnetic fields /
Publication:
Berlin : Springer, 1976
. xii, 274 p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QC665.T.29866).
Actions:
|
|
|
Translating relational queries into iterative programs /
by Freytag, Johann Christoph,
Publication:
Berlin : Springer, 1987
. xi, 131 p.
, Originally presented as a Ph.D. thesis at Harvard University, 1985
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.9.FRE.95000).
Actions:
|
|
|
Transport phenomena /
Publication:
Berlin : Springer, 1974
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(21-03.7229/1104).
Actions:
|
|
|
Trends in computer algebra :
Publication:
Berlin : Springer-Verlag, 1988
. 197 p.
, "Organized by the Scientific Programs Department of IBM Germany and sponsored by IBM Germany."
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA155.7.T.95046).
Actions:
|
|
|
Trends, techniques, and problems in theoretical computer science :
Publication:
Berlin : Springer, 1987
. vi, 213 p. :
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA75.5.T.95024).
Actions:
|
|
|
Turbulence /
Publication:
Berlin : Springer-Verlag, 1976
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(21-12.2567/1630).
Actions:
|
|
|
Turbulence seminar :
Publication:
Berlin : Springer-Verlag, 1977
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(21-12.2567/1970).
Actions:
|
|
|
Tutorials in mathematical biosciences.
Publication:
Berlin ; | New York : Springer, 2005
. ix, 170 p. :
, "Mathematical biosciences subseries"--Cover.
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA3.T.66413).
Actions:
|
|
|
Tutorials in mathematical biosciences.
Publication:
Berlin ; | New York : Springer, 2003
. xii, 202 p. :
, "Mathematical biosciences subseries"--Cover.
24 cm.
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA3.T.66457).
Actions:
|
|
|
Uncertainty and control /
Publication:
Berlin : Springer-Verlag, 1985
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA402.3.P.94863).
Actions:
|
|
|
Uncertainty and intelligent systems :
Publication:
Berlin : Springer, 1988
. viii,408p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.U.95094).
Actions:
|
|
|
Uncertainty in knowledge-based systems :
Publication:
Berlin : Springer-Verlag, 1987
. viii, 405 p
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.U.95036).
Actions:
|
|
|
Unobstructed shortest paths in polyhedral environments /
by Akman, Varol
Publication:
Berlin : Springer, 1987
. [7],103p ;
25cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(TJ211.AKM.94972).
Actions:
|
|
|
Variational methods for problems from plasticity theory and for generalized Newtonian fluids /
by Fuchs, Martin
Publication:
Berlin : Springer-Verlag, 2000
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA3.FUC.54765).
Actions:
|
|
|
VDM '88 :
Publication:
Berlin : Springer-Verlag, 1988
33
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.V.95114).
Actions:
|
|
|
VDM - a formal method at work :
Publication:
Berlin : Springer, 1987
. ix,422p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.V.94981).
Actions:
|
|
|
VDM'90 VDM and Z-formal methods in software development :
Publication:
Berlin : Springer, 1990
. xvii,579p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.76.V.95259).
Actions:
|
|
|
Vector bundles on curves - new directions :
by Kumar, S.,
Publication:
Berlin : Springer, 1997
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA612.63.KUM.48824).
Actions:
|
|
|
Verifying concurrent processes using temporal logic
by Hailpern, Brent T.
Publication:
Berlin Springer-Verlag 1982
. viii, 208 p.
25 cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.HAI.94932).
Actions:
|
|
|
VLSI algorithms and architectures :
Publication:
Berlin : Springer, 1986
. viii,328p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(TK7874.V.94949).
Actions:
|
|
|
Vortex methods :
Publication:
Berlin : Springer, 1988
. 141p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA925.V.35095).
Actions:
|
|
|
Waste input-output analysis :
by Nakamura, Shinʼichirō,
Publication:
[Dordrecht?] : Springer, 2009
. xvii, 294 p. :
25 cm.
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(14-12.7560/85528).
Actions:
|
|
|
Wavelets and singular integrals on curves and surfaces /
by David, Guy
Publication:
Berlin : Springer, 1992
. x, 109 p. :
25 cm
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA403.3.DAV.116366).
Actions:
|
|
|
Wavelets in the geosciences /
Publication:
Berlin : Springer, 2000
. xviii, 241 p. :
24 cm
Holdings:
IST - Biblioteca de Civil, IST-Bib Civil
(QE33.2.W38.W.120253).
Actions:
|
|
|
Waves on water of variable depth /
Publication:
Canberra : Australian Academy of Science, 1977
. 231p
, This vol. contains the proceedings of a symposium held under the auspices of the IUTAM and the Australian Academy of Science at the Academy in Canberra, 20-23 July 1976
33
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(21-09.7591/1964).
Actions:
|
|
|
Weak continuity and weak lower semicontinuity of non-linear functionals /
by Dacorogna, Bernard
Publication:
Berlin : Springer, 1982
. 120p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA321.5.DAC.32069).
Actions:
|
|
|
Weighted energy methods in fluid dynamics and elasticity /
by Galdi, Giovanni P.
Publication:
Berlin : Springer, 1985
. vii,126p ;
25cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica
(20-13.1754/11152),
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA911.GAL.32929).
Actions:
|
|
|
Weighted hardy spaces /
by Strömberg, Jan-Olov
Publication:
Berlin : Springer-Verlag, 1989
. IV, 193 p. ;
25 cm
Holdings:
IST - Biblioteca Central, IST-Biblioteca Central
(QA331.WEI.72212).
Actions:
|
|
|
Weighted inequalities and degenerate elliptic partial differential equations /
by Stredulinsky, Edward W.,
Publication:
Berlin : Springer, 1984
. 143p
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA377.STR.32074).
Actions:
|
|
|
Well-posed optimization problems /
by Dontchev, A. L.
Publication:
Berlin : Springer-Verlag, 1993
33
Holdings:
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA315.DON.41521).
Actions:
|
|
|
WOPPLOT 86 :
Publication:
Berlin : Springer, 1987
. vi,226p ;
25cm
Holdings:
IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade
(QA76.6.W.94984).
Actions:
|
|
|
Y12M, solution of large and sparse systems of linear algebraic equations :
by Zlatev, Zahari
Publication:
Berlin : Springer, 1981
. ix,128p ;
25cm
Holdings:
IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL
(20-05.442/2863),
IST - Biblioteca do Complexo, IST-Bib Complexo
(QA188.ZLA.103787).
Actions:
|
|
B-ON / Springer ebooks