Your search returned 6201 results. Subscribe to this search

|
761. Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings / edited by Florian Hess, Sebastian Pauli, Michael Pohst.

by Hess, Florian | Pauli, Sebastian | Pohst, 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, 2006Online access: Click here to access online Availability: No items available
762. Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier.

by Butz, Andreas | Fisher, Brian | Krüger, Antonio | Olivier, Patrick | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
763. Rough Sets and Knowledge Technology [electronic resource] : First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings / edited by Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao.

by Wang, Guo-Ying | Peters, James F | Skowron, Andrzej | Yao, Yiyu | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
764. Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
765. Argumentation in Multi-Agent Systems [electronic resource] : Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands, July 26, 2005 Revised Selected and Invited Papers / edited by Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan.

by Parsons, Simon | Maudet, Nicolas | Moraitis, Pavlos | Rahwan, Iyad | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
766. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings / edited by Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen.

by Vassiliadis, Stamatis | Wong, Stephan | 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, 2006Online access: Click here to access online Availability: No items available
767. Data Integration in the Life Sciences [electronic resource] : Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006. Proceedings / edited by Ulf Leser, Felix Naumann, Barbara Eckman.

by Leser, Ulf | Naumann, Felix | Eckman, Barbara | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
768. Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers / edited by Matthew Robshaw.

by Robshaw, Matthew | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
769. Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński.

by Etalle, Sandro | Truszczyński, Mirosław | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
770. PRICAI 2006: Trends in Artificial Intelligence [electronic resource] : 9th Pacific Rim International Conference on Artificial Intelligence Guilin, China, August 7-11, 2006 Proceedings / edited by Qiang Yang, Geoff Webb.

by Yang, Qiang | Webb, Geoff | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
771. Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao.

by Sha, Edwin | Han, Sung-Kook | Xu, Cheng-Zhong | Kim, Moon-Hae | Yang, Laurence T | Xiao, Bin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
772. Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, 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, 2006Online access: Click here to access online Availability: No items available
773. Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu.

by Damiani, Ernesto | Liu, Peng | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
774. Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper.

by Kohlas, Jürg | Meyer, Bertrand | Schiper, André | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
775. Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 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, 2006Online access: Click here to access online Availability: No items available
776. Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings / edited by Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir.

by Roth-Berghofer, Thomas R | Göker, Mehmet H | Güvenir, H. Altay | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
777. Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu.

by Zhou, Xiaobo | Sokolsky, Oleg | Yan, Lu | Jung, Eun-Sun | Shao, Zili | Mu, Yi | Lee, Dong Chun | Kim, Dae Young | Jeong, Young-Sik | Xu, Cheng-Zhong | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
778. Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings / edited by Zhong-Zhi Shi, Ramakoti Sadananda.

by Shi, Zhong-Zhi | Sadananda, Ramakoti | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
779. Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı.

by Savacı, F. Acar | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
780. Reconfigurable Computing: Architectures and Applications [electronic resource] : Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers / edited by Koen Bertels, João M. P. Cardoso, Stamatis Vassiliadis.

by Bertels, Koen | Cardoso, João M. P | Vassiliadis, Stamatis | SpringerLink (Online service).

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