Your search returned 1133 results. Subscribe to this search

|
581. Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav.

by Yahav, Eran | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
582. Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions [electronic resource] : International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings / edited by Anant Madabhushi, Jason Dowling, Henkjan Huisman, Dean Barratt.

by Madabhushi, Anant | Dowling, Jason | Huisman, Henkjan | Barratt, Dean | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
583. Engineering Applications of Neural Networks [electronic resource] : 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I / edited by Lazaros Iliadis, Chrisina Jayne.

by Iliadis, Lazaros | Jayne, Chrisina | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
584. Intelligent Virtual Agents [electronic resource] : 10th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings / edited by Hannes Högni Vilhjálmsson, Stefan Kopp, Stacy Marsella, Kristinn R. Thórisson.

by Vilhjálmsson, Hannes Högni | Kopp, Stefan | Marsella, Stacy | Thórisson, Kristinn R | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
585. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard.

by Ayala, José L | García-Cámara, Braulio | Prieto, Manuel | Ruggiero, Martino | Sicard, Gilles | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
586. Enterprise and Organizational Modeling and Simulation [electronic resource] : 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers / edited by Joseph Barjis, Tillal Eldabi, Ashish Gupta.

by Barjis, Joseph | Eldabi, Tillal | Gupta, Ashish | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
587. Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings / edited by Ladjel Bellatreche, Filipe Mota Pinto.

by Bellatreche, Ladjel | Mota Pinto, Filipe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
588. Recent Advances in the Message Passing Interface [electronic resource] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra.

by Cotronis, Yiannis | Danalis, Anthony | Nikolopoulos, Dimitrios S | Dongarra, Jack | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
589. KI 2011: Advances in Artificial Intelligence [electronic resource] : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings / edited by Joscha Bach, Stefan Edelkamp.

by Bach, Joscha | Edelkamp, 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, 2011Online access: Click here to access online Availability: No items available
590. Progress in Artificial Intelligence [electronic resource] : 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011. Proceedings / edited by Luis Antunes, H. Sofia Pinto.

by Antunes, Luis | Pinto, H. Sofia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
591. Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / edited by Giuseppe Persiano.

by Persiano, Giuseppe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
592. Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.

by Lu, Bao-Liang | Zhang, Liqing | Kwok, James | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
593. Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part II / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.

by Lu, Bao-Liang | Zhang, Liqing | Kwok, James | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
594. Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part III / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.

by Lu, Bao-Liang | Zhang, Liqing | Kwok, James | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
595. Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose.

by Kinny, David | Hsu, Jane Yung-jen | Governatori, Guido | Ghose, Aditya K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
596. Motion in Games [electronic resource] : 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings / edited by Jan M. Allbeck, Petros Faloutsos.

by Allbeck, Jan M | Faloutsos, Petros | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
597. Informatics in Control, Automation and Robotics [electronic resource] : Volume 1 / edited by Honghua Tan.

by Tan, Honghua | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
598. Research and Education in Robotics - EUROBOT 2010 [electronic resource] : International Conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, Revised Selected Papers / edited by David Obdržálek, Achim Gottscheber.

by Obdržálek, David | Gottscheber, Achim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
599. Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch.

by Unland, Rainer | Calisti, Monique | Klusch, Matthias | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
600. The Agent Modeling Language - AML [electronic resource] : A Comprehensive Approach to Modeling Multi-Agent Systems / by Radovan Cervenka, Ivan Trencansky.

by Cervenka, Radovan | Trencansky, Ivan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2007Online 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