Your search returned 19172 results. Subscribe to this search

|
1101. Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper.

by Atkinson, Colin | Bunse, Christian | Gross, Hans-Gerhard | Peper, Christian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1102. Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers / edited by Refik Molva, Gene Tsudik, Dirk Westhoff.

by Molva, Refik | Tsudik, Gene | Westhoff, Dirk | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1103. Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi.

by Pettersson, Paul | Yi, Wang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1104. Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1105. New Algorithms for Macromolecular Simulation [electronic resource] / edited by Benedict Leimkuhler, Christophe Chipot, Ron Elber, Aatto Laaksonen, Alan Mark, Tamar Schlick, Christoph Schütte, Robert Skeel.

by Leimkuhler, Benedict | Chipot, Christophe | Elber, Ron | Laaksonen, Aatto | Mark, Alan | Schlick, Tamar | Schütte, Christoph | Skeel, Robert | 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
1106. Numerical Solution of Partial Differential Equations on Parallel Computers [electronic resource] / edited by Are Magnus Bruaset, Aslak Tveito.

by Bruaset, Are Magnus | Tveito, Aslak | 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
1107. Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer.

by Althoff, Klaus-Dieter | Dengel, Andreas | Bergmann, Ralph | Nick, Markus | Roth-Berghofer, Thomas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1108. Advances in Biometrics [electronic resource] : International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006. Proceedings / edited by David Zhang, Anil K. Jain.

by Zhang, David | Jain, Anil K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1109. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi.

by Emerson, E. Allen | Namjoshi, Kedar S | 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
1110. Statistical Hydrodynamic Models for Developed Mixing Instability Flows [electronic resource] : Analytical “0D„ Evaluation Criteria, and Comparison of Single-and Two-Phase Flow Approaches / by Antoine Llor.

by Llor, Antoine | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1111. Topics in Hyposonic Flow Theory [electronic resource] / by Radyadour Zeytounian.

by Zeytounian, Radyadour | 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
1112. Magnetism and Structure in Functional Materials [electronic resource] / edited by Antoni Planes, Lluís Mañosa, Avadh Saxena.

by Planes, Antoni | Mañosa, Lluís | Saxena, Avadh | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1113. Explicit Stability Conditions for Continuous Systems [electronic resource] : A Functional Analytic Approach / by Michael I. Gil’.

by Gil’, Michael I | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1114. Audio- and Video-Based Biometric Person Authentication [electronic resource] : 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005. Proceedings / edited by Takeo Kanade, Anil Jain, Nalini K. Ratha.

by Kanade, Takeo | Jain, Anil | Ratha, Nalini K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1115. Growing Black Holes: Accretion in a Cosmological Context [electronic resource] : Proceedings of the MPA/ESO/MPE/USM Joint Astronomy Conference Held at Garching, Germany, 21-25 June 2004 / edited by Andrea Merloni, Sergei Nayakshin, Rashid A. Sunyaev.

by Merloni, Andrea | Nayakshin, Sergei | Sunyaev, Rashid A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1116. Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö.

by Bomarius, Frank | Komi-Sirviö, Seija | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1117. Multiwavelength Mapping of Galaxy Formation and Evolution [electronic resource] : Proceedings of the ESO Workshop Held at Venice, Italy, 13-16 October 2003 / edited by Alvio Renzini, Ralf Bender.

by Renzini, Alvio | Bender, Ralf | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1118. Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings / edited by Klaus Julisch, Christopher Kruegel.

by Julisch, Klaus | Kruegel, Christopher | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1119. Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings / edited by Carlos Bento, Amílcar Cardoso, Gaël Dias.

by Bento, Carlos | Cardoso, Amílcar | Dias, Gaël | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
1120. Architecting Dependable Systems III [electronic resource] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky.

by Lemos, Rogério | Gacek, Cristina | Romanovsky, Alexander | SpringerLink (Online service).

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