Your search returned 16260 results. Subscribe to this search

|
15061. Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer.

by Wirsing, Martin [editor.] | Hofmann, Martin [editor.] | Rauschmayer, Axel [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
15062. Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.

by Bouajjani, Ahmed [editor.] | Chin, Wei-Ngan [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
15063. Recent Advances in the Message Passing Interface [electronic resource] : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings / edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra.

by Keller, Rainer [editor.] | Gabriel, Edgar [editor.] | Resch, Michael [editor.] | Dongarra, Jack [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
15064. Computer Safety, Reliability, and Security [electronic resource] : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings / edited by Erwin Schoitsch.

by Schoitsch, Erwin [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
15065. Complex Systems Design & Management [electronic resource] : Proceedings of the First International Conference on Complex System Design & Management CSDM 2010 / edited by Marc Aiguier, Francis Bretaudeau, Daniel Krob.

by Aiguier, Marc [editor.] | Bretaudeau, Francis [editor.] | Krob, Daniel [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
15066. Quantitative Logic and Soft Computing 2010 [electronic resource] : Volume 2 / edited by Bing-yuan Cao, Guo-jun Wang, Shui-li Chen, Si-zong Guo.

by Cao, Bing-yuan [editor.] | Wang, Guo-jun [editor.] | Chen, Shui-li [editor.] | Guo, Si-zong [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
15067. Systems, Software and Services Process Improvement [electronic resource] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory O’Connor, Serge Tichkiewitch, Richard Messnarz.

by Riel, Andreas [editor.] | O’Connor, Rory [editor.] | Tichkiewitch, Serge [editor.] | Messnarz, Richard [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
15068. Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings / edited by Chen Ding, Zhiyuan Shao, Ran Zheng.

by Ding, Chen [editor.] | Shao, Zhiyuan [editor.] | Zheng, Ran [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
15069. Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / edited by Tomi Janhunen, Ilkka Niemelä.

by Janhunen, Tomi [editor.] | Niemelä, Ilkka [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
15070. Economics of Grids, Clouds, Systems, and Services [electronic resource] : 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings / edited by Jörn Altmann, Omer F. Rana.

by Altmann, Jörn [editor.] | Rana, Omer F [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
15071. Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings / edited by Mong Li Lee, Jeffrey Xu Yu, Zohra Bellahsène, Rainer Unland.

by Lee, Mong Li [editor.] | Yu, Jeffrey Xu [editor.] | Bellahsène, Zohra [editor.] | Unland, Rainer [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
15072. Wearable and Autonomous Biomedical Devices and Systems for Smart Environment [electronic resource] : Issues and Characterization / edited by Aimé Lay-Ekuakille, Subhas Chandra Mukhopadhyay.

by Lay-Ekuakille, Aimé | Mukhopadhyay, Subhas Chandra | 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
15073. Intelligent Computer Graphics 2010 [electronic resource] / edited by Dimitri Plemenos, Georgios Miaoulis.

by Plemenos, Dimitri [editor.] | Miaoulis, Georgios [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
15074. Advances in Multimedia Information Processing - PCM 2010 [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II / edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew.

by Qiu, Guoping [editor.] | Lam, Kin Man [editor.] | Kiya, Hitoshi [editor.] | Xue, Xiang-Yang [editor.] | Kuo, C.-C. Jay [editor.] | Lew, Michael S [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
15075. Advances in Multimedia Information Processing - PCM 2010 [electronic resource] : 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I / edited by Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew.

by Qiu, Guoping [editor.] | Lam, Kin Man [editor.] | Kiya, Hitoshi [editor.] | Xue, Xiang-Yang [editor.] | Kuo, C.-C. Jay [editor.] | Lew, Michael S [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
15076. Collaboration and Technology [electronic resource] : 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings / edited by Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch.

by Kolfschoten, Gwendolyn [editor.] | Herrmann, Thomas [editor.] | Lukosch, Stephan [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
15077. Enterprise and Organizational Modeling and Simulation [electronic resource] : 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers / edited by Joseph Barjis.

by Barjis, Joseph [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
15078. Power Electronics and Instrumentation Engineering [electronic resource] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan.

by Das, Vinu V [editor.] | Stephen, Janahanlal [editor.] | Thankachan, Nessy [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
15079. Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings / edited by Nancy A. Lynch, Alexander A. Shvartsman.

by Lynch, Nancy A [editor.] | Shvartsman, Alexander A [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
15080. Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel.

by Cousot, Radhia [editor.] | Martel, Matthieu [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