Your search returned 3370 results. Subscribe to this search

|
2041. Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko.

by Cohen, Ernie [editor.] | Rybalchenko, Andrey [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2042. Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa.

by Alhazov, Artiom [editor.] | Cojocaru, Svetlana [editor.] | Gheorghe, Marian [editor.] | Rogozhin, Yurii [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2043. Software Reliability Modeling [electronic resource] : Fundamentals and Applications / by Shigeru Yamada.

by Yamada, Shigeru [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Tokyo : Springer Japan : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2044. Proceedings of International Conference on Internet Computing and Information Communications [electronic resource] : ICICIC Global 2012 / edited by Swamidoss Sathiakumar, Lalit Kumar Awasthi, M. Roberts Masillamani, S S Sridhar.

by Sathiakumar, Swamidoss [editor.] | Awasthi, Lalit Kumar [editor.] | Masillamani, M. Roberts [editor.] | Sridhar, S S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2045. Intelligent Computing, Networking, and Informatics [electronic resource] : Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 / edited by Durga Prasad Mohapatra, Srikanta Patnaik.

by Mohapatra, Durga Prasad [editor.] | Patnaik, Srikanta [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New Delhi : Springer India : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2046. IAENG Transactions on Engineering Technologies [electronic resource] : Special Issue of the World Congress on Engineering and Computer Science 2012 / edited by Haeng Kon Kim, Sio-Iong Ao, Mahyar A. Amouzegar, Burghard B. Rieger.

by Kim, Haeng Kon [editor.] | Ao, Sio-Iong [editor.] | Amouzegar, Mahyar A [editor.] | Rieger, Burghard B [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
2047. Pro Team Foundation Service [electronic resource] / by Mathias Olausson, Joachim Rossberg, Jakob Ehn, Mattias Sköld.

by Olausson, Mathias [author.] | Rossberg, Joachim [author.] | Ehn, Jakob [author.] | Sköld, Mattias [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013Online access: Click here to access online Availability: No items available
2048. Robust Data Mining [electronic resource] / by Petros Xanthopoulos, Panos M. Pardalos, Theodore B. Trafalis.

by Xanthopoulos, Petros [author.] | Pardalos, Panos M [author.] | Trafalis, Theodore B [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2049. Music and Human-Computer Interaction [electronic resource] / edited by Simon Holland, Katie Wilkie, Paul Mulholland, Allan Seago.

by Holland, Simon [editor.] | Wilkie, Katie [editor.] | Mulholland, Paul [editor.] | Seago, Allan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2050. Creativity and Rationale [electronic resource] : Enhancing Human Experience by Design / edited by John M. Carroll.

by Carroll, John M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2051. Meta-Programming and Model-Driven Meta-Program Development [electronic resource] : Principles, Processes and Techniques / by Vytautas Štuikys, Robertas Damaševičius.

by Štuikys, Vytautas [author.] | Damaševičius, Robertas [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2052. Connecting Families [electronic resource] : The Impact of New Communication Technologies on Domestic Life / edited by Carman Neustaedter, Steve Harrison, Abigail Sellen.

by Neustaedter, Carman [editor.] | Harrison, Steve [editor.] | Sellen, Abigail [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2053. Physical Layer Multi-Core Prototyping [electronic resource] : A Dataflow-Based Approach for LTE eNodeB / by Maxime Pelcat, Slaheddine Aridhi, Jonathan Piat, Jean-François Nezan.

by Pelcat, Maxime [author.] | Aridhi, Slaheddine [author.] | Piat, Jonathan [author.] | Nezan, Jean-François [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2054. Cloud Manufacturing [electronic resource] : Distributed Computing Technologies for Global and Sustainable Manufacturing / edited by Weidong Li, Jörn Mehnen.

by Li, Weidong [editor.] | Mehnen, Jörn [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2055. Autonomic Computing [electronic resource] : Principles, Design and Implementation / by Philippe Lalanda, Julie A. McCann, Ada Diaconescu.

by Lalanda, Philippe [author.] | McCann, Julie A [author.] | Diaconescu, Ada [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2056. Software Engineering Frameworks for the Cloud Computing Paradigm [electronic resource] / edited by Zaigham Mahmood, Saqib Saeed.

by Mahmood, Zaigham [editor.] | Saeed, Saqib [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2057. Cloud Computing [electronic resource] : Methods and Practical Approaches / edited by Zaigham Mahmood.

by Mahmood, Zaigham [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2058. An Introduction to Network Programming with Java [electronic resource] : Java 7 Compatible / by Jan Graba.

by Graba, Jan [author.] | SpringerLink (Online service).

Edition: 3rd ed. 2013.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2059. Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh.

by Singh, Neeraj Kumar [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
2060. Advanced Network Programming – Principles and Techniques [electronic resource] : Network Application Programming with Java / by Bogdan Ciubotaru, Gabriel-Miro Muntean.

by Ciubotaru, Bogdan [author.] | Muntean, Gabriel-Miro [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online 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