Your search returned 647 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 5110
Edition: 1a ed.
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: QA9.A1 H63 2008.

Place hold Add to cart
182.
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang. by Series: Lecture Notes in Computer Science ; 5165
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: QA402.5 Y36 2008.

Place hold Add to cart
183.
Spectral Methods [electronic resource] : Evolution to Complex Geometries and Applications to Fluid Dynamics / by Claudio Canuto, Alfio Quarteroni, M. Yousuff Hussaini, Thomas A. Zang. by Series: Scientific Computation
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA320 C36 2007.

Place hold Add to cart
184.
Geometric Modelling, Numerical Simulation, and Optimization [electronic resource] : Applied Mathematics at SINTEF / edited by Geir Hasle, Knut-Andreas Lie, Ewald Quak. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA297 H37 2007.

Place hold Add to cart
185.
Measure Theory and Probability Theory [electronic resource] / by Krishna B. Athreya, Soumendra N. Lahiri. by Series: Springer Texts in Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA312 A84 2006.

Place hold Add to cart
186.
Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings / edited by Catherine C. McGeoch. by Series: Lecture Notes in Computer Science ; 5038
Edition: 1a ed.
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: QA76.9.A43 M34 2008.

Place hold Add to cart
187.
188.
189.
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.M35 M35 2008.

Place hold Add to cart
190.
191.
High Performance Computing in Science and Engineering, Garching 2004 [electronic resource] : Transactions of the KONWIHR Result Workshop, October 14–15, 2004, Technical University of Munich, Garching, Germany / edited by Arndt Bode, Franz Durst. 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 B63 2005.

Place hold Add to cart
192.
193.
Brain Dynamics [electronic resource] : Synchronization and Activity Patterns in Pulse-Coupled Neural Nets with Delays and Noise / by Hermann Haken. by Series: Springer Series in Synergetics
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QP363.3 H35 2007.

Place hold Add to cart
194.
Spectral Methods [electronic resource] : Fundamentals in Single Domains / by Claudio Canuto, M. Youssuff Hussaini, Alfio Quarteroni, Thomas A. Zang. by Series: Scientific Computation
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA320 C36 2006.

Place hold Add to cart
195.
196.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers / edited by Yasuhito Kawano, Michele Mosca. by Series: Lecture Notes in Computer Science ; 5106
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: QA76.889 K39 2008.

Place hold Add to cart
197.
Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference Cambridge, MA, USA, May 27–29, 2002 Proceedings / edited by William J. Cook, Andreas S. Schulz. by Series: Lecture Notes in Computer Science ; 2337
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: T57.74 C66 2006.

Place hold Add to cart
198.
Computers and Games [electronic resource] : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / edited by H. Jaap Herik, Xinhe Xu, Zongmin Ma, Mark H. M. Winands. by Series: Lecture Notes in Computer Science ; 5131
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: GV1469.15 H47 2008.

Place hold Add to cart
199.
Convergence and Applications of Newton-type Iterations [electronic resource] / by Ioannis K. Argyros. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA297.8 A73 2008.

Place hold Add to cart
200.
Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings / edited by Franco P. Preparata, Qizhi Fang. by Series: Lecture Notes in Computer Science ; 4613
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 P74 2007.

Place hold Add to cart
Pages

Powered by Koha