Your search returned 10041 results. Subscribe to this search

|
2481. Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / edited by Holger Giese.

by Giese, Holger | 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
2482. Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers / edited by Javier Lopez.

by Lopez, Javier | 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
2483. Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers / edited by Sotiris E. Nikoletseas, José D. P. Rolim.

by Nikoletseas, Sotiris E | Rolim, José D. 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, 2006Online access: Click here to access online Availability: No items available
2484. Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Hoogeboom, Hendrik Jan | 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, 2006Online access: Click here to access online Availability: No items available
2485. Model Driven Architecture – Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman.

by Schieferdecker, Ina | Hartman, Alan | 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
2486. Intelligent Tutoring Systems [electronic resource] : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings / edited by Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie.

by Woolf, Beverley P | Aïmeur, Esma | Nkambou, Roger | Lajoie, Susanne | 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
2487. From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / edited by Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani.

by Asada, Minoru | Hallam, John C. T | Meyer, Jean-Arcady | Tani, Jun | 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
2488. Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand | Woodcock, Jim | 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
2489. Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.

by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | 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
2490. Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.

by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | 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
2491. Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal.

by Alpuente, María | Vidal, Germán | 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
2492. Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / edited by Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari.

by Nikoletseas, Sotiris E | Chlebus, Bogdan S | Johnson, David B | Krishnamachari, Bhaskar | 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
2493. Security and Privacy in Ad-Hoc and Sensor Networks [electronic resource] : Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers / edited by Levente Buttyán, Virgil D. Gligor, Dirk Westhoff.

by Buttyán, Levente | Gligor, Virgil D | Westhoff, Dirk | 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
2494. Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch.

by Butterfield, Andrew | Grelck, Clemens | Huch, 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
2495. Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther | Roubens, Marc | 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
2496. Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata.

by Umeda, Masanobu | Wolf, Armin | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | 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
2497. Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Radu Prodan, Thomas Fahringer.

by Prodan, Radu | Fahringer, 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, 2007Online access: Click here to access online Availability: No items available
2498. Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski.

by Hinchey, Michael G | Rago, Patricia | Rash, James L | Rouff, Christopher A | Sterritt, Roy | Truszkowski, Walt | 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
2499. Machine Learning for Multimodal Interaction [electronic resource] : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers / edited by Steve Renals, Samy Bengio, Jonathan G. Fiscus.

by Renals, Steve | Bengio, Samy | Fiscus, Jonathan G | 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
2500. Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu.

by Schwentick, Thomas | Suciu, Dan | 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