Your search returned 367 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
Exploring C for Microcontrollers [electronic resource] : A Hands on Approach / by Jivan S. Parab, Vinod G. Shelake, Rajanish K. Kamat, Gourish M. Naik. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 P37 2007.

Place hold Add to cart
342.
343.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Series: Texts in Theoretical Computer Science an EATCS Series
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.758 B56 2006.

Place hold Add to cart
344.
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter. by Series: Lecture Notes in Computer Science ; 4954
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.76.C66 P38 2008.

Place hold Add to cart
345.
Pro PHP-GTK [electronic resource] / by Scott Mattocks. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Scott Mattocks, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P47 M38 2006.

Place hold Add to cart
346.
The Agent Modeling Language - AML [electronic resource] : A Comprehensive Approach to Modeling Multi-Agent Systems / by Radovan Cervenka, Ivan Trencansky. by Series: Whitestein Series in Software Agent Technologies and Autonomic Computing
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 C47 2007.

Place hold Add to cart
347.
Java™ 6 Platform Revealed [electronic resource] / by John Zukowski. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : John Zukowski, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 B33 2006.

Place hold Add to cart
348.
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss. by Series: Lecture Notes in Computer Science ; 4327
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 B35 2006.

Place hold Add to cart
349.
Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Series: Lecture Notes in Computer Science ; 3676
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 G58 2005.

Place hold Add to cart
350.
Advanced .NET Remoting [electronic resource] / by Ingo Rammer, Mario Szpuszta. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Ingo Rammer and Mario Szpuszta, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.625 R36 2005.

Place hold Add to cart
351.
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Series: Lecture Notes in Computer Science ; 5133
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.6 A93 2008.

Place hold Add to cart
352.
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Series: Lecture Notes in Computer Science ; 4260
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.9.F67 L58 2006.

Place hold Add to cart
353.
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Series: Lecture Notes in Computer Science ; 4533
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: QA267 B33 2007.

Place hold Add to cart
354.
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 .M56 2006.

Place hold Add to cart
355.
Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt. by Series: Lecture Notes in Computer Science ; 4089
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.76.C66 L69 2006.

Place hold Add to cart
356.
Pro Perl Parsing [electronic resource] / by Christopher M. Frenz. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Christopher M. Frenz, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P47 F74 2005.

Place hold Add to cart
357.
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 M56 2007 .

Place hold Add to cart
358.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 E42 2006.

Place hold Add to cart
359.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by Series: Monographs in Computer Science
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: TA340 M43 2005.

Place hold Add to cart
360.
Introduction to C++ Programming and Graphics [electronic resource] / by Constantine Pozrikidis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C15 P69 2007.

Place hold Add to cart
Pages

Powered by Koha