|
|
|
Computational Methods in Systems Biology [electronic resource] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti.
by Bartocci, Ezio [editor.] | Lio, Pietro [editor.] | Paoletti, Nicola [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicen�c Torra.
by Torra, Vicen�c [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.
by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
System Architecture [electronic resource] : An Ordinary Engineering Discipline / by Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz.
by Paul, Wolfgang J [author.] | Baumann, Christoph [author.] | Lutsyk, Petro [author.] | Schmaltz, Sabine [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I / edited by Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo.
by Kubota, Naoyuki [editor.] | Kiguchi, Kazuo [editor.] | Liu, Honghai [editor.] | Obo, Takenori [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Music Through Fourier Space [electronic resource] : Discrete Fourier Transform in Music Theory / by Emmanuel Amiot.
by Amiot, Emmanuel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
ICT for Promoting Human Development and Protecting the Environment [electronic resource] : 6th IFIP World Information Technology Forum, WITFOR 2016, San Jos�e, Costa Rica, September 12-14, 2016, Proceedings / edited by Francisco J. Mata, Ana Pont.
by Mata, Francisco J [editor.] | Pont, Ana [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Cool Math for Hot Music [electronic resource] : A First Introduction to Mathematics for Music Theorists / by Guerino Mazzola, Maria Mannone, Yan Pang.
by Mazzola, Guerino [author.] | Mannone, Maria [author.] | Pang, Yan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky.
by Lecomte, Thierry [editor.] | Pinger, Ralf [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Data-Driven Process Discovery and Analysis [electronic resource] : 4th International Symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, Revised Selected Papers / edited by Paolo Ceravolo, Barbara Russo, Rafael Accorsi.
by Ceravolo, Paolo [editor.] | Russo, Barbara [editor.] | Accorsi, Rafael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo.
by Abrahamsson, Pekka [editor.] | Corral, Luis [editor.] | Oivo, Markku [editor.] | Russo, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communication Technology [electronic resource] : Third IFIP TC 5/8 International Conference, ICT-EurAsia 2015, and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015, Held as Part of WCC 2015, Daejeon, Korea, October 4-7, 2015, Proceedings / edited by Ismail Khalil, Erich Neuhold, A Min Tjoa, Li Da Xu, Ilsun You.
by Khalil, Ismail [editor.] | Neuhold, Erich [editor.] | Tjoa, A Min [editor.] | Xu, Li Da [editor.] | You, Ilsun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Ian Cleland, Luis Guerrero, Jos�e Bravo.
by Cleland, Ian [editor.] | Guerrero, Luis [editor.] | Bravo, Jos�e [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.
by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.
by Maletti, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering the Web in the Big Data Era [electronic resource] : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings / edited by Philipp Cimiano, Flavius Frasincar, Geert-Jan Houben, Daniel Schwabe.
by Cimiano, Philipp [editor.] | Frasincar, Flavius [editor.] | Houben, Geert-Jan [editor.] | Schwabe, Daniel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Open Source Systems: Adoption and Impact [electronic resource] : 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings / edited by Ernesto Damiani, Fulvio Frati, Dirk Riehle, Anthony I. Wasserman.
by Damiani, Ernesto [editor.] | Frati, Fulvio [editor.] | Riehle, Dirk [editor.] | Wasserman, Anthony I [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann.
by Naumann, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Web Information Systems Engineering - WISE 2014 [electronic resource] : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I / edited by Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
