Your search returned 6201 results. Subscribe to this search

|
1221. Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol.

by Brim, Luboš | Haverkort, Boudewijn | Leucker, Martin | Pol, Jaco | 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
1222. Information Visualization [electronic resource] : Human-Centered Issues and Perspectives / edited by Andreas Kerren, John T. Stasko, Jean-Daniel Fekete, Chris North.

by Kerren, Andreas | Stasko, John T | Fekete, Jean-Daniel | North, Chris | 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
1223. Semantic Web, Ontologies and Databases [electronic resource] : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers / edited by Vassilis Christophides, Martine Collard, Claudio Gutierrez.

by Christophides, Vassilis | Collard, Martine | Gutierrez, Claudio | 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
1224. Wireless Systems and Mobility in Next Generation Internet [electronic resource] : Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers / edited by Jorge García-Vidal, Llorenç Cerdà-Alabern.

by García-Vidal, Jorge | Cerdà-Alabern, Llorenç | 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
1225. Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings / edited by Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder.

by Nejdl, Wolfgang | Kay, Judy | Pu, Pearl | Herder, Eelco | 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
1226. New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers / edited by Akito Sakurai, Kôiti Hasida, Katsumi Nitta.

by Sakurai, Akito | Hasida, Kôiti | Nitta, Katsumi | 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
1227. Universal Access in Ambient Intelligence Environments [electronic resource] : 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers / edited by Constantine Stephanidis, Michael Pieper.

by Stephanidis, Constantine | Pieper, 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, 2007Online access: Click here to access online Availability: No items available
1228. Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers / edited by Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert.

by Lévy, Pierre P | Grand, Bénédicte | Poulet, François | Soto, Michel | Darago, Laszlo | Toubiana, Laurent | Vibert, Jean-François | 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
1229. Job Scheduling Strategies for Parallel Processing [electronic resource] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.

by Frachtenberg, Eitan | 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, 2007Online access: Click here to access online Availability: No items available
1230. Knowledge Discovery and Emergent Complexity in Bioinformatics [electronic resource] : First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers / edited by Karl Tuyls, Ronald Westra, Yvan Saeys, Ann Nowé.

by Tuyls, Karl | Westra, Ronald | Saeys, Yvan | Nowé, Ann | 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
1231. Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers / edited by Kaisa Nyberg.

by Nyberg, Kaisa | 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
1232. Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

by Mohamed, Otmane Ait | Muñoz, César | Tahar, Sofiène | 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
1233. Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

by Armando, Alessandro | Baumgartner, Peter | Dowek, Gilles | 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
1234. Visual Data Mining [electronic resource] : Theory, Techniques and Tools for Visual Analytics / edited by Simeon J. Simoff, Michael H. Böhlen, Arturas Mazeika.

by Simoff, Simeon J | Böhlen, Michael H | Mazeika, Arturas | 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
1235. Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae Kwang Lee, Okyeon Yi, Moti Yung.

by Lee, Jae Kwang | Yi, Okyeon | 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, 2007Online access: Click here to access online Availability: No items available
1236. Environments for Multi-Agent Systems III [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers / edited by Danny Weyns, H. Van Dyke Parunak, Fabien Michel.

by Weyns, Danny | Parunak, H. Van Dyke | Michel, Fabien | 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
1237. Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.

by Kordon, Fabrice | Sztipanovits, Janos | 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
1238. Transactions on Rough Sets VI [electronic resource] : Commemorating the Life and Work of Zdzisław Pawlak, Part I / edited by James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzymała-Busse, Ewa Orłowska, Lech Polkowski.

by Peters, James F | Skowron, Andrzej | Düntsch, Ivo | Grzymała-Busse, Jerzy | Orłowska, Ewa | Polkowski, Lech | 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
1239. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth.

by Grumberg, Orna | Huth, 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, 2007Online access: Click here to access online Availability: No items available
1240. Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky.

by Krishnamurthi, Shriram | Odersky, Martin | 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