|
|
|
Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Anthony Anjorin, Huáscar Espinoza.
by Anjorin, Anthony [editor.] | Espinoza, Huáscar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Online Communities and Social Computing [electronic resource] : Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris.
by Ozok, A. Ant [editor.] | Zaphiris, Panayiotis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.
by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
by Barthe, Gilles [editor.] | Datta, Anupam [editor.] | Etalle, Sandro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / edited by Lea Kutvonen.
by Kutvonen, Lea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger.
by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web - ISWC 2010 [electronic resource] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I / edited by Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm.
by Patel-Schneider, Peter F [editor.] | Pan, Yue [editor.] | Hitzler, Pascal [editor.] | Mika, Peter [editor.] | Zhang, Lei [editor.] | Pan, Jeff Z [editor.] | Horrocks, Ian [editor.] | Glimm, Birte [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings / edited by Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio.
by Caivano, Danilo [editor.] | Oivo, Markku [editor.] | Baldassarre, Maria Teresa [editor.] | Visaggio, Giuseppe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings / edited by Eugene Asarin, Dieter Gollmann, Jan Meier, Andrei Sabelfeld.
by Asarin, Eugene [editor.] | Gollmann, Dieter [editor.] | Meier, Jan [editor.] | Sabelfeld, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Game Theory [electronic resource] : First International Symposium, SAGT 2008, Paderborn, Germany, April 30 - May 2, 2008, Proceedings / edited by Burkhard Monien, Ulf-Peter Schroeder.
by Monien, Burkhard [editor.] | Schroeder, Ulf-Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers / edited by Erich Rome, Marianthi Theocharidou, Stephen Wolthusen.
by Rome, Erich [editor.] | Theocharidou, Marianthi [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Online Communities and Social Computing [electronic resource] : 4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris.
by Ozok, A. Ant [editor.] | Zaphiris, Panayiotis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Trusted Systems [electronic resource] : Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers / edited by Liqun Chen, Moti Yung.
by Chen, Liqun [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives [electronic resource] : Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003, Revised Selected Papers / edited by Peter van den Besselaar, Satoshi Koizumi.
by van den Besselaar, Peter [editor.] | Koizumi, Satoshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings / edited by Michael Franz, Panos Papadimitratos.
by Franz, Michael [editor.] | Papadimitratos, Panos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings / edited by Tetsu Iwata, Masakatsu Nishigaki.
by Iwata, Tetsu [editor.] | Nishigaki, Masakatsu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / edited by Victor Shoup.
by Shoup, Victor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Grid Security [electronic resource] : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers / edited by Jorge Cuellar.
by Cuellar, Jorge [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
by Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings / edited by Rocco De Nicola, Christine Julien.
by De Nicola, Rocco [editor.] | Julien, Christine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
