Your search returned 567 results.

Sort
Results
461.
462.
Generalized Curvatures [electronic resource] / by Jean-Marie Morvan. by Series: Geometry and Computing ; 2
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA639.5 M67 2008 .

463.
Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings / edited by Myung-Soo Kim, Kenji Shimada. by Series: Lecture Notes in Computer Science ; 4077
Edition: 1a. ed.
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: TA174 K56 2006.

464.
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 .

465.
466.
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.

467.
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.

468.
469.
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.

470.
471.
Evolutionary Computation in Dynamic and Uncertain Environments [electronic resource] / edited by Shengxiang Yang, Yew-Soon Ong, Yaochu Jin. by Series: Studies in Computational Intelligence ; 51
Edition: 1a ed.
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: QA76.87 Y36 2007.

472.
High Performance Computing in Science and Engineering’ 04 [electronic resource] : Transactions of the High Performance Computing Center Stuttgart (HLRS) 2004 / edited by Egon Krause, Willi Jäger, Michael Resch. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 K73 2005.

473.
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner. by Series: Lecture Notes in Computer Science ; 4932
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 H37 2008.

474.
Regulatory Genomics [electronic resource] : RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers / edited by Eleazar Eskin, Christopher Workman. by Series: Lecture Notes in Computer Science ; 3318
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH450 E85 2005.

475.
Real-Time Applications with Stochastic Task Execution Times [electronic resource] : Analysis and Optimisation / by Sorin Manolache, Petru Eles, Zebo Peng. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK895.E42 M36 2007.

476.
Computational Genome Analysis [electronic resource] : An Introduction / by Richard C. Deonier, Michael S. Waterman, Simon Tavaré. by
Edition: 1a ed.
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: QH438.4.M33 D46 2005.

477.
478.
Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings / edited by Ralph Martin, Helmut Bez, Malcolm Sabin. by Series: Lecture Notes in Computer Science ; 3604
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA571 M37 2005.

479.
Computational Methods [electronic resource] / edited by G.R. LIU, V.B.C. TAN, X. HAN. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 L58 2006.

480.
Genes on the Menu [electronic resource] : Facts for Knowledge-Based Decisions / by Paul Michael Pechan, Gert E. Vries. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TP248.65.F66 P43 2005 .

Pages

Powered by Koha