Your search returned 3586 results. Subscribe to this search

|
1621. Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu.

by Dong, Jin Song | Zhu, Huibiao | 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
1622. Ambient Intelligence [electronic resource] : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings / edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez.

by Ruyter, Boris | Wichert, Reiner | Keyson, David V | Markopoulos, Panos | Streitz, Norbert | Divitini, Monica | Georgantas, Nikolaos | Mana Gomez, Antonio | 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
1623. Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers / edited by Dimitrios M. Thilikos.

by Thilikos, Dimitrios 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, 2010Online access: Click here to access online Availability: No items available
1624. On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | 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
1625. The Emerging Domain of Cooperating Objects [electronic resource] / edited by Pedro José Marron, Stamatis Karnouskos, Daniel Minder, Aníbal Ollero.

by Marron, Pedro José | Karnouskos, Stamatis | Minder, Daniel | Ollero, Aníbal | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1626. On the Move to Meaningful Internet Systems, OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | 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
1627. Middleware 2010 [electronic resource] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo.

by Gupta, Indranil | Mascolo, Cecilia | 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
1628. On the Move to Meaningful Internet Systems: OTM 2010 Workshops [electronic resource] : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero.

by Meersman, Robert | Dillon, Tharam | Herrero, Pilar | 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
1629. Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem.

by Lukowicz, Paul | Kunze, Kai | Kortuem, Gerd | 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
1630. Current Trends in Web Engineering [electronic resource] : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers / edited by Florian Daniel, Federico Michele Facca.

by Daniel, Florian | Facca, Federico Michele | 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
1631. Algorithms for Sensor Systems [electronic resource] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler.

by Scheideler, Christian | 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
1632. Artificial Intelligence and Cognitive Science [electronic resource] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers / edited by Lorcan Coyle, Jill Freyne.

by Coyle, Lorcan | Freyne, Jill | 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
1633. Transactions on Computational Collective Intelligence II [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.

by Nguyen, Ngoc Thanh | Kowalczyk, Ryszard | 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
1634. Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.

by Siegler, Simon | Wasser, Nathan | 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
1635. Decision and Game Theory for Security [electronic resource] : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings / edited by Tansu Alpcan, Levente Buttyán, John S. Baras.

by Alpcan, Tansu | Buttyán, Levente | Baras, John 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, 2010Online access: Click here to access online Availability: No items available
1636. From Active Data Management to Event-Based Systems and More [electronic resource] : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday / edited by Kai Sachs, Ilia Petrov, Pablo Guerrero.

by Sachs, Kai | Petrov, Ilia | Guerrero, Pablo | 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
1637. Advanced Data Mining and Applications [electronic resource] : 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II / edited by Longbing Cao, Jiang Zhong, Yong Feng.

by Cao, Longbing | Zhong, Jiang | Feng, 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, 2010Online access: Click here to access online Availability: No items available
1638. Advanced Data Mining and Applications [electronic resource] : 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I / edited by Longbing Cao, Yong Feng, Jiang Zhong.

by Cao, Longbing | Feng, Yong | Zhong, Jiang | 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
1639. Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings / edited by Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk.

by Ando, Noriaki | Balakirsky, Stephen | Hemker, Thomas | Reggiani, Monica | Stryk, Oskar | 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
1640. Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.

by Engels, Gregor | Lewerentz, Claus | Schäfer, Wilhelm | Schürr, Andy | Westfechtel, Bernhard | 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

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