|
|
13021.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov.
by Dershowitz, Nachum | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13022.
|
Pedestrian Dynamics [electronic resource] : Feedback Control of Crowd Evacuation / edited by Pushkin P.E. Kachroo, Sabiha Amin Wadoo, Sadeq J. Al-nasur, Apoorva Shende.
by Kachroo, Pushkin P.E | Amin Wadoo, Sabiha | Al-nasur, Sadeq J | Shende, Apoorva | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13023.
|
Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings / edited by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim.
by Parent, Christine | Schewe, Klaus-Dieter | Storey, Veda C | Thalheim, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13024.
|
The NMR Probe of High-Tc Materials [electronic resource] / by Russel E. Walstedt.
by Walstedt, Russel E | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13025.
|
Stress-Activated Protein Kinases [electronic resource] / edited by Francesc Posas, Angel R. Nebreda.
by Posas, Francesc | Nebreda, Angel R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13026.
|
The Practice of Econometric Theory [electronic resource] : An Examination of the Characteristics of Econometric Computation / by Charles G. Renfro.
by Renfro, Charles 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
|
|
|
13027.
|
Molecular Mechanisms of Plant and Microbe Coexistence [electronic resource] / edited by Chandra Shekhar Nautiyal, Patrice Dion.
by Nautiyal, Chandra Shekhar | Dion, Patrice | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13028.
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura.
by Namjoshi, Kedar S | Yoneda, Tomohiro | Higashino, Teruo | Okamura, Yoshio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13029.
|
Mathematical Methods in Signal Processing and Digital Image Analysis [electronic resource] / edited by Rainer Dahlhaus, Jürgen Kurths, Peter Maass, Jens Timmer.
by Dahlhaus, Rainer | Kurths, Jürgen | Maass, Peter | Timmer, Jens | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13030.
|
The Origin of Clay Minerals in Soils and Weathered Rocks [electronic resource] / by Bruce Velde, Alain Meunier.
by Velde, Bruce | Meunier, Alain | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13031.
|
Hydrogel Sensors and Actuators [electronic resource] : Engineering and Technology / edited by Gerald Gerlach, Karl-Friedrich Arndt.
by Gerlach, Gerald | Arndt, Karl-Friedrich | 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
|
|
|
13032.
|
Humanized Mice [electronic resource] / edited by Tatsuji Nomura, Takeshi Watanabe, Sonoko Habu.
by Nomura, Tatsuji | Watanabe, Takeshi | Habu, Sonoko | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13033.
|
Advances in Information and Computer Security [electronic resource] : Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings / edited by Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg.
by Miyaji, Atsuko | Kikuchi, Hiroaki | Rannenberg, Kai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13034.
|
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers / edited by Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig.
by Obermaisser, Roman | Nah, Yunmook | Puschner, Peter | Rammig, Franz J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13035.
|
Spatial Cognition V Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers / edited by Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello.
by Barkowsky, Thomas | Knauff, Markus | Ligozat, Gérard | Montello, Daniel R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13036.
|
Mobile Response [electronic resource] : First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers / edited by Jobst Löffler, Markus Klann.
by Löffler, Jobst | Klann, Markus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13037.
|
Provable Security [electronic resource] : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings / edited by Willy Susilo, Joseph K. Liu, Yi Mu.
by Susilo, Willy | Liu, Joseph K | Mu, Yi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13038.
|
Cold Aqueous Planetary Geochemistry with FREZCHEM [electronic resource] : From Modeling to the Search for Life at the Limits / by Giles M. Marion, Jeffrey S. Kargel.
by Marion, Giles M | Kargel, Jeffrey S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
13039.
|
Analysis and Modeling of Faces and Gestures [electronic resource] : Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings / edited by S. Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong.
by Zhou, S. Kevin | Zhao, Wenyi | Tang, Xiaoou | Gong, Shaogang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
13040.
|
Managing Virtualization of Networks and Services [electronic resource] : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedings / edited by Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler.
by Clemm, Alexander | Granville, Lisandro Zambenedetti | Stadler, Rolf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
