|
|
521.
|
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang.
by Hong, Hoon | Wang, Dongming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
522.
|
Journal on Data Semantics V [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara.
by Spaccapietra, Stefano | Atzeni, Paolo | Chu, Wesley W | Catarci, Tiziana | Sycara, Katia P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
523.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner.
by Filliâtre, Jean-Christophe | Paulin-Mohring, Christine | Werner, Benjamin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
524.
|
Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase.
by Kohlhase, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
525.
|
Journal on Data Semantics IV [electronic resource] / edited by Stefano Spaccapietra.
by Spaccapietra, Stefano | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
526.
|
Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings / edited by David Lowe, Martin Gaedke.
by Lowe, David | Gaedke, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
527.
|
Control of Single Wheel Robots [electronic resource] / by Yangsheng Xu, Yongsheng Ou.
by Xu, Yangsheng | Ou, Yongsheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
528.
|
Multi-point Interaction with Real and Virtual Objects [electronic resource] / edited by Federico Barbagli, Domenico Prattichizzo, Kenneth Salisbury.
by Barbagli, Federico | Prattichizzo, Domenico | Salisbury, Kenneth | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
529.
|
Nonlinear Kalman Filtering for Force-Controlled Robot Tasks [electronic resource] / by Tine Lefebvre, Herman Bruyninckx, Joris Schutter.
by Lefebvre, Tine | Bruyninckx, Herman | Schutter, Joris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
530.
|
Algorithmic Foundations of Robotics VI [electronic resource] / edited by Michael Erdmann, Mark Overmars, David Hsu, Frank der Stappen.
by Erdmann, Michael | Overmars, Mark | Hsu, David | der Stappen, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
531.
|
Intelligent Mobile Robot Navigation [electronic resource] / by Federico Cuesta, Aníbal Ollero.
by Cuesta, Federico | Ollero, Aníbal | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
532.
|
Robotics Research [electronic resource] : The Eleventh International Symposium / edited by Paolo Dario, Raja Chatila.
by Dario, Paolo | Chatila, Raja | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
533.
|
Advances in Human-Robot Interaction [electronic resource] / edited by Erwin Prassler, Gisbert Lawitzky, Andreas Stopp, Gerhard Grunwald, Martin Hägele, Rüdiger Dillmann, Ioannis Iossifidis.
by Prassler, Erwin | Lawitzky, Gisbert | Stopp, Andreas | Grunwald, Gerhard | Hägele, Martin | Dillmann, Rüdiger | Iossifidis, Ioannis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
534.
|
The Semantic Web: Research and Applications [electronic resource] : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings / edited by Asunción Gómez-Pérez, Jérôme Euzenat.
by Gómez-Pérez, Asunción | Euzenat, Jérôme | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
535.
|
Journal on Data Semantics III [electronic resource] / edited by Stefano Spaccapietra, Esteban Zimányi.
by Spaccapietra, Stefano | Zimányi, Esteban | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
536.
|
Multiple Classifier Systems [electronic resource] : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings / edited by Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli.
by Oza, Nikunj C | Polikar, Robi | Kittler, Josef | Roli, Fabio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
537.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
538.
|
Control Reconfiguration of Dynamical Systems [electronic resource] / by Thomas Steffen.
by Steffen, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
539.
|
Hybrid Estimation of Complex Systems [electronic resource] / by Michael W. Hofbaur.
by Hofbaur, Michael W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
540.
|
Nonblocking Supervisory Control of State Tree Structures [electronic resource] / by Chuan Ma, W. Murray Wonham.
by Ma, Chuan | Wonham, W. Murray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|