Your search returned 6201 results. Subscribe to this search

|
1421. Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn.

by Barker, Steve | Ahn, Gail-Joon | 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
1422. Advances in Spatial and Temporal Databases [electronic resource] : 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedings / edited by Dimitris Papadias, Donghui Zhang, George Kollios.

by Papadias, Dimitris | Zhang, Donghui | Kollios, George | 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
1423. Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings / edited by Guohui Lin.

by Lin, Guohui | 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
1424. Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings / edited by Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua.

by Xiao, Bin | Yang, Laurence T | Ma, Jianhua | Muller-Schloer, Christian | Hua, Yu | 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
1425. Ubiquitous Intelligence and Computing [electronic resource] : 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings / edited by Jadwiga Indulska, Jianhua Ma, Laurence T. Yang, Theo Ungerer, Jiannong Cao.

by Indulska, Jadwiga | Ma, Jianhua | Yang, Laurence T | Ungerer, Theo | Cao, Jiannong | 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
1426. Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford.

by Schmidt, Heinz W | Crnkovic, Ivica | Heineman, George T | Stafford, Judith 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, 2007Online access: Click here to access online Availability: No items available
1427. Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings / edited by Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham.

by Akl, Selim G | Calude, Cristian S | Dinneen, Michael J | Rozenberg, Grzegorz | Wareham, H. Todd | 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
1428. Combinatorial Optimization and Applications [electronic resource] : First International Conference, COCOA 2007, Xi’an, China, August 14-16, 2007. Proceedings / edited by Andreas Dress, Yinfeng Xu, Binhai Zhu.

by Dress, Andreas | Xu, Yinfeng | Zhu, Binhai | 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
1429. Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml.

by Miguel, Ian | Ruml, Wheeler | 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
1430. ECOOP 2007 – Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

by Ernst, Erik | 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
1431. Automated Deduction – CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning.

by Pfenning, Frank | 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
1432. Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings / edited by Luciano Baresi, Piero Fraternali, Geert-Jan Houben.

by Baresi, Luciano | Fraternali, Piero | Houben, Geert-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, 2007Online access: Click here to access online Availability: No items available
1433. Artificial Intelligence in Medicine [electronic resource] : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings / edited by Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter.

by Bellazzi, Riccardo | Abu-Hanna, Ameen | Hunter, Jim | 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
1434. Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings / edited by Bernhard Hämmerli, Robin Sommer.

by Hämmerli, Bernhard | Sommer, Robin | 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
1435. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings / edited by Stamatis Vassiliadis, Mladen Bereković, Timo D. Hämäläinen.

by Vassiliadis, Stamatis | Bereković, Mladen | Hämäläinen, Timo D | 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
1436. Conceptual Structures: Knowledge Architectures for Smart Applications [electronic resource] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings / edited by Uta Priss, Simon Polovina, Richard Hill.

by Priss, Uta | Polovina, Simon | Hill, Richard | 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
1437. Modeling Decisions for Artificial Intelligence [electronic resource] : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Yuji Yoshida.

by Torra, Vicenç | Narukawa, Yasuo | Yoshida, Yuji | 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
1438. Advances in Bioinformatics and Computational Biology [electronic resource] : Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings / edited by Marie-France Sagot, Maria Emilia M. T. Walter.

by Sagot, Marie-France | Walter, Maria Emilia M. T | 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
1439. Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer.

by Gurevich, Yuri | Meyer, Bertrand | 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
1440. Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings / edited by Franco P. Preparata, Qizhi Fang.

by Preparata, Franco P | Fang, Qizhi | 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