Your search returned 6201 results. Subscribe to this search

|
1741. DNA Computing [electronic resource] : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / edited by Max H. Garzon, Hao Yan.

by Garzon, Max H | Yan, Hao | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1742. Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav.

by Yorav, Karen | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1743. Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / edited by Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya K. Ghose, Paolo Bresciani.

by Kolp, Manuel | Henderson-Sellers, Brian | Mouratidis, Haralambos | Garcia, Alessandro | Ghose, Aditya K | Bresciani, Paolo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1744. Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich.

by Avron, Arnon | Dershowitz, Nachum | Rabinovich, Alexander | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1745. Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1746. Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / edited by Raoul Medina, Sergei Obiedkov.

by Medina, Raoul | Obiedkov, Sergei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1747. Advances in Web Based Learning – ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers / edited by Howard Leung, Frederick Li, Rynson Lau, Qing Li.

by Leung, Howard | Li, Frederick | Lau, Rynson | Li, Qing | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1748. Architecture of Computing Systems – ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings / edited by Uwe Brinkschulte, Theo Ungerer, Christian Hochberger, Rainer G. Spallek.

by Brinkschulte, Uwe | Ungerer, Theo | Hochberger, Christian | Spallek, Rainer 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, 2008Online access: Click here to access online Availability: No items available
1749. Machine Learning for Multimodal Interaction [electronic resource] : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers / edited by Andrei Popescu-Belis, Steve Renals, Hervé Bourlard.

by Popescu-Belis, Andrei | Renals, Steve | Bourlard, Hervé | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1750. Robot Vision [electronic resource] : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings / edited by Gerald Sommer, Reinhard Klette.

by Sommer, Gerald | Klette, Reinhard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1751. Large-Scale Knowledge Resources. Construction and Application [electronic resource] : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings / edited by Takenobu Tokunaga, Antonio Ortega.

by Tokunaga, Takenobu | Ortega, Antonio | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1752. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck.

by Logozzo, Francesco | Peled, Doron A | Zuck, Lenore D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1753. Object-Oriented Technology. ECOOP 2007 Workshop Reader [electronic resource] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / edited by Michael Cebulla.

by Cebulla, 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, 2008Online access: Click here to access online Availability: No items available
1754. New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers / edited by Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura.

by Satoh, Ken | Inokuchi, Akihiro | Nagao, Katashi | Kawamura, Takahiro | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1755. Arabic and Chinese Handwriting Recognition [electronic resource] : SACH 2006 Summit College Park, MD, USA, September 27-28, 2006 Selected Papers / edited by David Doermann, Stefan Jaeger.

by Doermann, David | Jaeger, Stefan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1756. Business Process Management Workshops [electronic resource] : BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers / edited by Arthur Hofstede, Boualem Benatallah, Hye-Young Paik.

by Hofstede, Arthur | Benatallah, Boualem | Paik, Hye-Young | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1757. Combinatorial Image Analysis [electronic resource] : 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / edited by Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman.

by Brimkov, Valentin E | Barneva, Reneta P | Hauptman, Herbert A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1758. Public Key Cryptography – PKC 2008 [electronic resource] : 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings / edited by Ronald Cramer.

by Cramer, Ronald | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1759. Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli.

by Blockeel, Hendrik | Ramon, Jan | Shavlik, Jude | Tadepalli, Prasad | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1760. Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / edited by Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs.

by Bougé, Luc | Forsell, Martti | Träff, Jesper Larsson | Streit, Achim | Ziegler, Wolfgang | Alexander, Michael | Childs, Stephen | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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