|
461.
|
Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
by Bollig, Benedikt | 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
|
|
462.
|
Advances in Database Technology - EDBT 2006 [electronic resource] : 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006 / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm.
by Ioannidis, Yannis | Scholl, Marc H | Schmidt, Joachim W | Matthes, Florian | Hatzopoulos, Mike | Boehm, Klemens | Kemper, Alfons | Grust, Torsten | Boehm, Christian | 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
|
|
463.
|
Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Wei-ming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James.
by Shen, Wei-ming | Chao, Kuo-Ming | Lin, Zongkai | Barthès, Jean-Paul A | James, Anne | 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
|
|
464.
|
Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers / edited by Ioannis Stavrakakis, Michael Smirnov.
by Stavrakakis, Ioannis | Smirnov, Michael | 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
|
|
465.
|
Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings / edited by Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou.
by Chen, Kefei | Deng, Robert | Lai, Xuejia | Zhou, Jianying | 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
|
|
466.
|
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares.
by Preneel, Bart | Tavares, Stafford | 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
|
|
467.
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung.
by Song, Joo-Seok | Kwon, Taekyoung | Yung, Moti | 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
|
|
468.
|
Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems [electronic resource] : AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by Peyman Faratin, Juan A. Rodríguez-Aguilar.
by Faratin, Peyman | Rodríguez-Aguilar, Juan A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
469.
|
Interactive Video [electronic resource] : Algorithms and Technologies / edited by Riad I. Hammoud.
by Hammoud, Riad I | 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
|
|
470.
|
Interfacing Geostatistics and GIS [electronic resource] / edited by Jürgen Pilz.
by Pilz, Jürgen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
471.
|
Smart Card Research and Advanced Applications [electronic resource] : 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings / edited by Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling.
by Domingo-Ferrer, Josep | Posegga, Joachim | Schreckling, Daniel | 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
|
|
472.
|
Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / edited by Dong Ho Won, Seungjoo Kim.
by Won, Dong Ho | Kim, Seungjoo | 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
|
|
473.
|
Intelligence and Security Informatics [electronic resource] : International Workshop, WISI 2006, Singapore, April 9, 2006. Proceedings / edited by Hsinchun Chen, Fei-Yue Wang, Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang.
by Chen, Hsinchun | Wang, Fei-Yue | Yang, Christopher C | Zeng, Daniel | Chau, Michael | Chang, Kuiyu | 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
|
|
474.
|
Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings / edited by John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke.
by Clark, John A | Paige, Richard F | Polack, Fiona A. C | Brooke, Phillip J | 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
|
|
475.
|
Multi-Agent-Based Simulation VI [electronic resource] : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Jaime S. Sichman, Luis Antunes.
by Sichman, Jaime S | Antunes, Luis | 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
|
|
476.
|
Intelligent Information Processing and Web Mining [electronic resource] : Proceedings of the International IIS: IIPWM’06 Conference held in Ustrón, Poland, June 19-22, 2006 / edited by Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Krzysztof Trojanowski.
by Kłopotek, Mieczysław A | Wierzchoń, Sławomir T | Trojanowski, Krzysztof | 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
|
|
477.
|
Visual Content Processing and Representation [electronic resource] : 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers / edited by Luigi Atzori, Daniel D. Giusto, Riccardo Leonardi, Fernando Pereira.
by Atzori, Luigi | Giusto, Daniel D | Leonardi, Riccardo | Pereira, Fernando | 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
|
|
478.
|
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira.
by Chung, Yeh-Ching | Moreira, José E | 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
|
|
479.
|
Public Key Cryptography - PKC 2006 [electronic resource] : 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings / edited by Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, Tal Malkin.
by Yung, Moti | Dodis, Yevgeniy | Kiayias, Aggelos | Malkin, Tal | 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
|
|
480.
|
Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley.
by Fishkin, Kenneth P | Schiele, Bernt | Nixon, Paddy | Quigley, Aaron | 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
|