|
|
|
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.
by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [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
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, Ant�onio Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, Ant�onio [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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
|
|
|
|
Intelligent Computing Systems [electronic resource] : First International Symposium, ISICS 2016, M�erida, M�exico, March 16-18, 2016, Proceedings / edited by Anabel Martin-Gonzalez, Victor Uc-Cetina.
by Martin-Gonzalez, Anabel [editor.] | Uc-Cetina, Victor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Achieving Success and Innovation in Global Sourcing: Perspectives and Practices [electronic resource] : 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks.
by Oshri, Ilan [editor.] | Kotlarsky, Julia [editor.] | Willcocks, Leslie P [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
|
|
|
|
Guide to Security Assurance for Cloud Computing [electronic resource] / edited by Shao Ying Zhu, Richard Hill, Marcello Trovati.
by Zhu, Shao Ying [editor.] | Hill, Richard [editor.] | Trovati, Marcello [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
|
|
|
|
Reversible Logic Synthesis Methodologies with Application to Quantum Computing [electronic resource] / by Saleem Mohammed Ridha Taha.
by Taha, Saleem Mohammed Ridha [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.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 Process Improvement and Capability Determination [electronic resource] : 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings / edited by Terry Rout, Rory V. O'Connor, Alec Dorling.
by Rout, Terry [editor.] | O'Connor, Rory V [editor.] | Dorling, Alec [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
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / edited by Sumit Ganguly, Ramesh Krishnamurti.
by Ganguly, Sumit [editor.] | Krishnamurti, Ramesh [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
|
|
|
|
UML @ Classroom [electronic resource] : An Introduction to Object-Oriented Modeling / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel.
by Seidl, Martina [author.] | Scholz, Marion [author.] | Huemer, Christian [author.] | Kappel, Gerti [author.] | 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
|
|
|
|
S-BPM ONE - Application Studies and Work in Progress [electronic resource] : 6th International Conference, S-BPM ONE 2014, Eichst�att, Germany, April 22-23, 2014. Proceedings / edited by Cornelia Zehbold.
by Zehbold, Cornelia [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
|
|
|
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by St�ephane Demri, Deepak Kapur, Christoph Weidenbach.
by Demri, St�ephane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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
|
|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk.
by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric Van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
E-Government Strategy, ICT and Innovation for Citizen Engagement [electronic resource] / by Dennis Anderson, Robert Wu, June-Suh Cho, Katja Schroeder.
by Anderson, Dennis [author.] | Wu, Robert [author.] | Cho, June-Suh [author.] | Schroeder, Katja [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin.
by Cabot, Jordi [editor.] | Rubin, Julia [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
|
|
|
|
Games-To-Teach or Games-To-Learn [electronic resource] : Unlocking the Power of Digital Game-Based Learning Through Performance / by Yam San Chee.
by Chee, Yam San [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland.
by Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, 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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2016 [electronic resource] : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / edited by Orr Dunkelman, Somitra Kumar Sanadhya.
by Dunkelman, Orr [editor.] | Sanadhya, Somitra Kumar [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Francisco Chicano, Bin Hu, Pablo Garc�ia-S�anchez.
by Chicano, Francisco [editor.] | Hu, Bin [editor.] | Garc�ia-S�anchez, Pablo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Critical Infrastructure Protection X [electronic resource] : 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers / edited by Mason Rice, Sujeet Shenoi.
by Rice, Mason [editor.] | Shenoi, Sujeet [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
|
|
|
|
Trust Management in Cloud Services [electronic resource] / by Talal H. Noor, Quan Z. Sheng, Athman Bouguettaya.
by Noor, Talal H [author.] | Sheng, Quan Z [author.] | Bouguettaya, Athman [author.] | 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
|
