Your search returned 7 results.

Sort
Results
1.
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Series: Lecture Notes in Computer Science ; 3875
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 U7 2006.

2.
High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / edited by Hong Mei. by Series: Lecture Notes in Computer Science ; 5030
Edition: 1a ed.
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.76.R47 M45 2008.

3.
Embedded Systems Specification and Design Languages [electronic resource] : Selected contributions from FDL’07 / edited by Eugenio Villar. by Series: Lecture Notes in Electrical Engineering ; 10
Edition: 1a ed.
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: TK7885.7 V55 2008.

4.
Intelligent Virtual Agents [electronic resource] : 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings / edited by Helmut Prendinger, James Lester, Mitsuru Ishizuka. by Series: Lecture Notes in Computer Science ; 5208
Edition: 1a ed.
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.76.I58 P74 2008.

5.
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Series: Lecture Notes in Computer Science ; 4383
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.V47 B56 2007.

6.
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav. by Series: Lecture Notes in Computer Science ; 4899
Edition: 1a ed.
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.76.V47 y67 2008.

7.
Rational, Robust, and Secure Negotiations in Multi-Agent Systems [electronic resource] / edited by Takayuki Ito, Hiromitsu Hattori, Minjie Zhang, Tokuro Matsuo. by Series: Studies in Computational Intelligence ; 89
Edition: 1a ed.
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.76.I58 I86 2008.

Pages

Powered by Koha