Your search returned 13655 results. Subscribe to this search

|
4921. Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes.

by Barnes, John | 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
4922. Agents and Peer-to-Peer Computing [electronic resource] : 5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi.

by Joseph, Sam | Despotovic, Zoran | Moro, Gianluca | Bergamaschi, Sonia | 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
4923. Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.

by Leue, Stefan | Merino, Pedro | 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
4924. Computer Science – Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings / edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko.

by Hirsch, Edward A | Razborov, Alexander A | Semenov, Alexei | Slissenko, Anatol | 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
4925. Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao.

by Kleine Büning, Hans | Zhao, Xishun | 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
4926. Rough Sets and Knowledge Technology [electronic resource] : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings / edited by Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao.

by Wang, Guoyin | Li, Tianrui | Grzymala-Busse, Jerzy W | Miao, Duoqian | 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, 2008Online access: Click here to access online Availability: No items available
4927. Parameterized and Exact Computation [electronic resource] : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings / edited by Martin Grohe, Rolf Niedermeier.

by Grohe, Martin | Niedermeier, Rolf | 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
4928. Adaptive Multimedial Retrieval: Retrieval, User, and Semantics [electronic resource] : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers / edited by Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger.

by Boujemaa, Nozha | Detyniecki, Marcin | Nürnberger, Andreas | 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
4929. Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks [electronic resource] : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings / edited by Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis.

by Onieva, Jose A | Sauveron, Damien | Chaumette, Serge | Gollmann, Dieter | Markantonakis, Konstantinos | 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
4930. Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings / edited by Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo.

by Kowalczyk, Ryszard | Huhns, Michael | Klusch, Matthias | Maamar, Zakaria | Vo, Quoc Bao | 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
4931. Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu.

by Meseguer, José | Roşu, Grigore | 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
4932. Medical Imaging and Augmented Reality [electronic resource] : 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings / edited by Takeyoshi Dohi, Ichiro Sakuma, Hongen Liao.

by Dohi, Takeyoshi | Sakuma, Ichiro | Liao, Hongen | 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
4933. Cellular Automata [electronic resource] : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini.

by Umeo, Hiroshi | Morishita, Shin | Nishinari, Katsuhiro | Komatsuzaki, Toshihiko | Bandini, Stefania | 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
4934. Meshfree Methods for Partial Differential Equations IV [electronic resource] / edited by Michael Griebel, Marc Alexander Schweitzer.

by Griebel, Michael | Schweitzer, Marc Alexander | 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
4935. GeoSensor Networks [electronic resource] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / edited by Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis.

by Nittel, Silvia | Labrinidis, Alexandros | Stefanidis, Anthony | 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
4936. Storage Management in Data Centers [electronic resource] : Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation / by Albrecht Scriba, Volker Herminghaus.

by Scriba, Albrecht | Herminghaus, Volker | 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
4937. Engineering Environment-Mediated Multi-Agent Systems [electronic resource] : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / edited by Danny Weyns, Sven A. Brueckner, Yves Demazeau.

by Weyns, Danny | Brueckner, Sven A | Demazeau, Yves | 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
4938. Advances in Web Based Learning - ICWL 2008 [electronic resource] : 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings / edited by Frederick Li, Jianmin Zhao, Timothy K. Shih, Rynson Lau, Qing Li, Dennis McLeod.

by Li, Frederick | Zhao, Jianmin | Shih, Timothy K | Lau, Rynson | Li, Qing | McLeod, Dennis | 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
4939. Computer Music Modeling and Retrieval. Sense of Sounds [electronic resource] : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers / edited by Richard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen.

by Kronland-Martinet, Richard | Ystad, Sølvi | Jensen, Kristoffer | 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
4940. Cryptographic Hardware and Embedded Systems – CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / edited by Elisabeth Oswald, Pankaj Rohatgi.

by Oswald, Elisabeth | Rohatgi, Pankaj | 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

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue