Your search returned 309 results.

Sort
Results
101.
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.

102.
Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3758
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.58 P36 2005.

103.
The Testing Network [electronic resource] : An Integral Approach to Test Activities in Large Software Projects / by Pierre Henry. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

104.
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.

105.
The Developer’s Guide to Debugging [electronic resource] / by Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D43 G76 2008.

106.
Peer-to-Peer Systems III [electronic resource] : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers / edited by Geoffrey M. Voelker, Scott Shenker. by Series: Lecture Notes in Computer Science ; 3279
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.525 V64 2005.

107.
High Performance Computing - HiPC 2004 [electronic resource] : 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings / edited by Luc Bougé, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 3296
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.88 B68 2005.

108.
109.
Advances in Grid and Pervasive Computing [electronic resource] : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings / edited by Song Wu, Laurence T. Yang, Tony Li Xu. by Series: Lecture Notes in Computer Science ; 5036
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.9.C58 W8 2008.

110.
111.
Expert Spring MVC and Web Flow [electronic resource] / by Seth Ladd, Darren Davison, Steven Devijver, Colin Yates. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Seth Ladd, Darren Davison, Steven Devijver, and Colin Yates, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 L33 2006.

112.
High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller. by Series: Lecture Notes in Computer Science ; 4208
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.88 G47 2006.

113.
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.

114.
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.

115.
116.
117.
Guide to Advanced Empirical Software Engineering [electronic resource] / edited by Forrest Shull, Janice Singer, Dag I. K. Sjøberg. by
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 S48 2008.

118.
119.
120.
Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Series: Lecture Notes in Computer Science ; 4750
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: Q183.9 G38 2008.

Pages

Powered by Koha