Results
1421.
1422.
1423.
1424.
1425.
1426.
1427.
1428.
1429.
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
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1430.
1431.
1432.
1433.
1434.
1435.
1436.
Multimodal Technologies for Perception of Humans [electronic resource] : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers / edited by Rainer Stiefelhagen, Rachel Bowers, Jonathan Fiscus. by Series: Lecture Notes in Computer Science ; 4625
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1437.
1438.
1439.
1440.
Service-oriented computing [electronic resource] : agents, semantics, and engineering : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 : proceedings / Ryszard Kowalczyk ... [et al.] (eds.). by Series: Lecture notes in computer science ; 5006 | LNCS sublibrary . SL 3, Information systems and applications, incl. Internet/Web, and HCI
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.