|
|
|
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to Jos�e Meseguer on the Occasion of His 65th Birthday / edited by Narciso Mart�i-Oliet, Peter Csaba �Olveczky, Carolyn Talcott.
by Mart�i-Oliet, Narciso [editor.] | �Olveczky, Peter Csaba [editor.] | Talcott, Carolyn [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
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014. Proceedings / edited by Radha Poovendran, Walid Saad.
by Poovendran, Radha [editor.] | Saad, Walid [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
|
|
|
|
Transactions on Aspect-Oriented Software Development XII [electronic resource] / edited by Shigeru Chiba, �Eric Tanter, Erik Ernst, Robert Hirschfeld.
by Chiba, Shigeru [editor.] | Tanter, �Eric [editor.] | Ernst, Erik [editor.] | Hirschfeld, Robert [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu.
by Ravela, Sai [editor.] | Sandu, Adrian [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
|
|
|
|
Business Process Management [electronic resource] : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich.
by Motahari-Nezhad, Hamid Reza [editor.] | Recker, Jan [editor.] | Weidlich, Matthias [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [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 Theoretic Security [electronic resource] : 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings / edited by Anja Lehmann, Stefan Wolf.
by Lehmann, Anja [editor.] | Wolf, Stefan [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
|
|
|
|
Information Security and Cryptology - ICISC 2014 [electronic resource] : 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers / edited by Jooyoung Lee, Jongsung Kim.
by Lee, Jooyoung [editor.] | Kim, Jongsung [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
|
|
|
|
Fast Software Encryption [electronic resource] : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / edited by Thomas Peyrin.
by Peyrin, Thomas [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Solving Software Challenges for Exascale [electronic resource] : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure.
by Markidis, Stefano [editor.] | Laure, Erwin [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
|
|
|
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi.
by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [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
|
|
|
|
Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker.
by Nicola, Rocco De [editor.] | Hennicker, Rolf [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
|
|
|
|
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II / edited by Yu-Jin Zhang.
by Zhang, Yu-Jin [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki.
by Motomura, Yoichi [editor.] | Butler, Alastair [editor.] | Bekki, Daisuke [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
|
|
|
|
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction [electronic resource] : Third IAPR TC3 Workshop, MPRSS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency.
by Schwenker, Friedhelm [editor.] | Scherer, Stefan [editor.] | Morency, Louis-Philippe [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven M. Drucker, Chandra Kambhamettu, Maha El Choubassi, Zhigang Deng, Mark Carlson.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | McMahan, Ryan [editor.] | Jerald, Jason [editor.] | Zhang, Hui [editor.] | Drucker, Steven M [editor.] | Kambhamettu, Chandra [editor.] | Choubassi, Maha El [editor.] | Deng, Zhigang [editor.] | Carlson, Mark [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
|
|
|
|
Ambient Assisted Living and Daily Activities [electronic resource] : 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedings / edited by Leandro Pecchia, Liming Luke Chen, Chris Nugent, Jos�e Bravo.
by Pecchia, Leandro [editor.] | Chen, Liming Luke [editor.] | Nugent, Chris [editor.] | Bravo, Jos�e [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
|
|
|
|
Smart Graphics [electronic resource] : 12th International Symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014. Proceedings / edited by Marc Christie, Tsai-Yen Li.
by Christie, Marc [editor.] | Li, Tsai-Yen [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
|
|
|
|
Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers / edited by Nitesh Saxena, Ahmad-Reza Sadeghi.
by Saxena, Nitesh [editor.] | Sadeghi, Ahmad-Reza [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
|
|
|
|
Sequences and Their Applications - SETA 2014 [electronic resource] : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings / edited by Kai-Uwe Schmidt, Arne Winterhof.
by Schmidt, Kai-Uwe [editor.] | Winterhof, Arne [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
|
