|
|
7921.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.
by Jhala, Ranjit | Schmidt, David | 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
|
|
|
7922.
|
Innovations in Defence Support Systems – 3 [electronic resource] : Intelligent Paradigms in Security / edited by Paolo Remagnino, Dorothy N. Monekosso, Lakhmi C. Jain.
by Remagnino, Paolo | Monekosso, Dorothy N | Jain, Lakhmi C | 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
|
|
|
7923.
|
Bifurcations, Instabilities and Degradations in Geomaterials [electronic resource] / edited by Richard Wan, Mustafa Alsaleh, Joe Labuz.
by Wan, Richard | Alsaleh, Mustafa | Labuz, Joe | 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
|
|
|
7924.
|
Visual Sensing and its Applications [electronic resource] : Integration of Laser Sensors to Industrial Robots / by Zhongxue Gan, Qing Tang.
by Gan, Zhongxue | Tang, Qing | 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
|
|
|
7925.
|
Handbook of Force Transducers [electronic resource] : Principles and Components / by Dan Mihai Ştefănescu.
by Ştefănescu, Dan Mihai | 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
|
|
|
7926.
|
Mobile Hybrid Intrusion Detection [electronic resource] : The MOVICAB-IDS System / by Álvaro Herrero, Emilio Corchado.
by Herrero, Álvaro | Corchado, Emilio | 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
|
|
|
7927.
|
Semantic Agent Systems [electronic resource] : Foundations and Applications / edited by Atilla Elçi, Mamadou Tadiou Koné, Mehmet A. Orgun.
by Elçi, Atilla | Koné, Mamadou Tadiou | Orgun, Mehmet A | 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
|
|
|
7928.
|
Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I / edited by Daoliang Li, Yande Liu, Yingyi Chen.
by Li, Daoliang | Liu, Yande | Chen, Yingyi | 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
|
|
|
7929.
|
Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II / edited by Daoliang Li, Yande Liu, Yingyi Chen.
by Li, Daoliang | Liu, Yande | Chen, Yingyi | 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
|
|
|
7930.
|
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker.
by Bosse, Tibor | Geller, Armando | Jonker, Catholijn M | 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
|
|
|
7931.
|
Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III / edited by Daoliang Li, Yande Liu, Yingyi Chen.
by Li, Daoliang | Liu, Yande | Chen, Yingyi | 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
|
|
|
7932.
|
A Primer on Scientific Programming with Python [electronic resource] / by Hans Petter Langtangen.
by Langtangen, Hans Petter | SpringerLink (Online service). Edition: 2nd Edition.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
|
|
|
7933.
|
Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV / edited by Daoliang Li, Yande Liu, Yingyi Chen.
by Li, Daoliang | Liu, Yande | Chen, Yingyi | 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
|
|
|
7934.
|
Infrastructure and Safety in a Collaborative World [electronic resource] : Road Traffic Safety / edited by Evangelos Bekiaris, Marion Wiethoff, Evangelia Gaitanidou.
by Bekiaris, Evangelos | Wiethoff, Marion | Gaitanidou, Evangelia | 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
|
|
|
7935.
|
Electromagnetics and Network Theory and their Microwave Technology Applications [electronic resource] : A Tribute to Peter Russer / edited by Stefan Lindenmeier, Robert Weigel.
by Lindenmeier, Stefan | Weigel, 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
|
|
|
7936.
|
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.
by Rocha, Ricardo | Launchbury, John | 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
|
|
|
7937.
|
SOFSEM 2011: Theory and Practice of Computer Science [electronic resource] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings / edited by Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić, Stefan Wolf.
by Černá, Ivana | Gyimóthy, Tibor | Hromkovič, Juraj | Jefferey, Keith | Králović, Rastislav | Vukolić, Marko | Wolf, Stefan | 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
|
|
|
7938.
|
Single-Photon Imaging [electronic resource] / edited by Peter Seitz, Albert JP Theuwissen.
by Seitz, Peter | Theuwissen, Albert JP | 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
|
|
|
7939.
|
Integral and Diagnostic Intrusive Prediction of Speech Quality [electronic resource] / by Nicolas Côté.
by Côté, Nicolas | 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
|
|
|
7940.
|
Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers / edited by Ivan Dimov, Stefka Dimova, Natalia Kolkovska.
by Dimov, Ivan | Dimova, Stefka | Kolkovska, Natalia | 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
|
