Your search returned 3731 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1721.
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Series: Lecture Notes in Computer Science ; 3927
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.38 H47 2006.

Place hold Add to cart
1722.
Parallel Algorithms and Cluster Computing [electronic resource] : Implementations, Algorithms and Applications / edited by Karl Heinz Hoffmann, Arnd Meyer. by Series: Lecture Notes in Computational Science and Engineering ; 52
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 H64 2006.

Place hold Add to cart
1723.
Event-Based Programming [electronic resource] : Taking Events to the Limit / by Ted Faison. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Ted Faison, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 F35 2006.

Place hold Add to cart
1724.
Security Protocols [electronic resource] : 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Series: Lecture Notes in Computer Science ; 3957
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 C75 2006.

Place hold Add to cart
1725.
1726.
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Series: Lecture Notes in Computer Science ; 4371
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.L63 I56 2007.

Place hold Add to cart
1727.
Scientific Computing with MATLAB and Octave [electronic resource] : Second Edition / by Alfio Quarteroni, Fausto Saleri. by Series: Texts in Computational Science and Engineering ; 2
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 Q83 2006.

Place hold Add to cart
1728.
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Series: Lecture Notes in Computer Science ; 4454
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.76.T48 G87 2007.

Place hold Add to cart
1729.
Passive and Active Network Measurement [electronic resource] : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings / edited by Constantinos Dovrolis. by Series: Lecture Notes in Computer Science ; 3431
Edition: 1a ed.
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: TK5105.5 D68 2005.

Place hold Add to cart
1730.
Database Theory - ICDT 2005 [electronic resource] : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings / edited by Thomas Eiter, Leonid Libkin. by Series: Lecture Notes in Computer Science ; 3363
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.9.D3 E38 2005 .

Place hold Add to cart
1731.
1732.
Pro ASP.NET 2.0 in VB 2005 [electronic resource] / edited by Laurence Moroney, Matthew MacDonald. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Laurence Moroney, Matthew MacDonald (Ed.), K. Scott Allen, James Avery, Russ Basiura, Mike Batongbacal, Marco Bellinaso, Matt Butler, Andreas Eide, Daniel Cazzulino, Michael Clark, Richard Conway, Robert Eisenberg, Brady Gaster, James Greenwood, Kevin Hoffman, Erik Johansson, Angelo Kastroulis, Dan Kent, Sitaraman Lakshminarayanan, Don Lee, Christopher Miller, Matt Milner, Jan Narkiewicz, Matt Odhner, Ryan O’Keefe, Andrew Reid, Matthew Reynolds, Enrico Sabbadin, Bill Sempf, Doug Seven, Srinivasa Sivkumar, Thiru Thangarathinam, Doug Thews, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 M67 2006.

Place hold Add to cart
1733.
Scientific Visualization: The Visual Extraction of Knowledge from Data [electronic resource] / edited by Georges-Pierre Bonneau, Thomas Ertl, Gregory M. Nielson. by Series: Mathematics and Visualization
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: Q175 B66 2006.

Place hold Add to cart
1734.
Hyperbolic Problems: Theory, Numerics, Applications [electronic resource] / edited by Sylvie Benzoni-Gavage, Denis Serre. by
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: QA377 B46 2008.

Place hold Add to cart
1735.
1736.
High-Resolution Methods for Incompressible and Low-Speed Flows [electronic resource] / by Dimitris Drikakis, William Rider. by Series: Computational Fluid and Solid Mechanics
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: QA901 D75 2005.

Place hold Add to cart
1737.
Semantic Service Provisioning [electronic resource] / edited by Dominik Kuropka, Steffen Staab, Peter Tröger, Mathias Weske. by
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.9.D5 K87 2008.

Place hold Add to cart
1738.
Beginning ASP.NET 3.5 in VB 2008 [electronic resource] : From Novice to Professional / by Matthew MacDonald. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 M33 2007.

Place hold Add to cart
1739.
AI 2007: Advances in Artificial Intelligence [electronic resource] : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings / edited by Mehmet A. Orgun, John Thornton. by Series: Lecture Notes in Computer Science ; 4830
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: Q334 O74 2007.

Place hold Add to cart
1740.
Inference for Change Point and Post Change Means After a CUSUM Test [electronic resource] / by Yanhong Wu. by Series: Lecture Notes in Statistics ; 180
Material type: Computer file Computer file; Format: electronic available online remote
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: QA276 W82 2005.

Place hold Add to cart
Pages

Powered by Koha