Your search returned 518 results. Subscribe to this search

|
141. Independent Component Analysis and Blind Signal Separation [electronic resource] : 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings / edited by Justinian Rosca, Deniz Erdogmus, José C. Príncipe, Simon Haykin.

by Rosca, Justinian | Erdogmus, Deniz | Príncipe, José C | Haykin, Simon | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
142. Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung.

by Song, Joo-Seok | Kwon, Taekyoung | Yung, Moti | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
143. Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari.

by Hespanha, João P | Tiwari, Ashish | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
144. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

by Barthe, Gilles | Grégoire, Benjamin | Huisman, Marieke | Lanet, Jean-Louis | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
145. Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley.

by Fishkin, Kenneth P | Schiele, Bernt | Nixon, Paddy | Quigley, Aaron | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
146. Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers / edited by Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad.

by Kronland-Martinet, Richard | Voinier, Thierry | Ystad, Sølvi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
147. Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings / edited by Wijnand A. IJsselsteijn, Yvonne A. W. Kort, Cees Midden, Berry Eggen, Elise Hoven.

by IJsselsteijn, Wijnand A | Kort, Yvonne A. W | Midden, Cees | Eggen, Berry | Hoven, Elise | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
148. Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.

by Bernardo, Marco | Cimatti, Alessandro | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
149. Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl.

by Bräunl, Thomas | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
150. High Availability and Disaster Recovery [electronic resource] : Concepts, Design, Implementation / by Klaus Schmidt.

by Schmidt, Klaus | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
151. Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

by Pinho, Luís Miguel | González Harbour, Michael | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
152. Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
153. Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
154. Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao.

by Sha, Edwin | Han, Sung-Kook | Xu, Cheng-Zhong | Kim, Moon-Hae | Yang, Laurence T | Xiao, Bin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
155. Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu.

by Damiani, Ernesto | Liu, Peng | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
156. Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper.

by Kohlas, Jürg | Meyer, Bertrand | Schiper, André | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
157. Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu.

by Zhou, Xiaobo | Sokolsky, Oleg | Yan, Lu | Jung, Eun-Sun | Shao, Zili | Mu, Yi | Lee, Dong Chun | Kim, Dae Young | Jeong, Young-Sik | Xu, Cheng-Zhong | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
158. Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.

by Broy, Manfred | Krüger, Ingolf H | Meisinger, Michael | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
159. Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel.

by Katsikas, Sokratis K | López, Javier | Backes, Michael | Gritzalis, Stefanos | Preneel, Bart | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
160. Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene | Bouyer, Patricia | SpringerLink (Online service).

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