Your search returned 1284 results. Subscribe to this search

|
1181. Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh.

by Debbabi, Mourad [author.] | Hassaïne, Fawzi [author.] | Jarraya, Yosr [author.] | Soeanu, Andrei [author.] | Alawneh, Luay [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
1182. Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia.

by D’Ambra, Pasqua [editor.] | Guarracino, Mario [editor.] | Talia, Domenico [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 : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
1183. Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia.

by D’Ambra, Pasqua [editor.] | Guarracino, Mario [editor.] | Talia, Domenico [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
1184. Performance Analysis and Optimization of Multi-Traffic on Communication Networks [electronic resource] / by Leonid Ponomarenko, Che Soong Kim, Agassi Melikov.

by Ponomarenko, Leonid [author.] | Kim, Che Soong [author.] | Melikov, Agassi [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 : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
1185. 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
1186. Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen.

by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [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
1187. Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen.

by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [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
1188. Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz.

by Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [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
1189. Algorithms for Sensor Systems [electronic resource] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler.

by Scheideler, Christian [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
1190. Ad Hoc Networks [electronic resource] : Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers / edited by Jun Zheng, David Simplot-Ryl, Victor C. M. Leung.

by Zheng, Jun [editor.] | Simplot-Ryl, David [editor.] | Leung, Victor C. 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, 2010Online access: Click here to access online Availability: No items available
1191. Occupational Asthma [electronic resource] / edited by Torben Sigsgaard, Dick Heederik.

by Sigsgaard, Torben [editor.] | Heederik, Dick [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available
1192. Economic Models and Algorithms for Distributed Systems [electronic resource] / edited by Dirk Neumann, Mark Baker, Jörn Altmann, Omer Rana.

by Neumann, Dirk [editor.] | Baker, Mark [editor.] | Altmann, Jörn [editor.] | Rana, Omer [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2010Online access: Click here to access online Availability: No items available
1193. Quality Uncertainty and Perception [electronic resource] : Information Asymmetry and Management of Quality Uncertainty and Quality Perception / by Lalit Wankhade, Balaji Dabade.

by Wankhade, Lalit [author.] | Dabade, Balaji [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Heidelberg : Physica-Verlag HD : Imprint: Physica, 2010Online access: Click here to access online Availability: No items available
1194. Ventilazione meccanica non invasiva [electronic resource] : Come, quando e perché / by Stefano Nava, Francesco Fanfulla.

by Nava, Stefano [author.] | Fanfulla, Francesco [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Milano : Springer Milan, 2010Online access: Click here to access online Availability: No items available
1195. Aspergillosis: from diagnosis to prevention [electronic resource] / edited by Alessandro Comarú Pasqualotto.

by Comarú Pasqualotto, Alessandro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
1196. Synthetic Biology [electronic resource] : The technoscience and its societal consequences / edited by Markus Schmidt, Alexander Kelle, Agomoni Ganguli-Mitra, Huib Vriend.

by Schmidt, Markus [editor.] | Kelle, Alexander [editor.] | Ganguli-Mitra, Agomoni [editor.] | Vriend, Huib [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
1197. A3 Adenosine Receptors from Cell Biology to Pharmacology and Therapeutics [electronic resource] / edited by Pier Andrea Borea.

by Borea, Pier Andrea [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
1198. Nuclear Power and Energy Security [electronic resource] / edited by Samuel A. Apikyan, David J. Diamond.

by Apikyan, Samuel A [editor.] | Diamond, David J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Other title: Proceedings of the NATO Advanced Research Workshop on Nuclear Power and Energy Security Yerevan, Armenia 26-29 May 2009.Online access: Click here to access online Availability: No items available
1199. Threats to Food and Water Chain Infrastructure [electronic resource] / edited by Virginia Koukouliou, Magdalena Ujevic, Otto Premstaller.

by Koukouliou, Virginia [editor.] | Ujevic, Magdalena [editor.] | Premstaller, Otto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Other title: Proceedings of the NATO Advanced Research Workshop on Threats to Food and Water Chain Infrastrusture Vienna, Austria 3-5 December 2008.Online access: Click here to access online Availability: No items available
1200. Securing Electricity Supply in the Cyber Age [electronic resource] : Exploring the Risks of Information and Communication Technology in Tomorrow's Electricity Infrastructure / edited by Zofia Lukszo, Geert Deconinck, Margot P. C. Weijnen.

by Lukszo, Zofia [editor.] | Deconinck, Geert [editor.] | Weijnen, Margot P. C [editor.] | SpringerLink (Online service).

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