Results
|
1701.
|
|
|
1702.
|
|
|
1703.
|
|
|
1704.
|
Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings / edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko. by Series: Lecture Notes in Computer Science ; 3964
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: TK5101.A1 U93 2006.
|
|
1705.
|
|
|
1706.
|
|
|
1707.
|
|
|
1708.
|
|
|
1709.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 4905
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
1710.
|
|
|
1711.
|
|
|
1712.
|
|
|
1713.
|
|
|
1714.
|
|
|
1715.
|
Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores. by Series: Lecture Notes in Computer Science ; 3859
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.76.I58 D54 2006.
|
|
1716.
|
|
|
1717.
|
|
|
1718.
|
|
|
1719.
|
|
|
1720.
|
|