|
|
|
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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings / edited by Paul Kaufmann, Pedro A. Castillo.
by Kaufmann, Paul [editor.] | Castillo, Pedro 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
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17-19, 2018, Revised Selected papers / edited by Jan Mazal.
by Mazal, Jan [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings / edited by José Pereira, Laura Ricci.
by Pereira, José [editor.] | Ricci, Laura [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019, Proceedings / edited by Benoît Hilt, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Alain Pirovano.
by Hilt, Benoît [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Pirovano, Alain [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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
|
|
|
|
Advances in Biometric Person Authentication [electronic resource] : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings / edited by Stan Z. Li, Jianhuang Lai, Tieniu Tan, Guocan Feng, Yunhong Wang.
by Li, Stan Z [editor.] | Lai, Jianhuang [editor.] | Tan, Tieniu [editor.] | Feng, Guocan [editor.] | Wang, Yunhong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim.
by Lee, Yann-Hang [editor.] | Kim, Heung-Nam [editor.] | Kim, Jong [editor.] | Park, Yongwan [editor.] | Yang, Laurence T [editor.] | Kim, Sung Won [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / edited by Paul Pettersson, Wang Yi.
by Pettersson, Paul [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006, Proceedings / edited by Wijnand IJsselsteijn, Yvonne de Kort, Cees Midden, Berry Eggen, Elise van den Hoven.
by IJsselsteijn, Wijnand [editor.] | de Kort, Yvonne [editor.] | Midden, Cees [editor.] | Eggen, Berry [editor.] | van den Hoven, Elise [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
