|
|
31641.
|
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
|
|
|
31642.
|
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
|
|
|
31643.
|
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
|
|
|
31644.
|
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
|
|
|
31645.
|
Transition Towards Energy Efficient Machine Tools [electronic resource] / by André Zein.
by Zein, André [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
|
|
|
31646.
|
Georges Lemaître: Life, Science and Legacy [electronic resource] / edited by Rodney D. Holder, Simon Mitton.
by Holder, Rodney D [editor.] | Mitton, Simon [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
|
|
|
31647.
|
Nordic Contributions in IS Research [electronic resource] : Third Scandinavian Conference on Information Systems, SCIS 2012, Sigtuna, Sweden, August 17–20, 2012. Proceedings / edited by Christina Keller, Mikael Wiberg, Pär J. Ågerfalk, Jenny S. Z. Eriksson Lundström.
by Keller, Christina [editor.] | Wiberg, Mikael [editor.] | Ågerfalk, Pär J [editor.] | Eriksson Lundström, Jenny S. Z [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
|
|
|
31648.
|
E-Commerce and Web Technologies [electronic resource] : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings / edited by Christian Huemer, Pasquale Lops.
by Huemer, Christian [editor.] | Lops, Pasquale [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
|
|
|
31649.
|
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
|
|
|
31650.
|
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
|
|
|
31651.
|
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
|
|
|
31652.
|
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
|
|
|
31653.
|
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
|
|
|
31654.
|
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
|
|
|
31655.
|
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
|
|
|
31656.
|
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
|
|
|
31657.
|
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
|
|
|
31658.
|
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
|
|
|
31659.
|
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
|
|
|
31660.
|
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
|
