Your search returned 7989 results. Subscribe to this search

|
6361. Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su.

by Laneve, Cosimo [editor.] | Su, Jianwen [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, 2010Online access: Click here to access online Availability: No items available
6362. Advanced Techniques in Web Intelligence - I [electronic resource] / edited by Juan D. Velásquez, Lakhmi C. Jain.

by Velásquez, Juan D [editor.] | Jain, Lakhmi C [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, 2010Online access: Click here to access online Availability: No items available
6363. Computational Intelligence in Healthcare 4 [electronic resource] : Advanced Methodologies / edited by Isabelle Bichindaritz, Sachin Vaidya, Ashlesha Jain, Lakhmi C. Jain.

by Bichindaritz, Isabelle [editor.] | Vaidya, Sachin [editor.] | Jain, Ashlesha [editor.] | Jain, Lakhmi C [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, 2010Online access: Click here to access online Availability: No items available
6364. Transactions on Rough Sets XII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Roman Słowiński, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Słowiński, Roman [editor.] | Lingras, Pawan [editor.] | Miao, Duoqian [editor.] | Tsumoto, Shusaku [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, 2010Online access: Click here to access online Availability: No items available
6365. Recent Trends in Network Security and Applications [electronic resource] : Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan [editor.] | Boumerdassi, Selma [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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, 2010Online access: Click here to access online Availability: No items available
6366. Transactions on Edutainment IV [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xiaopeng Zhang, Kevin Wong.

by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Zhang, Xiaopeng [editor.] | Wong, Kevin [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, 2010Online access: Click here to access online Availability: No items available
6367. Recent Trends in Networks and Communications [electronic resource] : International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan [editor.] | Boumerdassi, Selma [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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, 2010Online access: Click here to access online Availability: No items available
6368. Information Theoretic Security [electronic resource] : 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers / edited by Kaoru Kurosawa.

by Kurosawa, Kaoru [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, 2010Online access: Click here to access online Availability: No items available
6369. Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer.

by Platzer, André [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, 2010Online access: Click here to access online Availability: No items available
6370. 6th World Congress of Biomechanics (WCB 2010). August 1-6, 2010 Singapore [electronic resource] : In Conjunction with 14th International Conference on Biomedical Engineering (ICBME) and 5th Asia Pacific Conference on Biomechanics (APBiomech) / edited by C. T. Lim, J. C. H. Goh.

by Lim, C. T [editor.] | Goh, J. C. H [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, 2010Online access: Click here to access online Availability: No items available
6371. Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings / edited by Guillaume Hanrot, François Morain, Emmanuel Thomé.

by Hanrot, Guillaume [editor.] | Morain, François [editor.] | Thomé, Emmanuel [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, 2010Online access: Click here to access online Availability: No items available
6372. Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield.

by Butterfield, Andrew [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, 2010Online access: Click here to access online Availability: No items available
6373. Magnetothermal Properties near Quantum Criticality in the Itinerant Metamagnet Sr3Ru2O7 [electronic resource] / by Andreas W. Rost.

by Rost, Andreas W [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, 2010Online access: Click here to access online Availability: No items available
6374. Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings / edited by Mikhail J. Atallah, Nicholas J. Hopper.

by Atallah, Mikhail J [editor.] | Hopper, Nicholas J [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, 2010Online access: Click here to access online Availability: No items available
6375. High-Tc Superconductors Based on FeAs Compounds [electronic resource] / by Yuri Izyumov, Ernst Kurmaev.

by Izyumov, Yuri [author.] | Kurmaev, Ernst [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, 2010Online access: Click here to access online Availability: No items available
6376. Entertainment for Education. Digital Techniques and Systems [electronic resource] : 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings / edited by Xiaopeng Zhang, Shaochun Zhong, Zhigeng Pan, Kevin Wong, Ruwei Yun.

by Zhang, Xiaopeng [editor.] | Zhong, Shaochun [editor.] | Pan, Zhigeng [editor.] | Wong, Kevin [editor.] | Yun, Ruwei [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, 2010Online access: Click here to access online Availability: No items available
6377. Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.

by Montali, Marco [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, 2010Online access: Click here to access online Availability: No items available
6378. The Quintessence of Strategic Management [electronic resource] : What You Really Need to Know to Survive in Business / by Philip Kotler, Roland Berger, Nils Bickhoff.

by Kotler, Philip [author.] | Berger, Roland [author.] | Bickhoff, Nils [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, 2010Online access: Click here to access online Availability: No items available
6379. Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings / edited by Emma Hart, Chris McEwan, Jon Timmis, Andy Hone.

by Hart, Emma [editor.] | McEwan, Chris [editor.] | Timmis, Jon [editor.] | Hone, Andy [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, 2010Online access: Click here to access online Availability: No items available
6380. Frontiers in Algorithmics [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings / edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying.

by Lee, Der-Tsai [editor.] | Chen, Danny Z [editor.] | Ying, Shi [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, 2010Online 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