|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Applications [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 18th International Symposium, W2GIS 2020, Wuhan, China, November 13-14, 2020, Proceedings / edited by Sergio Di Martino, Zhixiang Fang, Ki-Joune Li.
by Di Martino, Sergio [editor.] | Fang, Zhixiang [editor.] | Li, Ki-Joune [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
|
|
|
|
Text, Speech, and Dialogue [electronic resource] : 23rd International Conference, TSD 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala, Aleš Horák.
by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | Horák, Aleš [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
|
|
|
|
Social Computing and Social Media. Design, Ethics, User Behavior, and Social Network Analysis [electronic resource] : 12th International Conference, SCSM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I / edited by Gabriele Meiselwitz.
by Meiselwitz, Gabriele [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
|
|
|
|
Virtual, Augmented and Mixed Reality [electronic resource] : 13th International Conference, VAMR 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Jessie Y. C. Chen, Gino Fragomeni.
by Chen, Jessie Y. C [editor.] | Fragomeni, Gino [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
|
|
|
|
HCI for Cybersecurity, Privacy and Trust [electronic resource] : Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Abbas Moallem.
by Moallem, Abbas [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / edited by Chu-Min Li, Felip Manyà.
by Li, Chu-Min [editor.] | Manyà, Felip [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
|
|
|
|
Discrete Geometry and Mathematical Morphology [electronic resource] : First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings / edited by Joakim Lindblad, Filip Malmberg, Nataša Sladoje.
by Lindblad, Joakim [editor.] | Malmberg, Filip [editor.] | Sladoje, Nataša [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
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers / edited by Jan Mazal, Adriano Fagiolini, Petr Vasik, Michele Turi.
by Mazal, Jan [editor.] | Fagiolini, Adriano [editor.] | Vasik, Petr [editor.] | Turi, Michele [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
|
|
|
|
From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Mirco Nanni.
by Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Nanni, Mirco [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
|
|
|
|
Benchmarking, Measuring, and Optimizing [electronic resource] : Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15-16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
by Wolf, Felix [editor.] | Gao, Wanling [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
|
|
|
|
Computer Vision - ACCV 2020 [electronic resource] : 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 - December 4, 2020, Revised Selected Papers, Part I / edited by Hiroshi Ishikawa, Cheng-Lin Liu, Tomas Pajdla, Jianbo Shi.
by Ishikawa, Hiroshi [editor.] | Liu, Cheng-Lin [editor.] | Pajdla, Tomas [editor.] | Shi, Jianbo [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
|
|
|
|
Trends in Functional Programming [electronic resource] : 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers / edited by Viktória Zsók, John Hughes.
by Zsók, Viktória [editor.] | Hughes, John [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings / edited by Alessandro Abate, Andrea Marin.
by Abate, Alessandro [editor.] | Marin, Andrea [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
|
|
|
|
Advances and Trends in Artificial Intelligence. From Theory to Practice [electronic resource] : 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26-29, 2021, Proceedings, Part II / edited by Hamido Fujita, Ali Selamat, Jerry Chun-Wei Lin, Moonis Ali.
by Fujita, Hamido [editor.] | Selamat, Ali [editor.] | Lin, Jerry Chun-Wei [editor.] | Ali, Moonis [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
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20-22, 2021, Proceedings / edited by Jung Hee Cheon, Jean-Pierre Tillich.
by Cheon, Jung Hee [editor.] | Tillich, Jean-Pierre [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
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II / edited by Ying Tan, Yuhui Shi.
by Tan, Ying [editor.] | Shi, Yuhui [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
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part I / edited by Ying Tan, Yuhui Shi.
by Tan, Ying [editor.] | Shi, Yuhui [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, Ambient and Pervasive Interactions [electronic resource] : 9th International Conference, DAPI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Norbert Streitz, Shin'ichi Konomi.
by Streitz, Norbert [editor.] | Konomi, Shin'ichi [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
|
|
|
|
Cyberspace Safety and Security [electronic resource] : 12th International Symposium, CSS 2020, Haikou, China, December 1-3, 2020, Proceedings / edited by Jieren Cheng, Xiangyan Tang, Xiaozhang Liu.
by Cheng, Jieren [editor.] | Tang, Xiangyan [editor.] | Liu, Xiaozhang [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
|
