Your search returned 23186 results. Subscribe to this search

|
5281. Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul | 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
5282. Cryptographic Hardware and Embedded Systems – CHES 2005 [electronic resource] : 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings / edited by Josyula R. Rao, Berk Sunar.

by Rao, Josyula R | Sunar, Berk | 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
5283. UbiComp 2005: Ubiquitous Computing [electronic resource] : 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings / edited by Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda.

by Beigl, Michael | Intille, Stephen | Rekimoto, Jun | Tokuda, Hideyuki | 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
5284. Pattern Recognition [electronic resource] : 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005. Proceedings / edited by Walter G. Kropatsch, Robert Sablatnig, Allan Hanbury.

by Kropatsch, Walter G | Sablatnig, Robert | Hanbury, Allan | 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
5285. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI Users’ Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedings / edited by Beniamino Martino, Dieter Kranzlmüller, Jack Dongarra.

by Martino, Beniamino | Kranzlmüller, Dieter | 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
5286. Advances in Multimedia Information Systems [electronic resource] : 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005. Proceedings / edited by K. Selçuk Candan, Augusto Celentano.

by Candan, K. Selçuk | Celentano, Augusto | 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
5287. Agent-Oriented Information Systems II [electronic resource] : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004, and New York, NY, USA, July 20, 2004, Revised Selected Papers / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff.

by Bresciani, Paolo | Giorgini, Paolo | Henderson-Sellers, Brian | Low, Graham | Winikoff, 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
5288. Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta.

by Gabbrielli, Maurizio | Gupta, Gopal | 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
5289. Foundations of Intelligent Systems [electronic resource] : 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings / edited by Mohand-Said Hacid, Neil V. Murray, Zbigniew W. Raś, Shusaku Tsumoto.

by Hacid, Mohand-Said | Murray, Neil V | Raś, Zbigniew W | Tsumoto, Shusaku | 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
5290. Research in Computational Molecular Biology [electronic resource] : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings / edited by Satoru Miyano, Jill Mesirov, Simon Kasif, Sorin Istrail, Pavel A. Pevzner, Michael Waterman.

by Miyano, Satoru | Mesirov, Jill | Kasif, Simon | Istrail, Sorin | Pevzner, Pavel A | Waterman, 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
5291. Algorithms – ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings / edited by Gerth Stølting Brodal, Stefano Leonardi.

by Brodal, Gerth Stølting | Leonardi, Stefano | 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
5292. Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings / edited by Balázs Kégl, Guy Lapalme.

by Kégl, Balázs | Lapalme, Guy | 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
5293. Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot.

by Blache, Philippe | Stabler, Edward | Busquets, Joan | Moot, 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, 2005Online access: Click here to access online Availability: No items available
5294. Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele.

by Morari, Manfred | Thiele, Lothar | 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
5295. Network Analysis [electronic resource] : Methodological Foundations / edited by Ulrik Brandes, Thomas Erlebach.

by Brandes, Ulrik | Erlebach, 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
5296. Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I / edited by Pascal Lorenz, Petre Dini.

by Lorenz, Pascal | Dini, Petre | 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
5297. Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II / edited by Pascal Lorenz, Petre Dini.

by Lorenz, Pascal | Dini, Petre | 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
5298. From Computer Literacy to Informatics Fundamentals [electronic resource] : International Conference on Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings / edited by Roland T. Mittermeir.

by Mittermeir, Roland 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, 2005Online access: Click here to access online Availability: No items available
5299. Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas.

by Fiadeiro, José Luiz | Mosses, Peter D | Orejas, Fernando | 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
5300. Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers / edited by David Martin, Andrei Serjantov.

by Martin, David | Serjantov, 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, 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