Your search returned 16260 results. Subscribe to this search

|
6661. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

by Kowalewski, Stefan | Philippou, Anna | 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
6662. Earthquakes and Water [electronic resource] / by Chi-yuen Wang, Michael Manga.

by Wang, Chi-yuen | Manga, 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, 2009Online access: Click here to access online Availability: No items available
6663. Experimental Techniques in Nuclear and Particle Physics [electronic resource] / by Stefaan Tavernier.

by Tavernier, Stefaan | 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
6664. Analysis and Control of Nonlinear Systems [electronic resource] : A Flatness-based Approach / by Jean Levine.

by Levine, Jean | 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
6665. Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable / by Jan Dünnweber, Sergei Gorlatch.

by Dünnweber, Jan | Gorlatch, Sergei | 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
6666. Dynamic and Transient Infinite Elements [electronic resource] : Theory and Geophysical, Geotechnical and Geoenvironmental Applications / by Chongbin Zhao.

by Zhao, Chongbin | 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
6667. Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna.

by Butler, Michael | Jones, Cliff | Romanovsky, Alexander | Troubitsyna, Elena | 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
6668. Emergence, Analysis and Evolution of Structures [electronic resource] : Concepts and Strategies Across Disciplines / edited by Klaus Lucas, Peter Roosen.

by Lucas, Klaus | Roosen, Peter | 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
6669. Radiation Physics for Medical Physicists [electronic resource] / by Ervin B. Podgorsak.

by Podgorsak, Ervin B | 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
6670. Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst.

by Jensen, Kurt | Aalst, Wil M. P | 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
6671. New Advances in Intelligent Decision Technologies [electronic resource] : Results of the First KES International Symposium IDT 2009 / edited by Kazumi Nakamatsu, Gloria Phillips-Wren, Lakhmi C. Jain, Robert J. Howlett.

by Nakamatsu, Kazumi | Phillips-Wren, Gloria | Jain, Lakhmi C | Howlett, Robert J | 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
6672. Mechanics of Microstructured Solids [electronic resource] : Cellular Materials, Fibre Reinforced Solids and Soft Tissues / edited by J.-F. Ganghoffer, Franco Pastrone.

by Ganghoffer, J.-F | Pastrone, Franco | 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
6673. Chaos: Concepts, Control and Constructive Use [electronic resource] / by Yurii Bolotin, Anatoli Tur, Vladimir Yanovsky.

by Bolotin, Yurii | Tur, Anatoli | Yanovsky, Vladimir | 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
6674. Security Access in Wireless Local Area Networks [electronic resource] : From Architecture and Protocols to Realization / by Jianfeng Ma, Changguang Wang, Zhuo Ma.

by Ma, Jianfeng | Wang, Changguang | Ma, Zhuo | 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
6675. Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / edited by Christos Kaklamanis, Flemming Nielson.

by Kaklamanis, Christos | Nielson, Flemming | 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
6676. Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / edited by Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha.

by César, Eduardo | Alexander, Michael | Streit, Achim | Träff, Jesper Larsson | Cérin, Christophe | Knüpfer, Andreas | Kranzlmüller, Dieter | Jha, Shantenu | 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
6677. Active and Programmable Networks [electronic resource] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers / edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden.

by Hutchison, David | Denazis, Spyros | Lefevre, Laurent | Minden, Gary J | 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
6678. Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings / edited by Sue B. Moon, Renata Teixeira, Steve Uhlig.

by Moon, Sue B | Teixeira, Renata | Uhlig, Steve | 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
6679. Future Internet – FIS 2008 [electronic resource] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers / edited by John Domingue, Dieter Fensel, Paolo Traverso.

by Domingue, John | Fensel, Dieter | Traverso, Paolo | 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
6680. Transactions on Computational Science IV [electronic resource] : Special Issue on Security in Computing / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.

by Gavrilova, Marina L | Tan, C. J. Kenneth | Moreno, Edward David | 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