|
|
5801.
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns.
by Damm, Werner | Hermanns, Holger | 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
|
|
|
5802.
|
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp.
by Bošnački, Dragan | Edelkamp, Stefan | 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
|
|
|
5803.
|
Robotic Welding, Intelligence and Automation [electronic resource] / edited by Tzyh-Jong Tarn, Shan-Ben Chen, Changjiu Zhou.
by Tarn, Tzyh-Jong | Chen, Shan-Ben | Zhou, Changjiu | 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
|
|
|
5804.
|
Theory of Concentrated Vortices [electronic resource] : An Introduction / by S.V. Alekseenko, P.A. Kuibin, V.L. Okulov.
by Alekseenko, S.V | Kuibin, P.A | Okulov, V.L | 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
|
|
|
5805.
|
Pythagorean-Hodograph Curves: Algebra and Geometry Inseparable [electronic resource] / by Rida T. Farouki.
by Farouki, Rida T | 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
|
|
|
5806.
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki.
by Arge, Lars | Cachin, Christian | Jurdziński, Tomasz | Tarlecki, Andrzej | 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
|
|
|
5807.
|
Autonomous Navigation in Dynamic Environments [electronic resource] / edited by Christian Laugier, Raja Chatila.
by Laugier, Christian | Chatila, Raja | 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
|
|
|
5808.
|
Autonomous Robots and Agents [electronic resource] / edited by Subhas Chandra Mukhopadhyay, Gourab Sen Gupta.
by Mukhopadhyay, Subhas Chandra | Gupta, Gourab Sen | 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
|
|
|
5809.
|
The 2005 DARPA Grand Challenge [electronic resource] : The Great Robot Race / edited by Martin Buehler, Karl Iagnemma, Sanjiv Singh.
by Buehler, Martin | Iagnemma, Karl | Singh, Sanjiv | 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
|
|
|
5810.
|
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.
by Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur | 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
|
|
|
5811.
|
Mechanical Behaviour of Engineering Materials [electronic resource] : Metals, Ceramics, Polymers, and Composites / by Joachim Rösler, Martin. Bäker, Harald. Harders.
by Rösler, Joachim | Bäker, Martin | Harders, Harald | 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
|
|
|
5812.
|
Bernoulli Potential in Superconductors [electronic resource] / by P. Lipavský, Jan Koláček, Klaus Morawetz, Ernst Helmut Brandt, Tzong-Jer Yang.
by Lipavský, P | Koláček, Jan | Morawetz, Klaus | Brandt, Ernst Helmut | Yang, Tzong-Jer | 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
|
|
|
5813.
|
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by Jürgen Münch, Pekka Abrahamsson.
by Münch, Jürgen | Abrahamsson, Pekka | 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
|
|
|
5814.
|
Nonlinear Observers and Applications [electronic resource] / by Gildas Besançon.
by Besançon, Gildas | 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
|
|
|
5815.
|
Business Process Management [electronic resource] : Concepts, Languages, Architectures / by Mathias Weske.
by Weske, Mathias | 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
|
|
|
5816.
|
Particle Image Velocimetry [electronic resource] : New Developments and Recent Applications / edited by Andreas Schroeder, Christian E. Willert.
by Schroeder, Andreas | Willert, Christian 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
|
|
|
5817.
|
Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen.
by Pras, Aiko | Sinderen, Marten | 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
|
|
|
5818.
|
Fluid Mechanics [electronic resource] / by H.Joseph Spurk, Nuri Aksel.
by Spurk, H.Joseph | Aksel, Nuri | SpringerLink (Online service). Edition: 2.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
|
|
|
5819.
|
Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn.
by Barker, Steve | Ahn, Gail-Joon | 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
|
|
|
5820.
|
Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings / edited by Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua.
by Xiao, Bin | Yang, Laurence T | Ma, Jianhua | Muller-Schloer, Christian | Hua, Yu | 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
|
