Your search returned 1144 results. Subscribe to this search

|
381. Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell.

by Paech, Barbara | Martell, Craig | 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
382. Advances in Web Semantics I [electronic resource] : Ontologies, Web Services and Applied Semantic Web / edited by Tharam S. Dillon, Elizabeth Chang, Robert Meersman, Katia Sycara.

by Dillon, Tharam S | Chang, Elizabeth | Meersman, Robert | Sycara, Katia | 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
383. Advances in Computation and Intelligence [electronic resource] : Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu.

by Kang, Lishan | Cai, Zhihua | Yan, Xuesong | Liu, Yong | 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
384. The Algorithmic Beauty of Sea Shells [electronic resource] / by Hans Meinhardt.

by Meinhardt, Hans | 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
385. Bio-Inspired Computing and Communication [electronic resource] : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers / edited by Pietro Liò, Eiko Yoneki, Jon Crowcroft, Dinesh C. Verma.

by Liò, Pietro | Yoneki, Eiko | Crowcroft, Jon | Verma, Dinesh C | 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
386. Transactions on Computational Systems Biology X [electronic resource] / edited by Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom.

by Priami, Corrado | Dressler, Falko | Akan, Ozgur B | Ngom, Alioune | 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
387. Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson.

by Gulliksen, Jan | Harning, Morton Borup | Palanque, Philippe | Veer, Gerrit C | Wesson, Janet | 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
388. 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
389. Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraitis.

by Rahwan, Iyad | Moraitis, Pavlos | 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
390. Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen.

by Jensen, Kurt | Kristensen, Lars M | 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
391. Electronic Healthcare [electronic resource] : First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers / edited by Dasun Weerasinghe.

by Weerasinghe, Dasun | 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
392. Software Language Engineering [electronic resource] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers / edited by Dragan Gašević, Ralf Lämmel, Eric Wyk.

by Gašević, Dragan | Lämmel, Ralf | Wyk, Eric | 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
393. Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Jürg Kohlas.

by Lalanne, Denis | Kohlas, Jürg | 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
394. Numerical Analysis and Its Applications [electronic resource] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers / edited by Svetozar Margenov, Lubin G. Vulkov, Jerzy Waśniewski.

by Margenov, Svetozar | Vulkov, Lubin G | Waśniewski, Jerzy | 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
395. Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada.

by Majumdar, Rupak | Tabuada, Paulo | 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
396. Creating Brain-Like Intelligence [electronic resource] : From Basic Principles to Complex Intelligent Systems / edited by Bernhard Sendhoff, Edgar Körner, Olaf Sporns, Helge Ritter, Kenji Doya.

by Sendhoff, Bernhard | Körner, Edgar | Sporns, Olaf | Ritter, Helge | Doya, Kenji | 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
397. Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst.

by Jensen, Kurt | Aalst, Wil M. 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, 2009Online access: Click here to access online Availability: No items available
398. Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / edited by Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha.

by César, Eduardo | Alexander, Michael | Streit, Achim | Träff, Jesper Larsson | Cérin, Christophe | Knüpfer, Andreas | Kranzlmüller, Dieter | Jha, Shantenu | 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
399. Evolution of Communication and Language in Embodied Agents [electronic resource] / edited by Stefano Nolfi, Marco Mirolli.

by Nolfi, Stefano | Mirolli, Marco | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
400. Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers / edited by Michel R. V. Chaudron.

by Chaudron, Michel R. V | 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