|
|
|
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | de Roever, Willem-Paul [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
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / edited by Michael Bailey, Thorsten Holz, Manolis Stamatogiannakis, Sotiris Ioannidis.
by Bailey, Michael [editor.] | Holz, Thorsten [editor.] | Stamatogiannakis, Manolis [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings / edited by Joao Marques-Silva, Karem A. Sakallah.
by Marques-Silva, Joao [editor.] | Sakallah, Karem A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / edited by Jetty Kleijn, Alex Yakovlev.
by Kleijn, Jetty [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner.
by Cuellar, Jorge [editor.] | Lopez, Javier [editor.] | Barthe, Gilles [editor.] | Pretschner, Alexander [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
|
|
|
|
Communications and Multimedia Security [electronic resource] : 12th IFIP TC 6/TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21, 2011, Proceedings / edited by Bart De Decker, Jorn Lapon, Vincent Naessens, Andreas Uhl.
by De Decker, Bart [editor.] | Lapon, Jorn [editor.] | Naessens, Vincent [editor.] | Uhl, Andreas [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13-14, 2019, Proceedings / edited by Maurizio Naldi, Giuseppe F. Italiano, Kai Rannenberg, Manel Medina, Athena Bourka.
by Naldi, Maurizio [editor.] | Italiano, Giuseppe F [editor.] | Rannenberg, Kai [editor.] | Medina, Manel [editor.] | Bourka, Athena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XXVIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | van den Herik, Jaap [editor.] | Rocha, Ana Paula [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp.
by Bloem, Roderick [editor.] | Lipp, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings / edited by James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni.
by Park, James J [editor.] | Zomaya, Albert Y [editor.] | Yeo, Sang-Soo [editor.] | Sahni, Sartaj [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh.
by Gaspers, Serge [editor.] | Walsh, Toby [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings / edited by Keren Censor-Hillel, Michele Flammini.
by Censor-Hillel, Keren [editor.] | Flammini, Michele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / edited by Alan Mycroft, Andreas Zeller.
by Mycroft, Alan [editor.] | Zeller, Andreas [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
|
|
|
|
Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Weiming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James.
by Shen, Weiming [editor.] | Chao, Kuo-Ming [editor.] | Lin, Zongkai [editor.] | Barthès, Jean-Paul A [editor.] | James, Anne [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
|
|
|
|
Theory of Cryptography [electronic resource] : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings / edited by Shai Halevi, Tal Rabin.
by Halevi, Shai [editor.] | Rabin, Tal [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
|
|
|
|
Web Services - ICWS 2020 [electronic resource] : 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / edited by Wei-Shinn Ku, Yasuhiko Kanemasa, Mohamed Adel Serhani, Liang-Jie Zhang.
by Ku, Wei-Shinn [editor.] | Kanemasa, Yasuhiko [editor.] | Serhani, Mohamed Adel [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Cloud Computing - CLOUD 2020 [electronic resource] : 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / edited by Qi Zhang, Yingwei Wang, Liang-Jie Zhang.
by Zhang, Qi [editor.] | Wang, Yingwei [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings / edited by Stéphane Devismes, Neeraj Mittal.
by Devismes, Stéphane [editor.] | Mittal, Neeraj [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings / edited by Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti.
by Rajsbaum, Sergio [editor.] | Balliu, Alkida [editor.] | Daymude, Joshua J [editor.] | Olivetti, Dennis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022, Proceedings / edited by Giuseppe Ateniese, Daniele Venturi.
by Ateniese, Giuseppe [editor.] | Venturi, Daniele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
