|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers / edited by Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala.
by Bernhard, Matthew [editor.] | Bracciali, Andrea [editor.] | Camp, L. Jean [editor.] | Matsuo, Shin'ichiro [editor.] | Maurushat, Alana [editor.] | Rønne, Peter B [editor.] | Sala, Massimiliano [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings / edited by Nathalie Bertrand, Nils Jansen.
by Bertrand, Nathalie [editor.] | Jansen, Nils [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers / edited by Ittay Eyal, Juan Garay.
by Eyal, Ittay [editor.] | Garay, Juan [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu.
by Bouajjani, Ahmed [editor.] | Holík, Lukáš [editor.] | Wu, Zhilin [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
|
|
|
|
LATIN 2022: Theoretical Informatics [electronic resource] : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, Proceedings / edited by Armando Castañeda, Francisco Rodríguez-Henríquez.
by Castañeda, Armando [editor.] | Rodríguez-Henríquez, Francisco [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
|
|
|
|
Computer Vision - ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVI / edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner.
by Avidan, Shai [editor.] | Brostow, Gabriel [editor.] | Cissé, Moustapha [editor.] | Farinella, Giovanni Maria [editor.] | Hassner, Tal [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicenç Torra.
by Torra, Vicenç [author.] | 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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / edited by Barry O'Sullivan.
by O'Sullivan, Barry [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
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet.
by Fleuriot, Jacques [editor.] | Wang, Dongming [editor.] | Calmet, Jacques [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
|
|
|
|
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings, Part II / edited by Xin Geng, Byeong-Ho Kang.
by Geng, Xin [editor.] | Kang, Byeong-Ho [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
|
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers / edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš.
by Kozubek, Tomáš [editor.] | Čermák, Martin [editor.] | Tichý, Petr [editor.] | Blaheta, Radim [editor.] | Šístek, Jakub [editor.] | Lukáš, Dalibor [editor.] | Jaroš, Jiří [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / edited by Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin.
by Thomson, Robert [editor.] | Dancy, Christopher [editor.] | Hyder, Ayaz [editor.] | Bisgin, Halil [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings / edited by Joseph K. Liu, Pierangela Samarati.
by Liu, Joseph K [editor.] | Samarati, Pierangela [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
|
|
|
|
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings / edited by Faith Ellen, Antonina Kolokolova, Jörg-Rüdiger Sack.
by Ellen, Faith [editor.] | Kolokolova, Antonina [editor.] | Sack, Jörg-Rüdiger [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi.
by Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Information and Communications Security [electronic resource] : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings / edited by David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati, Gregory Blanc, Rongxing Lu, Zonghua Zhang, Ahmed Meddahi.
by Naccache, David [editor.] | Xu, Shouhuai [editor.] | Qing, Sihan [editor.] | Samarati, Pierangela [editor.] | Blanc, Gregory [editor.] | Lu, Rongxing [editor.] | Zhang, Zonghua [editor.] | Meddahi, Ahmed [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
|
|
|
|
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / edited by Cliff Jones, Ji Wang, Naijun Zhan.
by Jones, Cliff [editor.] | Wang, Ji [editor.] | Zhan, Naijun [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
|
|
|
|
Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I / edited by Fazilah Hassan, Noorhazirah Sunar, Mohd Ariffanan Mohd Basri, Mohd Saiful Azimi Mahmud, Mohamad Hafis Izran Ishak, Mohamed Sultan Mohamed Ali.
by Hassan, Fazilah [editor.] | Sunar, Noorhazirah [editor.] | Mohd Basri, Mohd Ariffanan [editor.] | Mahmud, Mohd Saiful Azimi [editor.] | Ishak, Mohamad Hafis Izran [editor.] | Mohamed Ali, Mohamed Sultan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
