Your search returned 907 results.

Sort
Results
261.
262.
263.
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.

264.
265.
Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Series: Lecture Notes in Computer Science ; 4728
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 B69 2007 .

266.
Software Engineering Techniques: Design for Quality [electronic resource] / edited by Krzysztof Sacha. by Series: IFIP International Federation for Information Processing ; 227
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 S64 2007.

267.
268.
Data and Applications Security XIX [electronic resource] : 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings / edited by Sushil Jajodia, Duminda Wijesekera. by Series: Lecture Notes in Computer Science ; 3654
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.D314 J35 2005.

269.
Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Series: Lecture Notes in Computer Science ; 4470
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.D47 W36 2007.

270.
Web Component Development with Zope 3 [electronic resource] / by Philipp Weitershausen. by
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.8885.Z65 W45 2005.

271.
272.
Practical Software Factories in .NET [electronic resource] / by Gunther Lenz, Christoph Wienands. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Gunther Lenz, Christoph Wienands, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 L46 2006.

273.
274.
275.
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.

276.
TestGoal [electronic resource] : Result-Driven Testing / by Derk-Jan De Grood. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.T48 D44 2008.

277.
278.
279.
Biometric Systems [electronic resource] : Technology, Design and Performance Evaluation / edited by James Wayman, Anil Jain, Davide Maltoni, Dario Maio. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7882.B56 B58 2005.

280.
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl. by
Edition: Third edition
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: TJ211.415 B73 2008.

Pages

Powered by Koha