Your search returned 6201 results. Subscribe to this search

|
2461. Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine.

by Boer, Frank S | Bonsangue, Marcello M | Madelaine, Eric | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2462. Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II / edited by Wray Buntine, Marko Grobelnik, Dunja Mladenić, John Shawe-Taylor.

by Buntine, Wray | Grobelnik, Marko | Mladenić, Dunja | Shawe-Taylor, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2463. Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I / edited by Wray Buntine, Marko Grobelnik, Dunja Mladenić, John Shawe-Taylor.

by Buntine, Wray | Grobelnik, Marko | Mladenić, Dunja | Shawe-Taylor, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2464. Transactions on Computational Systems Biology XI [electronic resource] / edited by Corrado Priami, Ralph-Johan Back, Ion Petre.

by Priami, Corrado | Back, Ralph-Johan | Petre, Ion | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2465. Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] : 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings / edited by Sergey Balandin, Dmitri Moltchanov, Yevgeni Koucheryavy.

by Balandin, Sergey | Moltchanov, Dmitri | Koucheryavy, Yevgeni | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2466. Database Systems for Advanced Applications [electronic resource] : DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 / edited by Lei Chen, Chengfei Liu, Qing Liu, Ke Deng.

by Chen, Lei | Liu, Chengfei | Liu, Qing | Deng, Ke | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2467. Text, Speech and Dialogue [electronic resource] : 12th International Conference, TSD 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings / edited by Václav Matoušek, Pavel Mautner.

by Matoušek, Václav | Mautner, Pavel | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2468. Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / edited by Stephen H. Edwards, Gregory Kulczycki.

by Edwards, Stephen H | Kulczycki, Gregory | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2469. Groupware: Design, Implementation, and Use [electronic resource] : 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings / edited by Luís Carriço, Nelson Baloian, Benjamim Fonseca.

by Carriço, Luís | Baloian, Nelson | Fonseca, Benjamim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2470. Secure Data Management [electronic resource] : 6th VLDB Workshop, SDM 2009, Lyon, France, August 28, 2009. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem | Petković, Milan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2471. Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani.

by Ghilardi, Silvio | Sebastiani, Roberto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2472. Human Language Technology. Challenges of the Information Society [electronic resource] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / edited by Zygmunt Vetulani, Hans Uszkoreit.

by Vetulani, Zygmunt | Uszkoreit, Hans | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2473. Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub.

by Erdem, Esra | Lin, Fangzhen | Schaub, Torsten | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2474. Algorithms in Bioinformatics [electronic resource] : 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings / edited by Steven L. Salzberg, Tandy Warnow.

by Salzberg, Steven L | Warnow, Tandy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2475. Principles and Practice of Constraint Programming - CP 2009 [electronic resource] : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings / edited by Ian P. Gent.

by Gent, Ian 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, 2009Online access: Click here to access online Availability: No items available
2476. Cooperative Design, Visualization, and Engineering [electronic resource] : 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2477. Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 [electronic resource] : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I / edited by Guang-Zhong Yang, David Hawkes, Daniel Rueckert, Alison Noble, Chris Taylor.

by Yang, Guang-Zhong | Hawkes, David | Rueckert, Daniel | Noble, Alison | Taylor, Chris | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2478. Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 [electronic resource] : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II / edited by Guang-Zhong Yang, David Hawkes, Daniel Rueckert, Alison Noble, Chris Taylor.

by Yang, Guang-Zhong | Hawkes, David | Rueckert, Daniel | Noble, Alison | Taylor, Chris | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2479. Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I / edited by Cesare Alippi, Marios Polycarpou, Christos Panayiotou, Georgios Ellinas.

by Alippi, Cesare | Polycarpou, Marios | Panayiotou, Christos | Ellinas, Georgios | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2480. Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II / edited by Cesare Alippi, Marios Polycarpou, Christos Panayiotou, Georgios Ellinas.

by Alippi, Cesare | Polycarpou, Marios | Panayiotou, Christos | Ellinas, Georgios | SpringerLink (Online service).

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