Your search returned 174 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings. by Series: Lecture Notes in Computer Science ; 3555
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.76.R44 V37 2005.

Place hold Add to cart
122.
123.
124.
Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. by Series: Lecture Notes in Computer Science ; 3472
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.76.T48 B76 2005.

Place hold Add to cart
125.
Pro Apache Tomcat 6 [electronic resource] / by Matthew Moodie ; edited by Kunal Mittal. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Matthew Moodie, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M66 2007.

Place hold Add to cart
126.
127.
Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch. by Series: Whitestein Series in Software Agent Technologies
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 U55 2005.

Place hold Add to cart
128.
129.
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / edited by Naoki Kobayashi. by Series: Lecture Notes in Computer Science ; 4279
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 K63 2006.

Place hold Add to cart
130.
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Series: Lecture Notes in Computer Science ; 4085
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.D47 M57 2006.

Place hold Add to cart
131.
132.
Implementing Distributed Systems with Java and CORBA [electronic resource] / by Markus Aleksy, Axel Korthaus, Martin Schader. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin · Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 A44 2005 .

Place hold Add to cart
133.
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
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.76.C66 S34 2007.

Place hold Add to cart
134.
135.
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Series: Lecture Notes in Computer Science ; 4951
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.758 L83 2008.

Place hold Add to cart
136.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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 P45 2005.

Place hold Add to cart
137.
138.
Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by Marc Boulé, Zeljko Zilic. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 B68 2008.

Place hold Add to cart
139.
Early Aspects: Current Challenges and Future Directions [electronic resource] : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Series: Lecture Notes in Computer Science ; 4765
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.64 M67 2007.

Place hold Add to cart
140.
Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings / edited by Gustavo Alonso. by Series: Lecture Notes in Computer Science ; 3790
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.76.M54 A46 2005.

Place hold Add to cart
Pages

Powered by Koha