|
|
4841.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák.
by Dix, Jürgen | Fisher, Michael | Novák, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4842.
|
Digital Heritage [electronic resource] : Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings / edited by Marinos Ioannides, Dieter Fellner, Andreas Georgopoulos, Diofantos G. Hadjimitsis.
by Ioannides, Marinos | Fellner, Dieter | Georgopoulos, Andreas | Hadjimitsis, Diofantos G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4843.
|
Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu.
by Dong, Jin Song | Zhu, Huibiao | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4844.
|
Ambient Intelligence [electronic resource] : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings / edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez.
by Ruyter, Boris | Wichert, Reiner | Keyson, David V | Markopoulos, Panos | Streitz, Norbert | Divitini, Monica | Georgantas, Nikolaos | Mana Gomez, Antonio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4845.
|
Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers / edited by Dimitrios M. Thilikos.
by Thilikos, Dimitrios M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4846.
|
On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.
by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4847.
|
On the Move to Meaningful Internet Systems, OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.
by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4848.
|
Advances in Artificial Intelligence – IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings / edited by Angel Kuri-Morales, Guillermo R. Simari.
by Kuri-Morales, Angel | Simari, Guillermo R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4849.
|
Middleware 2010 [electronic resource] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo.
by Gupta, Indranil | Mascolo, Cecilia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4850.
|
Motion in Games [electronic resource] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings / edited by Ronan Boulic, Yiorgos Chrysanthou, Taku Komura.
by Boulic, Ronan | Chrysanthou, Yiorgos | Komura, Taku | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4851.
|
On the Move to Meaningful Internet Systems: OTM 2010 Workshops [electronic resource] : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.
by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4852.
|
Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem.
by Lukowicz, Paul | Kunze, Kai | Kortuem, Gerd | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4853.
|
Current Trends in Web Engineering [electronic resource] : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers / edited by Florian Daniel, Federico Michele Facca.
by Daniel, Florian | Facca, Federico Michele | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4854.
|
Algorithms for Sensor Systems [electronic resource] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler.
by Scheideler, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4855.
|
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.
by Boer, Frank S | Bonsangue, Marcello M | Hallerstede, Stefan | Leuschel, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4856.
|
Artificial Intelligence and Cognitive Science [electronic resource] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers / edited by Lorcan Coyle, Jill Freyne.
by Coyle, Lorcan | Freyne, Jill | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4857.
|
Transactions on Computational Collective Intelligence II [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
by Nguyen, Ngoc Thanh | Kowalczyk, Ryszard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4858.
|
Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda.
by Ueda, Kazunori | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4859.
|
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
by Siegler, Simon | Wasser, Nathan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
4860.
|
Culture and Computing [electronic resource] : Computing and Communication for Crosscultural Interaction / edited by Toru Ishida.
by Ishida, Toru | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
