Your search returned 352 results.

Sort
Results
161.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Series: Lecture Notes in Computer Science ; 5215
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

162.
163.
164.
Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by Nigel Thomas, Carlos Juiz. by Series: Lecture Notes in Computer Science ; 5261
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

165.
166.
167.
168.
169.
170.
Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker. by Series: Lecture Notes in Computer Science ; 5289
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

171.
Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Kaeli, Kai Sachs. by Series: Lecture Notes in Computer Science ; 5419
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

172.
173.
174.
175.
Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings / edited by Sue B. Moon, Renata Teixeira, Steve Uhlig. by Series: Lecture Notes in Computer Science ; 5448
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

176.
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. by Series: Lecture Notes in Computer Science ; 5387
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

177.
178.
179.
HPC@Green IT [electronic resource] : Green High Performance Computing Methods / by Ralf Gruber, Vincent Keller. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

180.
Reliable Software Technologies – Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec. by Series: Lecture Notes in Computer Science ; 5570
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Pages

Maintained by VTU Library