|
|
1021.
|
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter.
by Pautasso, Cesare | Tanter, Éric | 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
|
|
|
1022.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof.
by Ramakrishnan, C. R | Rehof, Jakob | 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
|
|
|
1023.
|
Progress in WWW Research and Development [electronic resource] : 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings / edited by Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu.
by Zhang, Yanchun | Yu, Ge | Bertino, Elisa | Xu, Guandong | 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
|
|
|
1024.
|
Argumentation in Multi-Agent Systems [electronic resource] : 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers / edited by Iyad Rahwan, Simon Parsons, Chris Reed.
by Rahwan, Iyad | Parsons, Simon | Reed, Chris | 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
|
|
|
1025.
|
Advances in Cryptology – EUROCRYPT 2008 [electronic resource] : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings / edited by Nigel Smart.
by Smart, Nigel | 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
|
|
|
1026.
|
Model-Based Software and Data Integration [electronic resource] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic.
by Kutsche, Ralf-Detlef | Milanovic, Nikola | 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
|
|
|
1027.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega.
by Sichman, Jaime Simão | Padget, Julian | Ossowski, Sascha | Noriega, Pablo | 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
|
|
|
1028.
|
Modeling Communication with Robots and Virtual Humans [electronic resource] : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers / edited by Ipke Wachsmuth, Günther Knoblich.
by Wachsmuth, Ipke | Knoblich, Günther | 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
|
|
|
1029.
|
Programming Multi-Agent Systems [electronic resource] : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff.
by Dastani, Mehdi | El Fallah Seghrouchni, Amal | Ricci, Alessandro | Winikoff, 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
|
|
|
1030.
|
RFID Security and Privacy [electronic resource] : Concepts, Protocols, and Architectures / by Dirk Henrici.
by Henrici, Dirk | 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
|
|
|
1031.
|
Information Security Practice and Experience [electronic resource] : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings / edited by Liqun Chen, Yi Mu, Willy Susilo.
by Chen, Liqun | Mu, Yi | Susilo, Willy | 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
|
|
|
1032.
|
End-to-End Quality of Service Over Heterogeneous Networks [electronic resource] / by Torsten Braun, Thomas Staub, Michel Diaz, José Enríquez-Gabeiras.
by Braun, Torsten | Staub, Thomas | Diaz, Michel | Enríquez-Gabeiras, 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
|
|
|
1033.
|
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle.
by Beckert, Bernhard | Hähnle, Reiner | 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
|
|
|
1034.
|
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.
by Dumas, Marlon | Heckel, Reiko | 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
|
|
|
1035.
|
Passive and Active Network Measurement [electronic resource] : 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings / edited by Mark Claypool, Steve Uhlig.
by Claypool, Mark | Uhlig, Steve | 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
|
|
|
1036.
|
Topics in Cryptology – CT-RSA 2008 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings / edited by Tal Malkin.
by Malkin, Tal | 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
|
|
|
1037.
|
Fundamentals of Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.
by Stanczak, Slawomir | Wiczanowski, Marcin | Boche, Holger | 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
|
|
|
1038.
|
Semantic Grid: Model, Methodology, and Applications [electronic resource] / by Zhao-hui Wu, Hua-jun Chen.
by Wu, Zhao-hui | Chen, Hua-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
|
|
|
1039.
|
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham.
by Luck, Michael | Padgham, Lin | 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
|
|
|
1040.
|
Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / edited by Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu.
by Pei, Dingyi | Yung, Moti | Lin, Dongdai | Wu, Chuankun | 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
|