Listas > B-ON / Springer ebooks

| Select titles to:
10th international conference on automated deduction, Kaiserslautern, FRG, July 24-27, 1990 :   Publicação: Berlin : Springer, 1990 . xvi, 688 p. ; 25 cm Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.I.842.GIA). Acções:
1830-1930: a century of geometry :   Publicação: Berlin; London : Springer, 1992 33 Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA26.E.39602). Acções:
3-D shape estimation and image restoration : by Favaro, Paolo. Publicação: London : Springer, 2007 . xiv, 249 p. : 24 cm. Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC (07-06.1313/1331). Acções:
5th [International] Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /   Publicação: 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). Acções:
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 :   Publicação: 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). Acções:
8th international conference on automated deduction, Oxford, England, July 27 - August 1, 1986 :   Publicação: Berlin : Springer, 1986 . ix,708p ; 25cm Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.I.94954). Acções:
9th International Conference on Automated Deduction :   Publicação: 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). Acções:
A collection of test problems for constrained global optimization algorithms / by Floudas, Christodoulos A. Publicação: 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). Acções:
A comparative study of very large data bases / by Hill, Edward Publicação: Berlin : Springer, 1978 . x,140p : 25cm Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.HIL.103736). Acções:
A complex variable approach to the analysis of linear multivariable feedback systems / by Postlethwaite, Ian Publicação: New York : Springer-Verlag, 1979 . 177p 33 Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA402.3.POS.94861). Acções:
A concise course on stochastic partial differential equations / by Prévôt, Claudia Publicação: New York : Springer, 2007 . vi, 144p. ; 24cm. Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA274.23.PRE.67931). Acções:
A concurrent Pascal compiler for minicomputers / by Hartmann, Alfred C Publicação: Berlin : Springer-Verlag, 1977 . 119 p. 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.6.HAR.103948). Acções:
A connotational theory of program structure / by Royer, James S. Publicação: Berlin : Springer, 1987 . [5],186p ; 25cm Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.6.ROY.95028). Acções:
A course in H [infinity] control theory / by Francis, Bruce A Publicação: 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). Acções:
A formal model of visualization in computer graphics systems / by Onodera, Tamiya Publicação: Berlin : Springer, 1990 . x,100p ; 25cm Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (T385.ONO.95250). Acções:
A linear systems primer / by Antsaklis, Panos J. Publicação: Boston, Mass. : | London : Birkhèauser ; | Springer [distributor], 2007 . xvi, 517 p. : 24 cm. Holdings: IST - Biblioteca Central, IST-Biblioteca Central (QA402.ANT.3608.ISR). Acções:
A methodology for uncertainty in knowledge-based systems / by Weichselberger, Kurt Publicação: Berlin : Springer, 1990 . 132 p. ; 25cm Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.76.WEI.93231). Acções:
A portrait of state-of-the art research at the Technical University of Lisbon /   Publicação: 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). Acções:
A primer in density functional theory /   Publicação: Berlin ; | New York : Springer, 2003 . xii, 256 p. : 24 cm. Holdings: IST - Biblioteca Central, IST-Consultar BC 2 (Qc20.7.P.1557). Acções:
A primer of ecology with R / by Stevens, M. Henry H. Publicação: New York : Springer, 2009 . XVI, 401 p. ; 23 cm Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica (14-13.1937.0801). Acções:
A real variable method for the Cauchy transform, and analytic capacity / by Murai, Takafumi Publicação: Berlin : Springer, 1988 . vi, 133p ; 25 cm Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA331.7.MUR.36143). Acções:
A review of Ada tasking / by Burns, Alan, Publicação: Berlin : Springer-Verlag, 1987 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.73.BUR.95001). Acções:
A systematic catalogue of reusable abstract data types / by Uhl, Jürgen Publicação: Berlin : Springer, 1990 . xii, 344 p 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.UHL.95317). Acções:
Abel integral equations : by Gorenflo, Rudolf Publicação: Berlin : Springer-Verlag, 1991 33 Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA431.GOR.39631). Acções:
Abstract non-linear wave equations / by Reed, Michael, Publicação: Berlin : Springer, 1976 . vi,128p 33 Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QC174.26.REE.5054). Acções:
Accélération de la convergence en analyse numérique / by Brezinski, C. Publicação: 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). Acções:
Accurate scientific computations :   Publicação: Berlin : Springer, 1986 . x,205p ; 25cm Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QA76.95.A.94959). Acções:
Acoustic surface waves /   Publicação: New York : Springer-Verlag, 1978 . x,331p 33 Holdings: IST - Biblioteca do Complexo, IST-Bib Complexo (QC176.8.A.29092). Acções:
Adaptive systems with reduced models / by Ioannou, P. A, Publicação: Berlin : Springer-Verlag, 1983 33 Holdings: IST - Biblioteca de Civil, IST-Bib Civil (TJ217.IOA.98883). Acções:
Advanced Information Systems Engineering :   Publicação: Berlin : Springer-Verlag, 1990 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.758.A.95267). Acções:
Advanced programming environments :   Publicação: Berlin : Springer, 1986 . vii, 604 p 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.6.A.94968). Acções:
Advanced robust and nonparametric methods in efficiency analysis : by Daraio, Cinzia Publicação: 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). Acções:
Advanced strategies in control systems with input and output constraints /   Publicação: New York : Springer, 2006 33 Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC (07-06.6895/1273). Acções:
Advanced topics in artificial intelligence :   Publicação: 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). Acções:
Advances in biochemical engineering   Publicação: New York Springer-Verlag 1972 . 215 p. 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96792). Acções:
Advances in biochemical engineering   Publicação: Berlin Springer 1978 . viii,177p 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96848). Acções:
Advances in biochemical engineering   Publicação: Berlin Springer-Verlag 1982 . 178 p 25cm Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96856). Acções:
Advances in biochemical engineering   Publicação: Berlin Springer-Verlag 1974 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96026). Acções:
Advances in biochemical engineering by Fiechter, A. Publicação: 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96846). Acções:
Advances in biochemical engineering   Publicação: Berlin Springer-Verlag 1971 . 194p 24cm Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96790). Acções:
Advances in biochemical engineering   Publicação: New York Springer-Verlag 1971 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96849). Acções:
Advances in biochemical engineering   Publicação: [s.n.] Springer Verlag , Continued by: Advances in biochemical engineering/biotechnology 33 Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96847). Acções:
Advances in biochemical engineering/biotechnology   Publicação: Berlin Springer-Verlag 1984 . 150 p. 25cm Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96859). Acções:
Advances in biochemical engineering/biotechnology   Publicação: Berlin Springer 1985 . [8],140 p. 25cm Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96860). Acções:
Advances in biochemical engineering/Biotechnology   Publicação: Berlin Springer-Verlag 1992 . 200p. 25 cm Holdings: IST - Biblioteca de Química, IST-Bib Química (QH345.A.96863). Acções:
Advances in control theory and applications /   Publicação: New York : Springer, 2007 33 Holdings: IST - Biblioteca de Mecânica, IST-Bib Mecanica-IDMEC (07-06.6895/1340). Acções:
Advances in cryptology - AUSCRYPT '90 :   Publicação: Berlin : Springer, 1990 . ix, 462 p , Sponsored by the International Association for Cryptologic Research and others 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.A.95311). Acções:
Advances in cryptology - Eurocrypt '89 :   Publicação: Berlin : Springer-Verlag, 1990 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.A.95265). Acções:
Advances in cryptology :   Publicação: Berlin : Springer, 1990 . xi,591p ; , "CRYPTO '88, a Conference on the Theory and Applications of Cryptography held at the University of California, Santa Barbara August 21-25,1988 through the cooperation of the Computer Science Department ; 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.95228). Acções:
Advances in cryptology :   Publicação: Berlin : Springer-Verlag, 1990 . xiii, 634 p , Conference held Aug. 20-24, 1989 at the University of California, Santa Barbara. 33 Holdings: IST - Biblioteca de Elect.Comp. e Inf., IST-Bib Electricidade (QA76.9.A.95266). Acções:
 <<  <  1  2  3  ...  13    >>

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: