|
|
8721.
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled.
by Bensalem, Saddek | Peled, Doron A | 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
|
|
|
8722.
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 11th International Conference, ACIVS 2009, Bordeaux, France, September 28–October 2, 2009. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders.
by Blanc-Talon, Jacques | Philips, Wilfried | Popescu, Dan | Scheunders, Paul | 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
|
|
|
8723.
|
Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / edited by Małgorzata Marciniak, Agnieszka Mykowiecka.
by Marciniak, Małgorzata | Mykowiecka, Agnieszka | 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
|
|
|
8724.
|
Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings / edited by Francesca D. Ciccarelli, István Miklós.
by Ciccarelli, Francesca D | Miklós, István | 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
|
|
|
8725.
|
Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 / edited by João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel B. Brazdil.
by Gama, João | Costa, Vítor Santos | Jorge, Alípio Mário | Brazdil, Pavel B | 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
|
|
|
8726.
|
Enterprise Interoperability [electronic resource] : Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings / edited by Raúl Poler, Marten Sinderen, Raquel Sanchis.
by Poler, Raúl | Sinderen, Marten | Sanchis, Raquel | 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
|
|
|
8727.
|
Visioning and Engineering the Knowledge Society. A Web Science Perspective [electronic resource] : Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings / edited by Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan, Janice Sipior, Gottfried Vossen.
by Lytras, Miltiadis D | Damiani, Ernesto | Carroll, John M | Tennyson, Robert D | Avison, David | Naeve, Ambjörn | Dale, Adrian | Lefrere, Paul | Tan, Felix | Sipior, Janice | Vossen, Gottfried | 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
|
|
|
8728.
|
Best Practices for the Knowledge Society. Knowledge, Learning, Development and Technology for All [electronic resource] : Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings / edited by Miltiadis D. Lytras, Patricia Ordonez de Pablos, Ernesto Damiani, David Avison, Ambjörn Naeve, David G. Horner.
by Lytras, Miltiadis D | Ordonez de Pablos, Patricia | Damiani, Ernesto | Avison, David | Naeve, Ambjörn | Horner, David 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
|
|
|
8729.
|
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn.
by Liu, Zhiming | Ravn, Anders P | 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
|
|
|
8730.
|
Identity and Privacy in the Internet Age [electronic resource] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings / edited by Audun Jøsang, Torleiv Maseng, Svein Johan Knapskog.
by Jøsang, Audun | Maseng, Torleiv | Knapskog, Svein Johan | 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
|
|
|
8731.
|
Information Retrieval Technology [electronic resource] : 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings / edited by Gary Geunbae Lee, Dawei Song, Chin-Yew Lin, Akiko Aizawa, Kazuko Kuriyama, Masaharu Yoshioka, Tetsuya Sakai.
by Lee, Gary Geunbae | Song, Dawei | Lin, Chin-Yew | Aizawa, Akiko | Kuriyama, Kazuko | Yoshioka, Masaharu | Sakai, Tetsuya | 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
|
|
|
8732.
|
Computer Aided Systems Theory - EUROCAST 2009 [electronic resource] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto | Pichler, Franz | Quesada-Arencibia, Alexis | 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
|
|
|
8733.
|
Multimodal Corpora [electronic resource] : From Models of Natural Interaction to Systems and Applications / edited by Michael Kipp, Jean-Claude Martin, Patrizia Paggio, Dirk Heylen.
by Kipp, Michael | Martin, Jean-Claude | Paggio, Patrizia | Heylen, Dirk | 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
|
|
|
8734.
|
Critical Infrastructure Protection III [electronic resource] : Third Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Hanover, New Hampshire, USA, March 23-25, 2009, Revised Selected Papers / edited by Charles Palmer, Sujeet Shenoi.
by Palmer, Charles | Shenoi, Sujeet | 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
|
|
|
8735.
|
Business Performance Measurement and Management [electronic resource] : New Contexts, Themes and Challenges / edited by Paolo Taticchi.
by Taticchi, Paolo | 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
|
|
|
8736.
|
System Modeling and Optimization [electronic resource] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers / edited by Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat.
by Korytowski, Adam | Malanowski, Kazimierz | Mitkowski, Wojciech | Szymkat, Maciej | 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
|
|
|
8737.
|
Parallel Programming [electronic resource] : For Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger.
by Rauber, Thomas | Rünger, Gudula | 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
|
|
|
8738.
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi.
by Torra, Vicenç | Narukawa, Yasuo | Inuiguchi, Masahiro | 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
|
|
|
8739.
|
Science & Technology in China: A Roadmap to 2050 [electronic resource] : Strategic General Report of the Chinese Academy of Sciences / edited by Yongxiang Lu.
by Lu, Yongxiang | 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
|
|
|
8740.
|
Electronic Structure of Strongly Correlated Materials [electronic resource] / by Vladimir Anisimov, Yuri Izyumov.
by Anisimov, Vladimir | Izyumov, Yuri | 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
|
