Your search returned 3732 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2161.
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings / edited by Pascal Hentenryck. by Series: Lecture Notes in Computer Science ; 3819
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.7 H46 2006.

Place hold Add to cart
2162.
The Mathematica GuideBook for Symbolics [electronic resource] / by Michael Trott. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.95 T76 2006.

Place hold Add to cart
2163.
Computer Applications in Sustainable Forest Management [electronic resource] : Including Perspectives on Collaboration and Integration / edited by Guofan Shao, Keith M. Reynolds. by
Edition: 1a ed.
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: SD387.S87 S53 2006.

Place hold Add to cart
2164.
Function Algebras on Finite Sets [electronic resource] : A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau. by Series: Springer Monographs in Mathematics
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.45 L38 2006.

Place hold Add to cart
2165.
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 V47 B46 2008.

Place hold Add to cart
2166.
Service-Oriented Computing – ICSOC 2007 [electronic resource] : Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan. by Series: Lecture Notes in Computer Science ; 4749
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.D5 K73 2007.

Place hold Add to cart
2167.
2168.
Expert C# 2005 Business Objects [electronic resource] / by Rockford Lhotka. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Rockford Lhotka, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C154 L46 2006.

Place hold Add to cart
2169.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings / edited by Günther R. Raidl, Jens Gottlieb. by Series: Lecture Notes in Computer Science ; 3448
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: QA76.87 R35 2005.

Place hold Add to cart
2170.
Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / edited by Sébastien Tixeuil, Ted Herman. by Series: Lecture Notes in Computer Science ; 3764
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.S54 T59 2005.

Place hold Add to cart
2171.
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas. by Series: Lecture Notes in Computer Science ; 4067
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.64 T46 2006.

Place hold Add to cart
2172.
Beginning Game Development with Python and Pygame [electronic resource] : From Novice to Professional / by Will McGugan. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Will McGugan, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C672 M34 2007.

Place hold Add to cart
2173.
2174.
Beginning DB2 [electronic resource] : From Novice to Professional / by Grant Allen. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Apress, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 A55 2008.

Place hold Add to cart
2175.
2176.
Active Directory Field Guide [electronic resource] / by Laura E. Hunter. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Laura E. Hunter, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.595 H86 2005.

Place hold Add to cart
2177.
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [electronic resource] / edited by Denis Besnard, Cristina Gacek, Cliff B. Jones. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 S77 2006.

Place hold Add to cart
2178.
2179.
Mathematical Modeling, Simulation, Visualization and e-Learning [electronic resource] / edited by Dialla Konaté. by
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: QA401 K66 2008.

Place hold Add to cart
2180.
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Series: Lecture Notes in Computer Science ; 3530
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.73.S35 P75 2005.

Place hold Add to cart
Pages

Powered by Koha