Your search returned 367 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 4143
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 L36 2006.

Place hold Add to cart
102.
Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta. by Series: Lecture Notes in Computer Science ; 3668
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 G33 2005.

Place hold Add to cart
103.
104.
XNA 2.0 Game Programming Recipes [electronic resource] : A Problem-Solution Approach / by Riemer Grootjans. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Riemer Grootjans, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76C672 G76 2008.

Place hold Add to cart
105.
An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote. by Series: Texts in Computer Science
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 J35 2005.

Place hold Add to cart
106.
Pro SQL Server 2005 Assemblies [electronic resource] / by Robin Dewson, Julian Skinner. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Robin Dewson and Julian Skinner, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.S67 D49 2006.

Place hold Add to cart
107.
Accelerated VB 2008 [electronic resource] / by Guy Fouché, Trey Nash. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Guy Fouché and Trey Nash, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.M53 F68 2008.

Place hold Add to cart
108.
Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 5156
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.V47 H38 2008.

Place hold Add to cart
109.
Pro EJB 3 [electronic resource] : Java Persistence API / by Mike Keith, Merrick Schincariol. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Mike Keith and Merrick Schincariol, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 K45 2006.

Place hold Add to cart
110.
111.
Beginning J2ME: From Novice to Professional [electronic resource] / by Sing Li, Jonathan Knudsen. by
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Sing Li and Jonathan Knudsen, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 L5 2005.

Place hold Add to cart
112.
113.
Object-Oriented Programming Languages: Interpretation [electronic resource] / by Iain D. Craig. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 C73 2007.

Place hold Add to cart
114.
115.
Pro Apache Struts with Ajax [electronic resource] / by John Carnell, Rob Harrop ; edited by Kunal Mittal. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : John Carnell, Rob Harrop, Kunal Mittal, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885 A63 C36 2007.

Place hold Add to cart
116.
117.
Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust. by Series: Lecture Notes in Computer Science ; 3456
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.54 R87 2005.

Place hold Add to cart
118.
Pro PHP [electronic resource] : Patterns, Frameworks, Testing and More / by Kevin McArthur. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Kevin McArthur, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P224 M33 2008.

Place hold Add to cart
119.
Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari. by Series: Lecture Notes in Computer Science ; 3925
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.76.V47 V35 2006.

Place hold Add to cart
120.
Foundations of Java for ABAP Programmers [electronic resource] / by Alistair Rooney. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Alistair Rooney, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 R66 2006.

Place hold Add to cart
Pages

Powered by Koha