Your search returned 1133 results. Subscribe to this search

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

by Yahav, Eran [editor.] | 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
982. 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 [editor.] | Dowling, Jason [editor.] | Huisman, Henkjan [editor.] | Barratt, Dean [editor.] | 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
983. 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 [editor.] | Jayne, Chrisina [editor.] | 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
984. 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 [editor.] | Kopp, Stefan [editor.] | Marsella, Stacy [editor.] | Thórisson, Kristinn R [editor.] | 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
985. 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 [editor.] | García-Cámara, Braulio [editor.] | Prieto, Manuel [editor.] | Ruggiero, Martino [editor.] | Sicard, Gilles [editor.] | 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
986. 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 [editor.] | Eldabi, Tillal [editor.] | Gupta, Ashish [editor.] | 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
987. 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 [editor.] | Mota Pinto, Filipe [editor.] | 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
988. 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 [editor.] | Danalis, Anthony [editor.] | Nikolopoulos, Dimitrios S [editor.] | Dongarra, Jack [editor.] | 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
989. 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 [editor.] | Edelkamp, Stefan [editor.] | 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
990. 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 [editor.] | Pinto, H. Sofia [editor.] | 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
991. Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / edited by Giuseppe Persiano.

by Persiano, Giuseppe [editor.] | 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
992. 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 [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | 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
993. 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 [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | 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
994. 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 [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | 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
995. 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 [editor.] | Hsu, Jane Yung-jen [editor.] | Governatori, Guido [editor.] | Ghose, Aditya K [editor.] | 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
996. 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 [editor.] | Faloutsos, Petros [editor.] | 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
997. Informatics in Control, Automation and Robotics [electronic resource] : Volume 1 / edited by Honghua Tan.

by Tan, Honghua [editor.] | 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
998. 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 [editor.] | Gottscheber, Achim [editor.] | 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
999. Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control [electronic resource] / by Christian Kirches.

by Kirches, Christian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Vieweg+Teubner Verlag, 2011Online access: Click here to access online Availability: No items available
1000. Human Modelling in Assisted Transportation [electronic resource] : Models, Tools and Risk Methods / edited by P. Carlo Cacciabue, Magnus Hjälmdahl, Andreas Luedtke, Costanza Riccioli.

by Cacciabue, P. Carlo [editor.] | Hjälmdahl, Magnus [editor.] | Luedtke, Andreas [editor.] | Riccioli, Costanza [editor.] | SpringerLink (Online service).

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