|
|
1061.
|
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.
by Suzuki, Kenji | Higashino, Teruo | Ulrich, Andreas | Hasegawa, Toru | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1062.
|
Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings / edited by Catherine C. McGeoch.
by McGeoch, Catherine C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1063.
|
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings / edited by Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss.
by Mueller, Matthias S | Chapman, Barbara M | Supinski, Bronis R | Malony, Allen D | Voss, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1064.
|
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 Stiefelhagen, Rainer | Bowers, Rachel | Fiscus, Jonathan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1065.
|
Reliable Software Technologies – Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega.
by Kordon, Fabrice | Vardanega, Tullio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1066.
|
Information Retrieval Technology [electronic resource] : 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers / edited by Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou.
by Li, Hang | Liu, Ting | Ma, Wei-Ying | Sakai, Tetsuya | Wong, Kam-Fai | Zhou, Guodong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1067.
|
Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by René Meier, Sotirios Terzis.
by Meier, René | Terzis, Sotirios | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1068.
|
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.
by Degano, Pierpaolo | Nicola, Rocco | Meseguer, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1069.
|
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers / edited by Dave Penkler, Manfred Reitenspiess, Francis Tam.
by Penkler, Dave | Reitenspiess, Manfred | Tam, Francis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
1070.
|
Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rüdiger Valk.
by Hee, Kees M | Valk, Rüdiger | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1071.
|
B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko.
by Julliand, Jacques | Kouchnarenko, Olga | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
1072.
|
Privacy Enhancing Technologies [electronic resource] : 6th International Workshop, PET 2006, Cambridge, UK, June 28-30, 2006, Revised Selected Papers / edited by George Danezis, Philippe Golle.
by Danezis, George | Golle, Philippe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
1073.
|
Toward Category-Level Object Recognition [electronic resource] / edited by Jean Ponce, Martial Hebert, Cordelia Schmid, Andrew Zisserman.
by Ponce, Jean | Hebert, Martial | Schmid, Cordelia | Zisserman, Andrew | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
1074.
|
Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers / edited by Phong Q. Nguyen.
by Nguyen, Phong Q | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
1075.
|
Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings / edited by Jarmo Harju, Geert Heijenk, Peter Langendörfer, Vasilios A. Siris.
by Harju, Jarmo | Heijenk, Geert | Langendörfer, Peter | Siris, Vasilios A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1076.
|
Advances in Artificial Intelligence [electronic resource] : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings / edited by Sabine Bergler.
by Bergler, Sabine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1077.
|
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert.
by Visser, Ubbo | Ribeiro, Fernando | Ohashi, Takeshi | Dellaert, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1078.
|
Formal Techniques for Networked and Distributed Systems – FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.
by Suzuki, Kenji | Higashino, Teruo | Yasumoto, Keiichi | El-Fakih, Khaled | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1079.
|
Computational Intelligence: Research Frontiers [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures / edited by Jacek M. Zurada, Gary G. Yen, Jun Wang.
by Zurada, Jacek M | Yen, Gary G | Wang, Jun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1080.
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer.
by Barthe, Gilles | Boer, Frank S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|