|
|
|
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
|
|
|
|
Mathematical Software - ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban.
by Davenport, James H [editor.] | Kauers, Manuel [editor.] | Labahn, George [editor.] | Urban, Josef [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
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings / edited by Subrahmanyam Kalyanasundaram, Anil Maheshwari.
by Kalyanasundaram, Subrahmanyam [editor.] | Maheshwari, Anil [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
|
|
|
|
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
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers / edited by Roberto Battiti, Mauro Brunato, Ilias Kotsireas, Panos M. Pardalos.
by Battiti, Roberto [editor.] | Brunato, Mauro [editor.] | Kotsireas, Ilias [editor.] | Pardalos, Panos M [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5-6, 2018, Proceedings / edited by Steven Furnell, Haralambos Mouratidis, Günther Pernul.
by Furnell, Steven [editor.] | Mouratidis, Haralambos [editor.] | Pernul, Günther [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
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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
|
|
|
|
Mathematical Modeling and Supercomputer Technologies [electronic resource] : 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers / edited by Dmitry Balandin, Konstantin Barkalov, Iosif Meyerov.
by Balandin, Dmitry [editor.] | Barkalov, Konstantin [editor.] | Meyerov, Iosif [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
|
|
|
|
Progress in Cryptology - LATINCRYPT 2019 [electronic resource] : 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2-4, 2019, Proceedings / edited by Peter Schwabe, Nicolas Thériault.
by Schwabe, Peter [editor.] | Thériault, Nicolas [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
|
|
|
|
Petri Net Primer [electronic resource] : A Compendium on the Core Model, Analysis, and Synthesis / by Eike Best, Raymond Devillers.
by Best, Eike [author.] | Devillers, Raymond [author.] | 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: Birkhäuser, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Green, Pervasive, and Cloud Computing [electronic resource] : 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II / edited by Hai Jin, Zhiwen Yu, Chen Yu, Xiaokang Zhou, Zeguang Lu, Xianhua Song.
by Jin, Hai [editor.] | Yu, Zhiwen [editor.] | Yu, Chen [editor.] | Zhou, Xiaokang [editor.] | Lu, Zeguang [editor.] | Song, Xianhua [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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / edited by Gabriele Kern-Isberner, Zoran Ognjanović.
by Kern-Isberner, Gabriele [editor.] | Ognjanović, Zoran [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
|
|
|
|
Green, Pervasive, and Cloud Computing [electronic resource] : 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I / edited by Hai Jin, Zhiwen Yu, Chen Yu, Xiaokang Zhou, Zeguang Lu, Xianhua Song.
by Jin, Hai [editor.] | Yu, Zhiwen [editor.] | Yu, Chen [editor.] | Zhou, Xiaokang [editor.] | Lu, Zeguang [editor.] | Song, Xianhua [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
|
|
|
|
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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019, Proceedings, Part III / edited by Steven D. Galbraith, Shiho Moriai.
by Galbraith, Steven D [editor.] | Moriai, Shiho [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
|
|
|
|
Data Structures and Algorithms with Python [electronic resource] : With an Introduction to Multiprocessing / by Kent D. Lee, Steve Hubbard.
by Lee, Kent D [author.] | Hubbard, Steve [author.] | SpringerLink (Online service). Edition: 2nd ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
