Results
1241.
1242.
1243.
1244.
1245.
1246.
1247.
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.
1248.
1249.
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.
1250.
1251.
1252.
1253.
1254.
1255.
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.
1256.
1257.
The semantic web [electronic resource] : research and applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, proceedings / Sean Bechhofer ... [et al.] (eds.) by Series: Lecture notes in computer science ; 5021 | 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.
1258.
Types for proofs and programs [electronic resource] : international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. by Series: Lecture Notes in Computer Science ; 4941
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1259.
1260.
