Results
|
421.
|
|
|
422.
|
|
|
423.
|
|
|
424.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4171
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
425.
|
|
|
426.
|
|
|
427.
|
|
|
428.
|
|
|
429.
|
|
|
430.
|
|
|
431.
|
|
|
432.
|
|
|
433.
|
|
|
434.
|
Languages and Compilers for Parallel Computing [electronic resource] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / edited by Vikram Adve, María Jesús Garzarán, Paul Petersen. by Series: Lecture Notes in Computer Science ; 5234
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 A38 2008.
|
|
435.
|
|
|
436.
|
|
|
437.
|
|
|
438.
|
|
|
439.
|
Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / edited by Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao. by Series: Lecture Notes in Computer Science ; 4193
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 R86 2006.
|
|
440.
|
|