|
|
|
Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu.
by Calinescu, Radu [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi.
by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Rules and Reasoning [electronic resource] : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / edited by Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman.
by Moschoyiannis, Sotiris [editor.] | Peñaloza, Rafael [editor.] | Vanthienen, Jan [editor.] | Soylu, Ahmet [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings / edited by Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu.
by Du, Ding-Zhu [editor.] | Du, Donglei [editor.] | Wu, Chenchen [editor.] | Xu, Dachuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptology and Network Security [electronic resource] : 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / edited by Mauro Conti, Marc Stevens, Stephan Krenn.
by Conti, Mauro [editor.] | Stevens, Marc [editor.] | Krenn, Stephan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers / edited by Gianlorenzo D'Angelo, Othon Michail.
by D'Angelo, Gianlorenzo [editor.] | Michail, Othon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2021 [electronic resource] : 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings / edited by Avishek Adhikari, Ralf Küsters, Bart Preneel.
by Adhikari, Avishek [editor.] | Küsters, Ralf [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptography and Coding [electronic resource] : 18th IMA International Conference, IMACC 2021, Virtual Event, December 14-15, 2021, Proceedings / edited by Maura B. Paterson.
by Paterson, Maura B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Computer and Communication Networks: Control, Computation, Communications [electronic resource] : 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021, Revised Selected Papers / edited by Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev.
by Vishnevskiy, Vladimir M [editor.] | Samouylov, Konstantin E [editor.] | Kozyrev, Dmitry V [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings / edited by Yo-Sub Han, Sang-Ki Ko.
by Han, Yo-Sub [editor.] | Ko, Sang-Ki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence [electronic resource] : First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5-6, 2021, Proceedings, Part II / edited by Lu Fang, Yiran Chen, Guangtao Zhai, Jane Wang, Ruiping Wang, Weisheng Dong.
by Fang, Lu [editor.] | Chen, Yiran [editor.] | Zhai, Guangtao [editor.] | Wang, Jane [editor.] | Wang, Ruiping [editor.] | Dong, Weisheng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers / edited by Helen C. Purchase, Ignaz Rutter.
by Purchase, Helen C [editor.] | Rutter, Ignaz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings / edited by Weili Wu, Hongwei Du.
by Wu, Weili [editor.] | Du, Hongwei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Leslie Pérez Cáceres, Sébastien Verel.
by Pérez Cáceres, Leslie [editor.] | Verel, Sébastien [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
|
|
|
|
Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova.
by Özgün, Aybüke [editor.] | Zinova, Yulia [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
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 28th International Conference, Virtual Event, September 29 - October 1, 2021, Revised Selected Papers / edited by Riham AlTawy, Andreas Hülsing.
by AlTawy, Riham [editor.] | Hülsing, Andreas [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri.
by Cheney, James [editor.] | Perri, Simona [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
|
|
|
|
Network and System Security [electronic resource] : 15th International Conference, NSS 2021, Tianjin, China, October 23, 2021, Proceedings / edited by Min Yang, Chao Chen, Yang Liu.
by Yang, Min [editor.] | Chen, Chao [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data Analytics [electronic resource] : 9th International Conference, BDA 2021, Virtual Event, December 15-18, 2021, Proceedings / edited by Satish Narayana Srirama, Jerry Chun-Wei Lin, Raj Bhatnagar, Sonali Agarwal, P. Krishna Reddy.
by Srirama, Satish Narayana [editor.] | Lin, Jerry Chun-Wei [editor.] | Bhatnagar, Raj [editor.] | Agarwal, Sonali [editor.] | Reddy, P. Krishna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings / edited by Daniela Genova, Jarkko Kari.
by Genova, Daniela [editor.] | Kari, Jarkko [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
|
