Your search returned 1131 results. Subscribe to this search

|
401. Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.

by Corradini, Andrea | Montanari, Ugo | 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
402. Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.

by Leucker, Martin | Morgan, Carroll | 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
403. Hybrid Learning and Education [electronic resource] : Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009. Proceedings / edited by Fu Lee Wang, Joseph Fong, Liming Zhang, Victor S. K. Lee.

by Wang, Fu Lee | Fong, Joseph | Zhang, Liming | Lee, Victor S. 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, 2009Online access: Click here to access online Availability: No items available
404. Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki.

by Kurz, Alexander | Lenisa, Marina | Tarlecki, Andrzej | 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
405. Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.

by Calude, Cristian S | Costa, José Félix | Dershowitz, Nachum | Freire, Elisabete | Rozenberg, Grzegorz | 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
406. Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński.

by Královič, Rastislav | Niwiński, Damian | 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
407. Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri.

by Degano, Pierpaolo | Gorrieri, 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
408. Engineering Applications of Neural Networks [electronic resource] : 11th International Conference, EANN 2009, London, UK, August 27-29, 2009. Proceedings / edited by Dominic Palmer-Brown, Chrisina Draganova, Elias Pimenidis, Haris Mouratidis.

by Palmer-Brown, Dominic | Draganova, Chrisina | Pimenidis, Elias | Mouratidis, Haris | 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
409. Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua.

by Huang, De-Shuang | Jo, Kang-Hyun | Lee, Hong-Hee | Kang, Hee-Jun | Bevilacqua, Vitoantonio | 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
410. Emerging Intelligent Computing Technology and Applications [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua.

by Huang, De-Shuang | Jo, Kang-Hyun | Lee, Hong-Hee | Kang, Hee-Jun | Bevilacqua, Vitoantonio | 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
411. CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro.

by Bravetti, Mario | Zavattaro, Gianluigi | 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
412. Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / edited by Lars Braubach, Wiebe Hoek, Paolo Petta, Alexander Pokahr.

by Braubach, Lars | Hoek, Wiebe | Petta, Paolo | Pokahr, Alexander | 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
413. Advances in Digital Forensics V [electronic resource] : Fifth IFIP WG 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 26-28, 2009, Revised Selected Papers / edited by Gilbert Peterson, Sujeet Shenoi.

by Peterson, Gilbert | Shenoi, Sujeet | 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
414. 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
415. 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
416. 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
417. 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
418. Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov.

by Bournez, Olivier | Potapov, Igor | 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
419. Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen.

by Nguyen, Ngoc Thanh | Kowalczyk, Ryszard | Chen, Shyi-Ming | 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
420. System Modeling and Optimization [electronic resource] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers / edited by Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat.

by Korytowski, Adam | Malanowski, Kazimierz | Mitkowski, Wojciech | Szymkat, Maciej | 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