|
|
35861.
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.
by Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [editor.] | 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
|
|
|
35862.
|
Many-Body Schrödinger Dynamics of Bose-Einstein Condensates [electronic resource] / by Kaspar Sakmann.
by Sakmann, Kaspar [author.] | 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
|
|
|
35863.
|
Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] : 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings / edited by Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu.
by Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | Hu, Honglin [editor.] | 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
|
|
|
35864.
|
Electronic Government [electronic resource] : 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedings / edited by Marijn Janssen, Hans J. Scholl, Maria A. Wimmer, Yao-hua Tan.
by Janssen, Marijn [editor.] | Scholl, Hans J [editor.] | Wimmer, Maria A [editor.] | Tan, Yao-hua [editor.] | 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
|
|
|
35865.
|
Multiscale Fabrication of Functional Materials for Regenerative Medicine [electronic resource] / by Michele Bianchi.
by Bianchi, Michele [author.] | 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
|
|
|
35866.
|
Artificial General Intelligence [electronic resource] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings / edited by Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks.
by Schmidhuber, Jürgen [editor.] | Thórisson, Kristinn R [editor.] | Looks, Moshe [editor.] | 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
|
|
|
35867.
|
Trust, Privacy and Security in Digital Business [electronic resource] : 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings / edited by Steven Furnell, Costas Lambrinoudakis, Günther Pernul.
by Furnell, Steven [editor.] | Lambrinoudakis, Costas [editor.] | Pernul, Günther [editor.] | 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
|
|
|
35868.
|
A Feature-Centric View of Information Retrieval [electronic resource] / by Donald Metzler.
by Metzler, Donald [author.] | 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
|
|
|
35869.
|
Ensembles in Machine Learning Applications [electronic resource] / edited by Oleg Okun, Giorgio Valentini, Matteo Re.
by Okun, Oleg [editor.] | Valentini, Giorgio [editor.] | Re, Matteo [editor.] | 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
|
|
|
35870.
|
Learning Structure and Schemas from Documents [electronic resource] / edited by Marenglen Biba, Fatos Xhafa.
by Biba, Marenglen [editor.] | Xhafa, Fatos [editor.] | 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
|
|
|
35871.
|
Copper Zinc Tin Sulfide Thin Films for Photovoltaics [electronic resource] : Synthesis and Characterisation by Electrochemical Methods / by Jonathan J. Scragg.
by Scragg, Jonathan J [author.] | 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
|
|
|
35872.
|
Advances in Spatial and Temporal Databases [electronic resource] : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings / edited by Dieter Pfoser, Yufei Tao, Kyriakos Mouratidis, Mario A. Nascimento, Mohamed Mokbel, Shashi Shekhar, Yan Huang.
by Pfoser, Dieter [editor.] | Tao, Yufei [editor.] | Mouratidis, Kyriakos [editor.] | Nascimento, Mario A [editor.] | Mokbel, Mohamed [editor.] | Shekhar, Shashi [editor.] | Huang, Yan [editor.] | 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
|
|
|
35873.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings / edited by Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D. P. Rolim.
by Goldberg, Leslie Ann [editor.] | Jansen, Klaus [editor.] | Ravi, R [editor.] | Rolim, José D. P [editor.] | 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
|
|
|
35874.
|
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók.
by Page, Rex [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [editor.] | 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
|
|
|
35875.
|
Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea.
by Corradini, Andrea [editor.] | Klin, Bartek [editor.] | Cîrstea, Corina [editor.] | 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
|
|
|
35876.
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader [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, 2011Online access: Click here to access online Availability: No items available
|
|
|
35877.
|
Haptic and Audio Interaction Design [electronic resource] : 6th International Workshop, HAID 2011, Kusatsu, Japan, August 25-26, 2011. Proceedings / edited by Eric W. Cooper, Victor V. Kryssanov, Hitoshi Ogawa, Stephen Brewster.
by Cooper, Eric W [editor.] | Kryssanov, Victor V [editor.] | Ogawa, Hitoshi [editor.] | Brewster, Stephen [editor.] | 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
|
|
|
35878.
|
Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle.
by Owe, Olaf [editor.] | Steffen, Martin [editor.] | Telle, Jan Arne [editor.] | 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
|
|
|
35879.
|
Electronic Government and the Information Systems Perspective [electronic resource] : Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings / edited by Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers.
by Andersen, Kim Normann [editor.] | Francesconi, Enrico [editor.] | Grönlund, Åke [editor.] | Engers, Tom M [editor.] | 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
|
|
|
35880.
|
Enabling Real-Time Business Intelligence [electronic resource] : 4th International Workshop, BIRTE 2010, Held at the 36th International Conference on Very Large Databases, VLDB 2010, Singapore, September 13, 2010, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Volker Markl.
by Castellanos, Malu [editor.] | Dayal, Umeshwar [editor.] | Markl, Volker [editor.] | 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
|
