Your search returned 1440 results. Subscribe to this search

|
121. Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings.

by Vardanega, Tullio | Wellings, Andy | 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
122. Financial Cryptography and Data Security [electronic resource] : 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers / edited by Andrew S. Patrick, Moti Yung.

by Patrick, Andrew S | Yung, Moti | 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
123. Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings / edited by Colin Boyd, Juan Manuel González Nieto.

by Boyd, Colin | González Nieto, Juan Manuel | 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
124. FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.

by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | 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
125. ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew P. Black.

by Black, Andrew 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
126. Electronic Government [electronic resource] : 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Maria A. Wimmer, Roland Traunmüller, Åke Grönlund, Kim V. Andersen.

by Wimmer, Maria A | Traunmüller, Roland | Grönlund, Åke | Andersen, Kim V | 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
127. Recent Advances in Intrusion Detection [electronic resource] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers / edited by Alfonso Valdes, Diego Zamboni.

by Valdes, Alfonso | Zamboni, Diego | 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
128. Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers / edited by Jean-Michel Bruel.

by Bruel, Jean-Michel | 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
129. Trust, Privacy, and Security in Digital Business [electronic resource] : Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Sokratis Katsikas, Javier López, Günther Pernul.

by Katsikas, Sokratis | López, Javier | Pernul, Günther | 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
130. UML Modeling Languages and Applications [electronic resource] : < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez.

by Jardim Nunes, Nuno | Selic, Bran | Rodrigues da Silva, Alberto | Toval Alvarez, Ambrosio | 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
131. Digital Watermarking [electronic resource] : Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers / edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee.

by Cox, Ingemar J | Kalker, Ton | Lee, Heung-Kyu | 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
132. Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 [electronic resource] : 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings / edited by Shinji Shimojo, Shingo Ichii, Tok-Wang Ling, Kwan-Ho Song.

by Shimojo, Shinji | Ichii, Shingo | Ling, Tok-Wang | Song, Kwan-Ho | 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
133. Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung.

by Lim, Chae Hoon | Yung, Moti | 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
134. Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink.

by Aßmann, Uwe | Aksit, Mehmet | Rensink, Arend | 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
135. Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, 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, 2005Online access: Click here to access online Availability: No items available
136. Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.

by Grabowski, Jens | Nielsen, Brian | 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
137. Advances in Cryptology – CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings / edited by Victor Shoup.

by Shoup, Victor | 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
138. Business Process Management [electronic resource] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings / edited by Wil M. P. Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera.

by Aalst, Wil M. P | Benatallah, Boualem | Casati, Fabio | Curbera, Francisco | 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
139. Information Security [electronic resource] : 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings / edited by Jianying Zhou, Javier Lopez, Robert H. Deng, Feng Bao.

by Zhou, Jianying | Lopez, Javier | Deng, Robert H | Bao, Feng | 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
140. Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.

by Aldini, Alessandro | Gorrieri, Roberto | Martinelli, Fabio | 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