Your search returned 6201 results. Subscribe to this search

|
581. LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings / edited by José R. Correa, Alejandro Hevia, Marcos Kiwi.

by Correa, José R | Hevia, Alejandro | Kiwi, Marcos | 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
582. VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [electronic resource] / by Simone Frintrop.

by Frintrop, Simone | 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
583. Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings / edited by Werner Grass, Bernhard Sick, Klaus Waldschmidt.

by Grass, Werner | Sick, Bernhard | Waldschmidt, Klaus | 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
584. Modeling Decisions for Artificial Intelligence [electronic resource] : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Aïda Valls, Josep Domingo-Ferrer.

by Torra, Vicenç | Narukawa, Yasuo | Valls, Aïda | Domingo-Ferrer, Josep | 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
585. Knowledge Discovery in Life Science Literature [electronic resource] : PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006. Proceedings / edited by Eric G. Bremer, Jörg Hakenberg, Eui-Hong (Sam) Han, Daniel Berrar, Werner Dubitzky.

by Bremer, Eric G | Hakenberg, Jörg | Han, Eui-Hong (Sam) | Berrar, Daniel | Dubitzky, Werner | 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
586. Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock.

by Thompson, Simon G | Ghanea-Hercock, Robert | 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
587. Theoretical Computer Science [electronic resource] : Essays in Memory of Shimon Even / edited by Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman.

by Goldreich, Oded | Rosenberg, Arnold L | Selman, Alan L | 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
588. The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk.

by Wiedijk, Freek | 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
589. Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers / edited by Christoph Bussler, Ming-Chien Shan.

by Bussler, Christoph | Shan, Ming-Chien | 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
590. Advances in Database Technology - EDBT 2006 [electronic resource] : 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006 / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm.

by Ioannidis, Yannis | Scholl, Marc H | Schmidt, Joachim W | Matthes, Florian | Hatzopoulos, Mike | Boehm, Klemens | Kemper, Alfons | Grust, Torsten | Boehm, Christian | 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
591. Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Wei-ming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James.

by Shen, Wei-ming | Chao, Kuo-Ming | Lin, Zongkai | Barthès, Jean-Paul A | James, Anne | 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
592. Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais | Aksit, Mehmet | 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
593. Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers / edited by Ioannis Stavrakakis, Michael Smirnov.

by Stavrakakis, Ioannis | Smirnov, 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
594. Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir.

by Aceto, Luca | Ingólfsdóttir, Anna | 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
595. Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller.

by Mycroft, Alan | Zeller, Andreas | 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
596. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg.

by Hermanns, Holger | Palsberg, Jens | 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
597. Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings / edited by Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou.

by Chen, Kefei | Deng, Robert | Lai, Xuejia | Zhou, Jianying | 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
598. Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Karl Tuyls, Pieter Jan’t Hoen, Katja Verbeeck, Sandip Sen.

by Tuyls, Karl | Hoen, Pieter Jan’t | Verbeeck, Katja | Sen, Sandip | 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
599. Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel.

by Baresi, Luciano | Heckel, Reiko | 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
600. Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Peter Sestoft.

by Sestoft, Peter | 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

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