Your search returned 37 results.

Sort
Results
1.
Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. 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.76.V47 F57 2007.

2.
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Series: Lecture Notes in Computer Science ; 4834
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.M54 C47 2007.

3.
Large-Scale Scientific Computing [electronic resource] : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 3743
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: Q183.9 L57 2006.

4.
5.
6.
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 4818
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 L57 2008.

7.
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski. by Series: Lecture Notes in Computer Science ; 4228
Edition: 1a ed.
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.6 L54 2006.

8.
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino. by Series: Lecture Notes in Computer Science ; 3544
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.D5 H54 2005.

9.
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi. by Series: Lecture Notes in Computer Science ; 4119
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 D66 2006.

10.
11.
Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings / edited by Alan Dearle, Susan Eisenbach. by Series: Lecture Notes in Computer Science ; 3798
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.76.C66D43 2005.

12.
Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / edited by Robert Hirschfeld, Kim Rose. by Series: Lecture Notes in Computer Science ; 5146
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S54 H57 2008.

13.
Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi. by Series: Lecture Notes in Computer Science ; 3780
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.7 Y5 2005.

14.
Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings / edited by Jürgen Schönwälder, Joan Serrat. by Series: Lecture Notes in Computer Science ; 3775
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.D5 S36 2005.

15.
16.
17.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. by Series: Lecture Notes in Computer Science ; 4942
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.58 F73 2008.

18.
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. by Series: Lecture Notes in Computer Science ; 4157
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.F38 B88 2006.

19.
Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / edited by Valérie Issarny, Richard Schantz. by Series: Lecture Notes in Computer Science ; 5346
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.M54 I87 2008.

20.
Pages

Powered by Koha