|
|
Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev.
by Koutny, Maciej [editor.] | Aalst, Wil M. P. van der [editor.] | Yakovlev, Alex [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard.
by Mangard, Stefan [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
Design, User Experience, and Usability: Novel User Experiences [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II / edited by Aaron Marcus.
by Marcus, Aaron [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
|
|
|
Cyber-Physical Systems of Systems [electronic resource] : Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy / edited by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.
by Bondavalli, Andrea [editor.] | Bouchenak, Sara [editor.] | Kopetz, Hermann [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
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.
by Piterman, Nir [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
|
|
|
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Matthias Felleisen, Philippa Gardner.
by Felleisen, Matthias [editor.] | Gardner, Philippa [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
Introduction to Programming with Fortran [electronic resource] : With Coverage of Fortran 90, 95, 2003, 2008 and 77 / by Ian Chivers, Jane Sleightholme.
by Chivers, Ian [author.] | Sleightholme, Jane [author.] | SpringerLink (Online service). Edition: 3rd 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
|
|
|
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
|
|
|
Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann.
by Popova-Zeugmann, Louchka [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Dynamics in Logistics [electronic resource] : Proceedings of the 4th International Conference LDIC, 2014 Bremen, Germany / edited by Herbert Kotzab, J�urgen Pannek, Klaus-Dieter Thoben.
by Kotzab, Herbert [editor.] | Pannek, J�urgen [editor.] | Thoben, Klaus-Dieter [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
|
|
|
Tamed Agility [electronic resource] : Pragmatic Contracting and Collaboration in Agile Software Projects / by Matthias Book, Volker Gruhn, R�udiger Striemer.
by Book, Matthias [author.] | Gruhn, Volker [author.] | Striemer, R�udiger [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
|
|
|
Computational History and Data-Driven Humanities [electronic resource] : Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers / edited by Bojan Bozic, Gavin Mendel-Gleason, Christophe Debruyne, Declan O'Sullivan.
by Bozic, Bojan [editor.] | Mendel-Gleason, Gavin [editor.] | Debruyne, Christophe [editor.] | O'Sullivan, Declan [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
|
|
|
Robots and Art [electronic resource] : Exploring an Unlikely Symbiosis / edited by Damith Herath, Christian Kroos, Stelarc.
by Herath, Damith [editor.] | Kroos, Christian [editor.] | Stelarc [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Rapid Serial Visual Presentation [electronic resource] : Design for Cognition / by Robert Spence, Mark Witkowski.
by Spence, Robert [author.] | Witkowski, Mark [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
|
|
|
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
|
|
|
Understanding Control Flow [electronic resource] : Concurrent Programming Using (So(BC++ / by Peter A. Buhr.
by Buhr, Peter A [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
|
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012 [electronic resource] / edited by Roger Lee.
by Lee, Roger [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers / edited by Michael Brenner, Nicolas Christin, Benjamin Johnson, Kurt Rohloff.
by Brenner, Michael [editor.] | Christin, Nicolas [editor.] | Johnson, Benjamin [editor.] | Rohloff, Kurt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Media Art and the Urban Environment [electronic resource] : Engendering Public Engagement with Urban Ecology / edited by Francis T. Marchese.
by Marchese, Francis T [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
|
|
|
Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas.
by Michael, Loizos [editor.] | Kakas, Antonis [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
|