|
|
3201.
|
The Semantic Web – ISWC 2010 [electronic resource] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm.
by Patel-Schneider, Peter F | Pan, Yue | Hitzler, Pascal | Mika, Peter | Zhang, Lei | Pan, Jeff Z | Horrocks, Ian | Glimm, Birte | 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
|
|
|
3202.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / edited by René Leuken, Gilles Sicard.
by Leuken, René | Sicard, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3203.
|
Security Protocols [electronic resource] : 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. 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, 2010Online access: Click here to access online Availability: No items available
|
|
|
3204.
|
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.
by Johnson, Michael | Pavlovic, Dusko | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3205.
|
Provenance and Annotation of Data and Processes [electronic resource] : Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers / edited by Deborah L. McGuinness, James R. Michaelis, Luc Moreau.
by McGuinness, Deborah L | Michaelis, James R | Moreau, Luc | 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
|
|
|
3206.
|
Advances in Multimedia Modeling [electronic resource] : 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part II / edited by Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng.
by Lee, Kuo-Tien | Tsai, Wen-Hsiang | Liao, Hong-Yuan Mark | Chen, Tsuhan | Hsieh, Jun-Wei | Tseng, Chien-Cheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3207.
|
Advances in Multimedia Modeling [electronic resource] : 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part I / edited by Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng.
by Lee, Kuo-Tien | Tsai, Wen-Hsiang | Liao, Hong-Yuan Mark | Chen, Tsuhan | Hsieh, Jun-Wei | Tseng, Chien-Cheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3208.
|
Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat.
by Herik, H. Jaap | Iida, Hiroyuki | Plaat, Aske | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3209.
|
Information Security Applications [electronic resource] : 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers / edited by Yongwha Chung, Moti Yung.
by Chung, Yongwha | Yung, Moti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3210.
|
Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij.
by Benz, Anton | Ebert, Christian | Jäger, Gerhard | Rooij, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3211.
|
Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings / edited by Ravi Kumar, Dandapani Sivakumar.
by Kumar, Ravi | Sivakumar, Dandapani | 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
|
|
|
3212.
|
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva.
by Fernandes, João M | Lämmel, Ralf | Visser, Joost | Saraiva, João | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3213.
|
Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth.
by Banerjee, Mohua | Seth, Anil | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3214.
|
Knowledge Representation for Health-Care [electronic resource] : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers / edited by David Riaño, Annette Teije, Silvia Miksch, Mor Peleg.
by Riaño, David | Teije, Annette | Miksch, Silvia | Peleg, Mor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3215.
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché.
by Beckert, Bernhard | Marché, Claude | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3216.
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim Dam, Vivien M. Kendon, Simone Severini.
by Dam, Wim | Kendon, Vivien M | Severini, Simone | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3217.
|
Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa.
by Domaratzki, Michael | Salomaa, Kai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3218.
|
Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Gheorghe, Marian | Hinze, Thomas | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3219.
|
Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / edited by Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilić.
by Burmester, Mike | Tsudik, Gene | Magliveras, Spyros | Ilić, Ivana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3220.
|
Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum.
by Dignum, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
