|
Synthesizing synchronous systems by static scheduling in space-time /
by Lisper, Björn
Publicação:
Berlin : Springer-Verlag, 1989 . vi, 262 p. : 24 cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.5.LIS.95160).
Acções:
|
|
|
System development and Ada :
Publicação:
Berlin : Springer-Verlag, 1987 33
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.S.95030).
Acções:
|
|
|
Systems analysis for water technology
by Gujer, Willi
Publicação:
Berlin Springer 2008 . XIII, 462 p. 24 cm
Holdings: IST - Biblioteca de Civil, IST-Bib Civil (TD433 GUJ*SYS).
Acções:
|
|
|
Systems of reductions /
by Benninghofen, B.,
Publicação:
Berlin : Springer, 1987 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA267.BEN.95031).
Acções:
|
|
|
TAPSOFT '87 :
Publicação:
Berlin : Springer-Verlag, 1987 . xiv,336p ; 25cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.76.T.33299).
Acções:
|
|
|
TAPSOFT '89 :
Publicação:
Berlin : Springer, 1989 . x, 383 p 33
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.76.T.95148).
Acções:
|
|
|
TAPSOFT' 89 :
Publicação:
Berlin : Springer, 1989 . x, 389 p. 33
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.76.T.95149).
Acções:
|
|
|
Techniques of multivariate calculation /
by Farrell, R. H.
Publicação:
Berlin : Springer, 1976 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA3.FAR.36892).
Acções:
|
|
|
TEMPO :
by Jones, Neil D.
Publicação:
Berlin : Springer-Verlag, 1978 . ix, 118 p : 24 cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.73.JON.104076).
Acções:
|
|
|
Temporal logic in specification :
Publicação:
Berlin : Springer, 1989 . vI,448p ; 25cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.T.95223).
Acções:
|
|
|
Termination proofs for logic programs /
by Plümer, Lutz
Publicação:
Berlin : Springer, 1990 . viii, 142 p. 25 cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.63.PLU.93239).
Acções:
|
|
|
TeX for scientific documentation :
Publicação:
Berlin : Springer, 1986 . vi,204p ; 25cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (Z253.4.T.94960).
Acções:
|
|
|
The 2005 DARPA grand challenge :
Publicação:
Berlin : Springer-Verlag, 2007 33
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (TJ211.T.3594.ISR).
Acções:
|
|
|
The Aharonov-Bohm effect /
Publicação:
Berlin; London : Springer, 1989 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QC174.12.PES.35463).
Acções:
|
|
|
The analysis of concurrent systems :
Publicação:
Berlin : Springer-Verlag, 1985 . vii, 398 p. ; 25 cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.5.A.94933).
Acções:
|
|
|
The arithmetic of dynamical systems /
by Silverman, Joseph H.
Publicação:
New York : Springer, 2007 . ix, 511, [2] p. : 25 cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA614.8.SIL.67911).
Acções:
|
|
|
The art of random walks /
by Telcs, András.
Publicação:
Berlin ; | New York : Springer, 2006 . vii, 195 p. : 24 cm.
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA3.TEL.67166).
Acções:
|
|
|
The concise encyclopedia of statistics
by Dodge, Yadolah
Publicação:
New York Springer 2008 . viii, 616 p. , "With 247 tables." 25 cm
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (QA273-280/1.DOD.69997).
Acções:
|
|
|
The Cray X-MP/Model 24 :
by Robbins, Kay A.
Publicação:
New York : Springer, 1989 . 165p ; 25cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.8.ROB.95195).
Acções:
|
|
|
The deficiency index problem for powers of ordinary differential expressions /
by Kauffman, Robert McKenzie,
Publicação:
Berlin : Springer-Verlag, 1977 . vi, 112 p. ; 25 cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA329.KAU.32070).
Acções:
|
|
|
The Dirichlet problem with L2-boundary data for elliptic linear equations /
by Chabrowski, Jan
Publicação:
Berlin : Springer-Verlag, 1991 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA379.CHA.38668).
Acções:
|
|
|
The dynamical system generated by the 3n+1 function /
by Wirsching, Günther
Publicação:
Berlin : Springer, 1998 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA3.WIR.48780).
Acções:
|
|
|
The essential guide to Flex 2 with ActionScript 3.0 /
by Brown, Charles E.
Publicação:
Berkeley, CA : | New York : friends of ED ; | distributed to the book trade worldwide by Springer-Verlag, 2007 . xviii, 499 p. : , Includes index. 23 cm.
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (.BRO.69656.GAEL).
Acções:
|
|
|
The extended field of operator theory /
Publicação:
Basel : | [London : Birkhäuser ; | Springer, distributor], 2007 . xxv, 388 p. : , "Many of the papers found here expand on lectures given at the 15th International Workshop on Operator Theory and Its Applications, held at the University of Newcastle upon Tyne from the 12th to the 16th of July 2004."--Editorial pref. 24 cm.
Holdings: IST - Biblioteca Central, IST-Centro Mat.Aplicada (QA188.E.67058), IST - Biblioteca Central, IST-Biblioteca Central (QA188.E.68897.CEAF).
Acções:
|
|
|
The fast solution of boundary integral equations /
by Rjasanow, Sergej.
Publicação:
New York ; | London : Springer, 2007 . xi, 279 p. : 25 cm.
Holdings: IST - Biblioteca de Civil, IST-Bib Civil (TA347.RJA.67927).
Acções:
|
|
|
The Fermi-Pasta-Ulam problem
Publicação:
Berlin Springer Verlag 2008 . vii, 301 p. 24 cm
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (02.G.1388.GDNL), IST - Biblioteca Central, IST-Bib Matematica-BC (Q172.GAL.76149).
Acções:
|
|
|
The frailty model /
by Duchateau, Luc
Publicação:
New York : Springer Verlag, 2008 . xvii, 316 p. : 24 cm.
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA276.DUC.73373).
Acções:
|
|
|
The geometry of ordinary variational equations /
by Krupková, Olga
Publicação:
Berlin : Springer, 1997 . x, 251 p. : 24 cm.
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA372.KRU.101695).
Acções:
|
|
|
The geospatial web :
Publicação:
London : Springer, 2007 . xiv, 295 p. : 25 cm.
Holdings: IST - Sala de Estudo de Informática, IST-Bib Eng Informatica (G70.212.G.2942.DIGMAP).
Acções:
|
|
|
The Hamiltonian Hopf bifurcation /
by Meer, Jan-Cees van der
Publicação:
Berlin : Springer, 1985 . 115p 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA614.83.MEE.32932).
Acções:
|
|
|
The Monte Carlo method in condensed matter physics /
Publicação:
Berlin : Springer, 1995 . xx, 418 p : 33
Holdings: IST - Biblioteca Central, IST-Consultar BC 2 (QC174.5.M.175).
Acções:
|
|
|
The multiplier problem /
by Larsen, Ronald
Publicação:
Berlin : Springer, 1969 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA329.LAR.32933).
Acções:
|
|
|
The Munich Project CIP /
Publicação:
Berlin : Springer, 1987 . vIII,522p ; 25cm
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.6.M.95042).
Acções:
|
|
|
The oceanic thermohaline circulation :
by Aken, Hendrik Mattheus van,
Publicação:
New York : Springer, 2007 . xviii, 326 p. : 25 cm.
Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica (15-12.4137/0372).
Acções:
|
|
|
The physical universe : the interface between cosmology, astrophysics and particle physics /
Publicação:
Berlin; London : Springer-Verlag, 1991 , Proceedings of the XII Autumn School of Physics held at Lisbon, Portugal, 1-5 October, 1990 33
Holdings: IST - Biblioteca Central, IST-Consultar BC 1 (QB981.BAR.116), IST - Biblioteca do Complexo, IST-Bib Complexo (QB981.P.102280).
Acções:
|
|
|
The red book of varieties and schemes :
by Mumford, David
Publicação:
Berlin : Springer, 1999 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA564.MUM.51024).
Acções:
|
|
|
The rigged Hilbert space and quantum mechanics /
by Böhm, Arno,
Publicação:
Berlin : Springer, 1978 . 69 p 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA322.4.R..28470).
Acções:
|
|
|
The statistical analysis of recurrent events /
by Cook, Richard J.
Publicação:
New York : Springer, 2007 . xx, 403 p. : 25 cm
Holdings: IST - Biblioteca de Química, IST-Bib Química (QH323.5.COO.73375).
Acções:
|
|
|
The statistics of gene mapping /
by Siegmund, David O.
Publicação:
New York : Springer, 2007 33
Holdings: IST - Biblioteca de Química, IST-Bib Química (QH438.4.SIE.67345).
Acções:
|
|
|
The strength of nonstandard analysis /
Publicação:
New York : Springer Wien, 2007 . xx, 401 p. : 24 cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA299.82.S.67507), IST - Biblioteca do Complexo, IST-Bib Complexo (QA299.82.S.85671).
Acções:
|
|
|
The sun :
by Vita-Finzi, Claudio
Publicação:
[New York?] : Springer, 2008 . xii, 156 p. : 25 cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QB521.VIT.102819).
Acções:
|
|
|
The topology of 4-manifolds
by Kirby, Robion C.
Publicação:
Berlin Springer-Verlag 1989 . vi,108 p. 24cm
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA613.2.KIR.36978).
Acções:
|
|
|
The Vienna development method :
Publicação:
Springer, 1978 33
Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.7.V.104010).
Acções:
|
|
|
The waste market
Publicação:
Dordrecht Springer 2008 33
Holdings: IST - Biblioteca de Civil, IST-Bib Civil (TD789.E85 WAS CESUR).
Acções:
|
|
|
Theoretical computer science :
Publicação:
Berlin : Springer-Verlag, 1979 , English, French, or German | Includes index 33
Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA267.T.105068).
Acções:
|
|
|
Theory of a higher-order Sturm-Liouville equation /
by Kozlov, Vladimir
Publicação:
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).
Acções:
|
|
|
Theory of concentrated vortices :
by Alekseenko, S. V.
Publicação:
Berlin ; | New York : Springer, 2007 . xii, 488 p. : 24 cm.
Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica (21-12.2568/0590).
Acções:
|
|
|
Time Series Package (TSPACK) /
by Chaghaghi, François S.
Publicação:
Berlin : Springer, 1985 . [3],305p ; 25cm
Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica-CTAMFUL (18-03.1313/3493).
Acções:
|
|
|
Time-harmonic electromagnetic fields in chiral media /
by Lakhtakia, A
Publicação:
Berlin : Springer, 1989 . vii,121p ; 25cm
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (QC173LAK.40161).
Acções:
|
|
|
Tissue mechanics /
by Cowin, Stephen C.,
Publicação:
New York : Springer, 2007 . xvi, 682 p. : 26 cm
Holdings: IST - Biblioteca Central, IST-Biblioteca Central (QH513.COW.67487), IST - Biblioteca de Química, IST-Bib Química (QP88.COW.114622).
Acções:
|
|