|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|