Your search returned 16260 results. Subscribe to this search

|
7781. Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin.

by Qin, Shengchao | 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
7782. Advances in Information Technology [electronic resource] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings / edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja.

by Papasratorn, Borworn | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak | 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
7783. Concrete Fracture Models and Applications [electronic resource] / by Shailendra Kumar, Sudhirkumar V Barai.

by Kumar, Shailendra | Barai, Sudhirkumar 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, 2011Online access: Click here to access online Availability: No items available
7784. Design Methodologies for Secure Embedded Systems [electronic resource] : Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss / edited by Alexander Biedermann, H. Gregor Molter.

by Biedermann, Alexander | Molter, H. Gregor | 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
7785. Practice-Driven Research on Enterprise Transformation [electronic resource] : Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings / edited by Frank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek.

by Harmsen, Frank | Proper, Erik | Schalkwijk, Frank | Barjis, Joseph | Overbeek, Sietse | 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
7786. Stability Analysis and Nonlinear Observer Design Using Takagi-Sugeno Fuzzy Models [electronic resource] / by Zsófia Lendek, Thierry Marie Guerra, Robert Babuška, Bart Schutter.

by Lendek, Zsófia | Guerra, Thierry Marie | Babuška, Robert | Schutter, Bart | 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
7787. Robotic Systems for Handling and Assembly [electronic resource] / edited by Daniel Schütz, Friedrich M. Wahl.

by Schütz, Daniel | Wahl, Friedrich 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, 2011Online access: Click here to access online Availability: No items available
7788. Intelligent Networking, Collaborative Systems and Applications [electronic resource] / edited by Santi Caballé, Fatos Xhafa, Ajith Abraham.

by Caballé, Santi | Xhafa, Fatos | Abraham, Ajith | 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
7789. Trends in Enterprise Architecture Research [electronic resource] : 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings / edited by Erik Proper, Marc M. Lankhorst, Marten Schönherr, Joseph Barjis, Sietse Overbeek.

by Proper, Erik | Lankhorst, Marc M | Schönherr, Marten | Barjis, Joseph | Overbeek, Sietse | 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
7790. Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers / edited by Siddika Berna Ors Yalcin.

by Ors Yalcin, Siddika Berna | 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
7791. Modelling Autonomic Communication Environments [electronic resource] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer.

by Brennan, Rob | Fleck, Joel | Meer, Sven | 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
7792. Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák.

by Dix, Jürgen | Fisher, Michael | Novák, Peter | 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
7793. Approximation Algorithms for Complex Systems [electronic resource] : Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009 / edited by Emmanuil H Georgoulis, Armin Iske, Jeremy Levesley.

by Georgoulis, Emmanuil H | Iske, Armin | Levesley, Jeremy | 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
7794. Fuzzy-Like Multiple Objective Decision Making [electronic resource] / by Jiuping Xu, Xiaoyang Zhou.

by Xu, Jiuping | Zhou, Xiaoyang | 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
7795. Context-Aware Ranking with Factorization Models [electronic resource] / by Steffen Rendle.

by Rendle, Steffen | 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
7796. 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
7797. A Roadmap for Cognitive Development in Humanoid Robots [electronic resource] / by David Vernon, Claes Hofsten, Luciano Fadiga.

by Vernon, David | Hofsten, Claes | Fadiga, Luciano | 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
7798. 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
7799. 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
7800. 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

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