Your search returned 6201 results. Subscribe to this search

|
1181. Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre.

by Meyden, Ron | Torre, Leendert | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1182. Digital Mammography [electronic resource] : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings / edited by Elizabeth A. Krupinski.

by Krupinski, Elizabeth 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, 2008Online access: Click here to access online Availability: No items available
1183. Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.

by Miesenberger, Klaus | Klaus, Joachim | Zagler, Wolfgang | Karshmer, Arthur | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1184. Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings / edited by Diego Zamboni.

by 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, 2008Online access: Click here to access online Availability: No items available
1185. Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik.

by Gupta, Aarti | Malik, Sharad | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1186. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / edited by Mladen Bereković, Nikitas Dimopoulos, Stephan Wong.

by Bereković, Mladen | Dimopoulos, Nikitas | Wong, Stephan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1187. Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] : Results of the IMPROVE Project / edited by Manfred Nagl, Wolfgang Marquardt.

by Nagl, Manfred | Marquardt, Wolfgang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1188. Data and Applications Security XXII [electronic resource] : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / edited by Vijay Atluri.

by Atluri, Vijay | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1189. Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by T. C. Nicholas Graham, Philippe Palanque.

by Graham, T. C. Nicholas | Palanque, Philippe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1190. Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.

by Aceto, Luca | Damgård, Ivan | Goldberg, Leslie Ann | Halldórsson, Magnús M | Ingólfsdóttir, Anna | Walukiewicz, Igor | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1191. Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.

by Aceto, Luca | Damgård, Ivan | Goldberg, Leslie Ann | Halldórsson, Magnús M | Ingólfsdóttir, Anna | Walukiewicz, Igor | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1192. Computer-Human Interaction [electronic resource] : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings / edited by Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin.

by Lee, Seongil | Choo, Hyunseung | Ha, Sungdo | Shin, In Chul | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1193. Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / edited by David Hausheer, Jürgen Schönwälder.

by Hausheer, David | Schönwälder, Jürgen | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1194. Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1195. ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek.

by Vitek, Jan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1196. Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring.

by Audebaud, Philippe | Paulin-Mohring, Christine | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1197. Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / edited by Peter Eklund, Ollivier Haemmerlé.

by Eklund, Peter | Haemmerlé, Ollivier | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1198. Privacy Enhancing Technologies [electronic resource] : 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings / edited by Nikita Borisov, Ian Goldberg.

by Borisov, Nikita | Goldberg, Ian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
1199. Journal on Data Semantics VIII [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu.

by Spaccapietra, Stefano | Atzeni, Paolo | Fages, François | Hacid, Mohand-Saïd | Kifer, Michael | Mylopoulos, John | Pernici, Barbara | Shvaiko, Pavel | Trujillo, Juan | Zaihrayeu, Ilya | 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
1200. Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu.

by Akiyama, Jin | Chen, William Y. C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | 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

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue