Your search returned 6201 results. Subscribe to this search

|
2101. Complexity of Constraints [electronic resource] : An Overview of Current Research Themes / edited by Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer.

by Creignou, Nadia | Kolaitis, Phokion G | Vollmer, Heribert | 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
2102. Trust in Agent Societies [electronic resource] : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers / edited by Rino Falcone, Suzanne K. Barber, Jordi Sabater-Mir, Munindar P. Singh.

by Falcone, Rino | Barber, Suzanne K | Sabater-Mir, Jordi | Singh, Munindar 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, 2008Online access: Click here to access online Availability: No items available
2103. Groupware: Design, Implementation, and Use [electronic resource] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers / edited by Robert O. Briggs, Pedro Antunes, Gert-Jan Vreede, Aaron S. Read.

by Briggs, Robert O | Antunes, Pedro | Vreede, Gert-Jan | Read, Aaron S | 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
2104. High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes.

by Palma, José M. Laginha M | Amestoy, Patrick R | Daydé, Michel | Mattoso, Marta | Lopes, João Correia | 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
2105. Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers / edited by Sándor P. Fekete.

by Fekete, Sándor 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, 2008Online access: Click here to access online Availability: No items available
2106. Gesture-Based Human-Computer Interaction and Simulation [electronic resource] : 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers / edited by Miguel Sales Dias, Sylvie Gibet, Marcelo M. Wanderley, Rafael Bastos.

by Sales Dias, Miguel | Gibet, Sylvie | Wanderley, Marcelo M | Bastos, Rafael | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2107. Advances in Multimedia Modeling [electronic resource] : 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. / edited by Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis.

by Huet, Benoit | Smeaton, Alan | Mayer-Patel, Ketan | Avrithis, Yannis | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2108. Advances in Image and Video Technology [electronic resource] : Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings / edited by Toshikazu Wada, Fay Huang, Stephen Lin.

by Wada, Toshikazu | Huang, Fay | Lin, Stephen | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2109. High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings / edited by André Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer.

by Seznec, André | Emer, Joel | O’Boyle, Michael | Martonosi, Margaret | Ungerer, Theo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2110. Practical Aspects of Declarative Languages [electronic resource] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / edited by Andy Gill, Terrance Swift.

by Gill, Andy | Swift, Terrance | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2111. Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Kaeli, Kai Sachs.

by Kaeli, David | Sachs, Kai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2112. Service-Oriented Computing - ICSOC 2007 Workshops [electronic resource] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers / edited by Elisabetta Nitto, Matei Ripeanu.

by Nitto, Elisabetta | Ripeanu, Matei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2113. Sanskrit Computational Linguistics [electronic resource] : Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings / edited by Amba Kulkarni, Gérard Huet.

by Kulkarni, Amba | Huet, Gérard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2114. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm.

by Jones, Neil D | Müller-Olm, Markus | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2115. Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.

by Baldoni, Matteo | Son, Tran Cao | Riemsdijk, M. Birna | 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, 2009Online access: Click here to access online Availability: No items available
2116. Approximation and Online Algorithms [electronic resource] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers / edited by Evripidis Bampis, Martin Skutella.

by Bampis, Evripidis | Skutella, 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, 2009Online access: Click here to access online Availability: No items available
2117. Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / edited by David Wolfe Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Corne, David Wolfe | Frisco, Pierluigi | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2118. Software Engineering [electronic resource] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / edited by Andrea Lucia, Filomena Ferrucci.

by Lucia, Andrea | Ferrucci, Filomena | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
2119. SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia.

by Nielsen, Mogens | Kučera, Antonín | Miltersen, Peter Bro | Palamidessi, Catuscia | Tůma, Petr | Valencia, 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, 2009Online access: Click here to access online Availability: No items available
2120. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers / edited by Lars Svensson, José Monteiro.

by Svensson, Lars | Monteiro, José | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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