Your search returned 5853 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue