|
|
10481.
|
DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings / edited by Darko Stefanovic, Andrew Turberfield.
by Stefanovic, Darko [editor.] | Turberfield, Andrew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10482.
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal.
by Vidal, Germán [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10483.
|
Autonomous Mobile Systems 2012 [electronic resource] : 22. Fachgespräch Stuttgart, 26. bis 28. September 2012 / edited by Paul Levi, Oliver Zweigle, Kai Häußermann, Bernd Eckstein.
by Levi, Paul [editor.] | Zweigle, Oliver [editor.] | Häußermann, Kai [editor.] | Eckstein, Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10484.
|
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / edited by Joachim Gudmundsson, Julián Mestre, Taso Viglas.
by Gudmundsson, Joachim [editor.] | Mestre, Julián [editor.] | Viglas, Taso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10485.
|
Web-Age Information Management [electronic resource] : 13th International Conference, WAIM 2012, Harbin, China, August 18-20, 2012. Proceedings / edited by Hong Gao, Lipyeow Lim, Wei Wang, Chuan Li, Lei Chen.
by Gao, Hong [editor.] | Lim, Lipyeow [editor.] | Wang, Wei [editor.] | Li, Chuan [editor.] | Chen, Lei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10486.
|
Information Theoretic Security [electronic resource] : 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings / edited by Adam Smith.
by Smith, Adam [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10487.
|
Trust, Privacy and Security in Digital Business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012. Proceedings / edited by Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr.
by Fischer-Hübner, Simone [editor.] | Katsikas, Sokratis [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10488.
|
Trusted Systems [electronic resource] : Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers / edited by Liqun Chen, Moti Yung, Liehuang Zhu.
by Chen, Liqun [editor.] | Yung, Moti [editor.] | Zhu, Liehuang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10489.
|
IT Revolutions [electronic resource] : Third International ICST Conference, Córdoba, Spain, March 23-25, 2011, Revised Selected Papers / edited by Matías Liñán Reyes, José M. Flores Arias, Juan J. González de la Rosa, Josef Langer, Francisco J. Bellido Outeiriño, Antonio Moreno-Munñoz.
by Liñán Reyes, Matías [editor.] | Flores Arias, José M [editor.] | González de la Rosa, Juan J [editor.] | Langer, Josef [editor.] | Bellido Outeiriño, Francisco J [editor.] | Moreno-Munñoz, Antonio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10490.
|
Applications of Discrete Geometry and Mathematical Morphology [electronic resource] : First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers / edited by Ullrich Köthe, Annick Montanvert, Pierre Soille.
by Köthe, Ullrich [editor.] | Montanvert, Annick [editor.] | Soille, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10491.
|
Mobile Computing, Applications, and Services [electronic resource] : Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers / edited by Joy Ying Zhang, Jarek Wilkiewicz, Ani Nahapetian.
by Zhang, Joy Ying [editor.] | Wilkiewicz, Jarek [editor.] | Nahapetian, Ani [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10492.
|
Believable Bots [electronic resource] : Can Computers Play Like People? / edited by Philip Hingston.
by Hingston, Philip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10493.
|
Agents for Educational Games and Simulations [electronic resource] : International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers / edited by Martin Beer, Cyril Brom, Frank Dignum, Von-Wun Soo.
by Beer, Martin [editor.] | Brom, Cyril [editor.] | Dignum, Frank [editor.] | Soo, Von-Wun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10494.
|
Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
by Furia, Carlo A [author.] | Mandrioli, Dino [author.] | Morzenti, Angelo [author.] | Rossi, Matteo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10495.
|
Data Management in Cloud, Grid and P2P Systems [electronic resource] : 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings / edited by Abdelkader Hameurlain, Farookh Khadeer Hussain, Franck Morvan, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Hussain, Farookh Khadeer [editor.] | Morvan, Franck [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10496.
|
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.
by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10497.
|
Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / edited by Zhiming Liu, Alan Wassyng.
by Liu, Zhiming [editor.] | Wassyng, Alan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10498.
|
Subject-Oriented Business Process Management [electronic resource] / by Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger.
by Fleischmann, Albert [author.] | Schmidt, Werner [author.] | Stary, Christian [author.] | Obermeier, Stefan [author.] | Börger, Egon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10499.
|
Information Technology in Bio- and Medical Informatics [electronic resource] : Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012. Proceedings / edited by Christian Böhm, Sami Khuri, Lenka Lhotská, M. Elena Renda.
by Böhm, Christian [editor.] | Khuri, Sami [editor.] | Lhotská, Lenka [editor.] | Renda, M. Elena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
10500.
|
Internet of Things [electronic resource] : International Workshop, IOT 2012, Changsha, China, August 17-19, 2012. Proceedings / edited by Yongheng Wang, Xiaoming Zhang.
by Wang, Yongheng [editor.] | Zhang, Xiaoming [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
