Refine your search

Your search returned 525 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
122.
Reconfigurable Computing [electronic resource] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A3 G65 2005.

Place hold Add to cart
123.
Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. by Series: Applied Logic Series ; 33
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: B53 T45 2005.

Place hold Add to cart
124.
Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Series: Lecture Notes in Computer Science ; 4770
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: QA155.7.E4 G36 2007.

Place hold Add to cart
125.
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio. by Series: Lecture Notes in Computer Science ; 4428
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.V47 E34 2007 .

Place hold Add to cart
126.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. by Series: Lecture Notes in Computer Science ; 3702
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.A96 B43 2005.

Place hold Add to cart
127.
128.
129.
130.
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Series: Lecture Notes in Computer Science ; 4467
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.58 M87 2007.

Place hold Add to cart
131.
Beginning Ruby on Rails E-Commerce [electronic resource] : From Novice to Professional / by Christian Hellsten, Jarkko Laine. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Christian Hellsten and Jarkko Laine, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 H45 2007.

Place hold Add to cart
132.
Foundations of C++/CLI [electronic resource] : The Visual C++ Language for .NET 3.5 / by Gordon Hogenson. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C153 H64 2008.

Place hold Add to cart
133.
Beginning JSP, JSF, and Tomcat Web Development [electronic resource] : From Novice to Professional / by Giulio Zambon, Michael Sekler. by
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: QA76.73.J38 Z36 2007.

Place hold Add to cart
134.
Beginning ASP.NET 2.0 E-Commerce in C# 2005 [electronic resource] : From Novice to Professional / by Cristian Darie, Karli Watson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Cristian Darie and Karli Watson, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 D37 2006.

Place hold Add to cart
135.
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck. by Series: Lecture Notes in Computer Science ; 2470
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 H46 2006.

Place hold Add to cart
136.
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle. by Series: Lecture Notes in Computer Science ; 3573
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.63 E83 2005.

Place hold Add to cart
137.
The Essential Guide to Dreamweaver CS3 with CSS, Ajax, and PHP [electronic resource] / by David Powers. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : David Powers, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.D74 P69 2007.

Place hold Add to cart
138.
Pro C# 2008 and the .NET 3.5 Platform [electronic resource] / by Andrew Troelsen. by
Edition: Fourth 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: QA76.73.C154 T76 2007.

Place hold Add to cart
139.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä. by Series: Lecture Notes in Computer Science ; 4670
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: QA76.63 D34 2007.

Place hold Add to cart
140.
Silverlight and ASP.NET Revealed [electronic resource] / by Matthew MacDonald. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.575 M33 2007.

Place hold Add to cart
Pages

Powered by Koha