Your search returned 532 results. Subscribe to this search

|
101. Making Systems Safer [electronic resource] : Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / edited by Chris Dale, Tom Anderson.

by Dale, Chris | Anderson, Tom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
102. Electronic Value Exchange [electronic resource] : Origins of the VISA Electronic Payment System / by David L. Stearns.

by Stearns, David L | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
103. Cloud Computing [electronic resource] : Principles, Systems and Applications / edited by Nick Antonopoulos, Lee Gillam.

by Antonopoulos, Nick | Gillam, Lee | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
104. Requirements Engineering [electronic resource] / by Elizabeth Hull, Ken Jackson, Jeremy Dick.

by Hull, Elizabeth | Jackson, Ken | Dick, Jeremy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
105. Web Engineering [electronic resource] / edited by Emilia Mendes, Nile Mosley.

by Mendes, Emilia | Mosley, Nile | 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
106. Guerrilla Capacity Planning [electronic resource] : A Tactical Approach to Planning for Highly Scalable Applications and Services / by Neil J. Gunther.

by Gunther, Neil 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, 2007Online access: Click here to access online Availability: No items available
107. Control Reconfiguration of Dynamical Systems [electronic resource] / by Thomas Steffen.

by Steffen, 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
108. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings / edited by Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis.

by Hämäläinen, Timo D | Pimentel, Andy D | Takala, Jarmo | Vassiliadis, Stamatis | 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
109. Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu.

by Wu, Zhaohui | Chen, Chun | Guo, Minyi | Bu, Jiajun | 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
110. Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro.

by Bravetti, Mario | Kloul, Leïla | Zavattaro, Gianluigi | 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
111. Passive and Active Network Measurement [electronic resource] : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings / edited by Constantinos Dovrolis.

by Dovrolis, Constantinos | 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
112. NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings / edited by Raouf Boutaba, Kevin Almeroth, Ramon Puigjaner, Sherman Shen, James P. Black.

by Boutaba, Raouf | Almeroth, Kevin | Puigjaner, Ramon | Shen, Sherman | Black, James 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, 2005Online access: Click here to access online Availability: No items available
113. Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Cin, Mohamed Kaâniche, András Pataricza.

by Cin, Mario | Kaâniche, Mohamed | Pataricza, Andrá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, 2005Online access: Click here to access online Availability: No items available
114. Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings / edited by Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder.

by Reussner, Ralf | Mayer, Johannes | Stafford, Judith A | Overhage, Sven | Becker, Steffen | Schroeder, Patrick 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, 2005Online access: Click here to access online Availability: No items available
115. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings / edited by Vassilis Paliouras, Johan Vounckx, Diederik Verkest.

by Paliouras, Vassilis | Vounckx, Johan | Verkest, Diederik | 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
116. Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais Assis Silva.

by Maziero, Carlos Alberto | Gabriel Silva, João | Andrade, Aline Maria Santos | Assis Silva, Flávio Morais | 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
117. Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra.

by Pan, Yi | Chen, Daoxu | Guo, Minyi | Cao, Jiannong | Dongarra, Jack | 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
118. Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [electronic resource] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu.

by Chen, Guihai | Pan, Yi | Guo, Minyi | Lu, Jian | 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
119. Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin.

by Yang, Laurence T | Zhou, Xingshe | Zhao, Wei | Wu, Zhaohui | Zhu, Yian | Lin, Man | 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
120. Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira.

by Chung, Yeh-Ching | Moreira, José E | 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