|
|
|
Tools for Design, Implementation and Verification of Emerging Information Technologies [electronic resource] : 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings / edited by Jianghua Liu, Lei Xu, Xinyi Huang.
by Liu, Jianghua [editor.] | Xu, Lei [editor.] | Huang, Xinyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / edited by Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo.
by Koutny, Maciej [editor.] | Bergenthum, Robin [editor.] | Ciardo, Gianfranco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.
by Calinescu, Radu [editor.] | Rumpe, Bernhard [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
|
|
|
|
Services Computing - SCC 2023 [electronic resource] : 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings / edited by Min Luo, Liang-Jie Zhang.
by Luo, Min [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.
by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [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 Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / edited by Javier Cámara, Sung-Shik Jongmans.
by Cámara, Javier [editor.] | Jongmans, Sung-Shik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.
by Gierasimczuk, Nina [editor.] | Velázquez-Quesada, Fernando R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II / edited by Hovav Shacham, Alexandra Boldyreva.
by Shacham, Hovav [editor.] | Boldyreva, Alexandra [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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe.
by 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
|
|
|
|
Topics in Cryptology - CT-RSA 2019 [electronic resource] : The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings / edited by Mitsuru Matsui.
by Matsui, Mitsuru [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / edited by Jaideep Vaidya, Jin Li.
by Vaidya, Jaideep [editor.] | Li, Jin [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
|
|
|
|
Internet of Things - ICIOT 2023 [electronic resource] : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings / edited by Kejiang Ye, Liang-Jie Zhang.
by Ye, Kejiang [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Edge Computing - EDGE 2023 [electronic resource] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings / edited by Jun Feng, Frank Jiang, Min Luo, Liang-Jie Zhang.
by Feng, Jun [editor.] | Jiang, Frank [editor.] | Luo, Min [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / edited by Majid Zamani, Damien Zufferey.
by Zamani, Majid [editor.] | Zufferey, Damien [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
|
|
|
|
NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier.
by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [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
|
|
|
|
Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes.
by Calvo, Hiram [editor.] | Martínez-Villaseñor, Lourdes [editor.] | Ponce, Hiram [editor.] | Zatarain Cabada, Ramón [editor.] | Montes Rivera, Martín [editor.] | Mezura-Montes, Efrén [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security [electronic resource] : 22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, Proceedings / edited by Zhiqiang Lin, Charalampos Papamanthou, Michalis Polychronakis.
by Lin, Zhiqiang [editor.] | Papamanthou, Charalampos [editor.] | Polychronakis, Michalis [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
|
|
|
|
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers / edited by Vladimir Jordan, Ilya Tarasov, Ella Shurina, Nikolay Filimonov, Vladimir A. Faerman.
by Jordan, Vladimir [editor.] | Tarasov, Ilya [editor.] | Shurina, Ella [editor.] | Filimonov, Nikolay [editor.] | Faerman, Vladimir A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 16th International Conference, CDVE 2019, Mallorca, Spain, October 6-9, 2019, Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [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
|
|
|
|
Computer Security - ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II / edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan.
by Sako, Kazue [editor.] | Schneider, Steve [editor.] | Ryan, Peter Y. A [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
|
