|
|
2541.
|
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit.
by He, Xiangdong | Horty, John | Pacuit, Eric | 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
|
|
|
2542.
|
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.
by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael | 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
|
|
|
2543.
|
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira.
by Gibbons, Jeremy | Oliveira, José Nuno | 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
|
|
|
2544.
|
Hybrid Metaheuristics [electronic resource] : 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings / edited by María J. Blesa, Christian Blum, Luca Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf.
by Blesa, María J | Blum, Christian | Gaspero, Luca | Roli, Andrea | Sampels, Michael | Schaerf, Andrea | 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
|
|
|
2545.
|
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski.
by Kolehmainen, Mikko | Toivanen, Pekka | Beliczynski, Bartlomiej | 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
|
|
|
2546.
|
The Semantic Web - ISWC 2009 [electronic resource] : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings / edited by Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan.
by Bernstein, Abraham | Karger, David R | Heath, Tom | Feigenbaum, Lee | Maynard, Diana | Motta, Enrico | Thirunarayan, Krishnaprasad | 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
|
|
|
2547.
|
Next Generation Information Technologies and Systems [electronic resource] : 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers / edited by Yishai A. Feldman, Donald Kraft, Tsvi Kuflik.
by Feldman, Yishai A | Kraft, Donald | Kuflik, Tsvi | 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
|
|
|
2548.
|
Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings / edited by Osamu Watanabe, Thomas Zeugmann.
by Watanabe, Osamu | Zeugmann, Thomas | 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
|
|
|
2549.
|
Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul.
by Heuser, Carlos Alberto | Pernul, Günther | 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
|
|
|
2550.
|
Brain Informatics [electronic resource] : International Conference, BI 2009 Beijing, China, October 22-24, 2009 Proceedings / edited by Ning Zhong, Kuncheng Li, Shengfu Lu, Lin Chen.
by Zhong, Ning | Li, Kuncheng | Lu, Shengfu | Chen, Lin | 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
|
|
|
2551.
|
Flexible Query Answering Systems [electronic resource] : 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings / edited by Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen.
by Andreasen, Troels | Yager, Ronald R | Bulskov, Henrik | Christiansen, Henning | Larsen, Henrik Legind | 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
|
|
|
2552.
|
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings / edited by Giorgio Nunzi, Caterina Scoglio, Xing Li.
by Nunzi, Giorgio | Scoglio, Caterina | Li, Xing | 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
|
|
|
2553.
|
Anaphora Processing and Applications [electronic resource] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / edited by Sobha Lalitha Devi, António Branco, Ruslan Mitkov.
by Lalitha Devi, Sobha | Branco, António | Mitkov, Ruslan | 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
|
|
|
2554.
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke.
by Governatori, Guido | Hall, John | Paschke, Adrian | 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
|
|
|
2555.
|
Integrated Management of Systems, Services, Processes and People in IT [electronic resource] : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings / edited by Claudio Bartolini, Luciano Paschoal Gaspary.
by Bartolini, Claudio | Gaspary, Luciano Paschoal | 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
|
|
|
2556.
|
Wired-Wireless Multimedia Networks and Services Management [electronic resource] : 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009. Proceedings / edited by Tom Pfeifer, Paolo Bellavista.
by Pfeifer, Tom | Bellavista, Paolo | 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
|
|
|
2557.
|
Modelling Autonomic Communications Environments [electronic resource] : Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings / edited by John C. Strassner, Yacine M. Ghamri-Doudane.
by Strassner, John C | Ghamri-Doudane, Yacine M | 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
|
|
|
2558.
|
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo.
by Núñez, Manuel | Baker, Paul | Merayo, Mercedes G | 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
|
|
|
2559.
|
Visual Informatics: Bridging Research and Practice [electronic resource] : First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Heiko Schröder, Timothy K. Shih.
by Badioze Zaman, Halimah | Robinson, Peter | Petrou, Maria | Olivier, Patrick | Schröder, Heiko | Shih, Timothy K | 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
|
|
|
2560.
|
Advances in Ubiquitous User Modelling [electronic resource] : Revised Selected Papers / edited by Tsvi Kuflik, Shlomo Berkovsky, Francesca Carmagnola, Dominikus Heckmann, Antonio Krüger.
by Kuflik, Tsvi | Berkovsky, Shlomo | Carmagnola, Francesca | Heckmann, Dominikus | Krüger, Antonio | 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
|
