|
|
|
Innovative Technologies and Learning [electronic resource] : Second International Conference, ICITL 2019, Tromsø, Norway, December 2-5, 2019, Proceedings / edited by Lisbet Rønningsbakk, Ting-Ting Wu, Frode Eika Sandnes, Yueh-Min Huang.
by Rønningsbakk, Lisbet [editor.] | Wu, Ting-Ting [editor.] | Sandnes, Frode Eika [editor.] | Huang, Yueh-Min [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
|
|
|
|
Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26-27, 2022, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings / edited by Andrey Ronzhin, Roman Meshcheryakov, Zhen Xiantong.
by Ronzhin, Andrey [editor.] | Meshcheryakov, Roman [editor.] | Xiantong, Zhen [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
|
|
|
|
Distributed Computing and Intelligent Technology [electronic resource] : 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings / edited by Anisur Rahaman Molla, Gokarna Sharma, Pradeep Kumar, Sanjay Rawat.
by Molla, Anisur Rahaman [editor.] | Sharma, Gokarna [editor.] | Kumar, Pradeep [editor.] | Rawat, Sanjay [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
|
|
|
|
Electronic Voting [electronic resource] : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole Goodman, Peter Y. A. Ryan, Vanessa Teague.
by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Barrat, Jordi [editor.] | Benaloh, Josh [editor.] | Goodman, Nicole [editor.] | Ryan, Peter Y. A [editor.] | Teague, Vanessa [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
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano.
by Papadopoulos, Yiannis [editor.] | Aslansefat, Koorosh [editor.] | Katsaros, Panagiotis [editor.] | Bozzano, Marco [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
|
|
|
|
Cryptology and Network Security [electronic resource] : 18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019, Proceedings / edited by Yi Mu, Robert H. Deng, Xinyi Huang.
by Mu, Yi [editor.] | Deng, Robert H [editor.] | Huang, Xinyi [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
|
|
|
|
Bioinspired Optimization Methods and Their Applications [electronic resource] : 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19-20, 2020, Proceedings / edited by Bogdan Filipič, Edmondo Minisci, Massimiliano Vasile.
by Filipič, Bogdan [editor.] | Minisci, Edmondo [editor.] | Vasile, 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
|
|
|
|
Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
by Dongol, Brijesh [editor.] | Troubitsyna, Elena [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 15th International Conference, WASA 2020, Qingdao, China, September 13-15, 2020, Proceedings, Part II / edited by Dongxiao Yu, Falko Dressler, Jiguo Yu.
by Yu, Dongxiao [editor.] | Dressler, Falko [editor.] | Yu, Jiguo [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] : 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10-14, 2020 Revised Selected Papers / edited by Joseph Bonneau, Nadia Heninger.
by Bonneau, Joseph [editor.] | Heninger, Nadia [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
|
|
|
|
Passive and Active Measurement [electronic resource] : 22nd International Conference, PAM 2021, Virtual Event, March 29 - April 1, 2021, Proceedings / edited by Oliver Hohlfeld, Andra Lutu, Dave Levin.
by Hohlfeld, Oliver [editor.] | Lutu, Andra [editor.] | Levin, Dave [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
|
|
|
|
Human Aspects of IT for the Aged Population. Technology in Everyday Living [electronic resource] : 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II / edited by Qin Gao, Jia Zhou.
by Gao, Qin [editor.] | Zhou, Jia [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings / edited by Weizhi Meng, Rongxing Lu, Geyong Min, Jaideep Vaidya.
by Meng, Weizhi [editor.] | Lu, Rongxing [editor.] | Min, Geyong [editor.] | Vaidya, Jaideep [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
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2017 [electronic resource] : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / edited by Wieland Fischer, Naofumi Homma.
by Fischer, Wieland [editor.] | Homma, Naofumi [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
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
by Petrucci, Laure [editor.] | Seceleanu, Cristina [editor.] | Cavalcanti, Ana [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / edited by Tom Everitt, Ben Goertzel, Alexey Potapov.
by Everitt, Tom [editor.] | Goertzel, Ben [editor.] | Potapov, Alexey [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
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I / edited by Michael Felsberg, Anders Heyden, Norbert Krüger.
by Felsberg, Michael [editor.] | Heyden, Anders [editor.] | Krüger, Norbert [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
|
|
|
|
Queueing Theory and Network Applications [electronic resource] : 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings / edited by Yutaka Takahashi, Tuan Phung-Duc, Sabine Wittevrongel, Wuyi Yue.
by Takahashi, Yutaka [editor.] | Phung-Duc, Tuan [editor.] | Wittevrongel, Sabine [editor.] | Yue, Wuyi [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
|
|
|
|
Computer Vision - ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss.
by Ferrari, Vittorio [editor.] | Hebert, Martial [editor.] | Sminchisescu, Cristian [editor.] | Weiss, Yair [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
|
