Your search returned 567 results.

Sort
Results
181.
Ordinal Optimization [electronic resource] : Soft Optimization for Hard Problems / by Yu-Chi Ho, Qian-Chuan Zhao, Qing-Shan Jia. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 H6 2007.

182.
M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Series: Advances in Mathematics ; 10
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA564 K67 2006.

183.
Computational Electromagnetics [electronic resource] / by Anders Bondeson, Thomas Rylander, Pär Ingelström. by Series: Texts in Applied Mathematics ; 51
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC760.54 B66 2005.

184.
High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller. by Series: Lecture Notes in Computer Science ; 4208
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 G47 2006.

185.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Series: Studies in Universal Logic
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 D53 2008 .

186.
Computational Probability [electronic resource] : Algorithms and Applications in the Mathematical Sciences / by John H. Drew, Diane L. Evans, Andrew G. Glen, Lawrence M. Leemis. by Series: In Operations Research & Management Science ; 117
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA273.19.E4 D74 2008.

187.
Advances in Cryptology – ASIACRYPT 2006 [electronic resource] : 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings / edited by Xuejia Lai, Kefei Chen. by Series: Lecture Notes in Computer Science ; 4284
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 L35 2006.

188.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Series: Springer Monographs in Mathematics
Edition: Second Revised and Enlarged Edition 1999.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 E23 2006.

189.
Computational Turbulent Incompressible Flow [electronic resource] : Applied Mathematics: Body and Soul 4 / by Johan Hoffman, Claes Johnson. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA11.2 H64 2007.

190.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg. by Series: Lecture Notes in Computer Science ; 4337
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 A78 2006.

191.
Shape-Preserving Approximation by Real and Complex Polynomials [electronic resource] / by Sorin G. Gal. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA221 G35 2'008.

192.
193.
Russia’s Cosmonauts [electronic resource] : Inside the Yuri Gagarin Training Center / by Rex D. Hall, David J. Shayler, Bert Vis. by Series: Springer Praxis Books
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : PraxisPublishing Ltd., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TL789.8.R9 H35 2005.

194.
Group-based Cryptography [electronic resource] / by Alexei Myasnikov, Alexander Ushakov, Vladimir Shpilrain. by Series: Advanced Courses in Mathematics - CRM Barcelona, Centre de Recerca Matemàtica
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Basel, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA182.5 M93 2008.

195.
196.
Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers / edited by Øyvind Ytrehus. by Series: Lecture Notes in Computer Science ; 3969
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 Y77 2006.

197.
198.
199.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Series: Lecture Notes in Computer Science ; 3763
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA448.D38 H66 2006.

200.
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming [electronic resource] / by Ivo Nowak. by Series: International Series of Numerical Mathematics ; 152
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T57.817 N69 2005.

Pages

Powered by Koha