Your search returned 13655 results. Subscribe to this search

|
11501. Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas.

by Giannakopoulou, Dimitra [editor.] | Orejas, Fernando [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
11502. Engineering of Software [electronic resource] : The Continuing Contributions of Leon J. Osterweil / edited by Peri L. Tarr, Alexander L. Wolf.

by Tarr, Peri L [editor.] | Wolf, Alexander L [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
11503. Towards Intelligent Modeling: Statistical Approximation Theory [electronic resource] / by George A. Anastassiou, Oktay Duman.

by Anastassiou, George A [author.] | Duman, Oktay [author.] | 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
11504. Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.

by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [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
11505. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [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
11506. Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers / edited by Luo Qi.

by Qi, Luo [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
11507. Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch.

by Berry, Daniel [editor.] | Franch, Xavier [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
11508. Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop.

by Knoop, Jens [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
11509. Discrete Geometry for Computer Imagery [electronic resource] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / edited by Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even.

by Debled-Rennesson, Isabelle [editor.] | Domenjoud, Eric [editor.] | Kerautret, Bertrand [editor.] | Even, Philippe [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
11510. Agents and Artificial Intelligence [electronic resource] : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred, Bernadette Sharp.

by Filipe, Joaquim [editor.] | Fred, Ana [editor.] | Sharp, Bernadette [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
11511. Evolutionary Multi-Criterion Optimization [electronic resource] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings / edited by Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco.

by Takahashi, Ricardo H. C [editor.] | Deb, Kalyanmoy [editor.] | Wanner, Elizabeth F [editor.] | Greco, Salvatore [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
11512. Privacy and Security Issues in Data Mining and Machine Learning [electronic resource] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin.

by Dimitrakakis, Christos [editor.] | Gkoulalas-Divanis, Aris [editor.] | Mitrokotsa, Aikaterini [editor.] | Verykios, Vassilios S [editor.] | Saygin, Yücel [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
11513. Self-Learning Speaker Identification [electronic resource] : A System for Enhanced Speech Recognition / by Tobias Herbig, Franz Gerl, Wolfgang Minker.

by Herbig, Tobias [author.] | Gerl, Franz [author.] | Minker, Wolfgang [author.] | 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
11514. Transactions on Computational Collective Intelligence III [electronic resource] / edited by Ngoc Thanh Nguyen.

by Nguyen, Ngoc Thanh [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
11515. Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings / edited by Jolita Ralyté, Isabelle Mirbel, Rébecca Deneckère.

by Ralyté, Jolita [editor.] | Mirbel, Isabelle [editor.] | Deneckère, Rébecca [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
11516. Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová.

by Kelemen, Jozef [editor.] | Kelemenová, Alica [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
11517. Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning / by Pierre Tchounikine.

by Tchounikine, Pierre [author.] | 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
11518. Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp.

by Bafna, Vineet [editor.] | Sahinalp, S. Cenk [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
11519. Intelligent Information and Database Systems [electronic resource] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak.

by Nguyen, Ngoc Thanh [editor.] | Kim, Chong-Gun [editor.] | Janiak, Adam [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
11520. Intelligent Information and Database Systems [electronic resource] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak.

by Nguyen, Ngoc Thanh [editor.] | Kim, Chong-Gun [editor.] | Janiak, Adam [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

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