Results
|
|
1.
|
|
|
|
|
2.
|
|
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; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 U7 2006.
|
|
|
3.
|
|
|
|
|
4.
|
|
|
|
|
5.
|
|
|
|
|
6.
|
|
Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31–August 1, 2005, Revised Selected Papers / edited by Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake. by Series: Lecture Notes in Computer Science ; 3946
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q295 R68 2006.
|
|
|
7.
|
|
|
|
|
8.
|
|
|
|
|
9.
|
|
|
|
|
10.
|
|
Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson. by Series: Lecture Notes in Computer Science ; 4940
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.H85 G85 2008 .
|
|
|
11.
|
|
|
|
|
12.
|
|
|
|
|
13.
|
|
|
|
|
14.
|
|
|
|
|
15.
|
|
|
|
|
16.
|
|
|
|
|
17.
|
|
|
|
|
18.
|
|
|
|
|
19.
|
|
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31– June 1, 2007. Proceedings / edited by Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain. by Series: Lecture Notes in Computer Science ; 4496
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 N48 2007.
|
|
|
20.
|
|
|