|
|
|
Understanding Computer Organization [electronic resource] : A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures / by Patricio Bulić.
by Bulić, Patricio [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 International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track [electronic resource] : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13-17, 2021, Proceedings, Part V / edited by Yuxiao Dong, Nicolas Kourtellis, Barbara Hammer, Jose A. Lozano.
by Dong, Yuxiao [editor.] | Kourtellis, Nicolas [editor.] | Hammer, Barbara [editor.] | Lozano, Jose 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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings / edited by Uli Fahrenberg, Peter Jipsen, Michael Winter.
by Fahrenberg, Uli [editor.] | Jipsen, Peter [editor.] | Winter, Michael [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
|
|
|
|
Graph Learning in Medical Imaging [electronic resource] : First International Workshop, GLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings / edited by Daoqiang Zhang, Luping Zhou, Biao Jie, Mingxia Liu.
by Zhang, Daoqiang [editor.] | Zhou, Luping [editor.] | Jie, Biao [editor.] | Liu, Mingxia [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
|
|
|
|
Modeling and Using Context [electronic resource] : 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings / edited by Gábor Bella, Paolo Bouquet.
by Bella, Gábor [editor.] | Bouquet, Paolo [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
|
|
|
|
Image and Video Technology [electronic resource] : 9th Pacific-Rim Symposium, PSIVT 2019, Sydney, NSW, Australia, November 18-22, 2019, Proceedings / edited by Chilwoo Lee, Zhixun Su, Akihiro Sugimoto.
by Lee, Chilwoo [editor.] | Su, Zhixun [editor.] | Sugimoto, Akihiro [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
|
|
|
|
Multi-Agent Systems [electronic resource] : 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings / edited by Dorothea Baumeister, Jörg Rothe.
by Baumeister, Dorothea [editor.] | Rothe, Jörg [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
|
|
|
|
Intertwining Graphonomics with Human Movements [electronic resource] : 20th International Conference of the International Graphonomics Society, IGS 2021, Las Palmas de Gran Canaria, Spain, June 7-9, 2022, Proceedings / edited by Cristina Carmona-Duarte, Moises Diaz, Miguel A. Ferrer, Aythami Morales.
by Carmona-Duarte, Cristina [editor.] | Diaz, Moises [editor.] | Ferrer, Miguel A [editor.] | Morales, Aythami [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
|
|
|
|
Web and Internet Economics [electronic resource] : 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings / edited by Kristoffer Arnsfelt Hansen, Tracy Xiao Liu, Azarakhsh Malekian.
by Hansen, Kristoffer Arnsfelt [editor.] | Liu, Tracy Xiao [editor.] | Malekian, Azarakhsh [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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Tien Khoa Tran, Ualsher Tukayev, Tzung-Pei Hong, Bogdan Trawiński, Edward Szczerbicki.
by Nguyen, Ngoc Thanh [editor.] | Tran, Tien Khoa [editor.] | Tukayev, Ualsher [editor.] | Hong, Tzung-Pei [editor.] | Trawiński, Bogdan [editor.] | Szczerbicki, Edward [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
|
|
|
|
Smart Multimedia [electronic resource] : Third International Conference, ICSM 2022, Marseille, France, August 25-27, 2022, Revised Selected Papers / edited by Stefano Berretti, Guan-Ming Su.
by Berretti, Stefano [editor.] | Su, Guan-Ming [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
|
|
|
|
Architecture of Computing Systems [electronic resource] : 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13-15, 2022, Proceedings / edited by Martin Schulz, Carsten Trinitis, Nikela Papadopoulou, Thilo Pionteck.
by Schulz, Martin [editor.] | Trinitis, Carsten [editor.] | Papadopoulou, Nikela [editor.] | Pionteck, Thilo [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
|
|
|
|
Rules and Reasoning [electronic resource] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings / edited by Guido Governatori, Anni-Yasmin Turhan.
by Governatori, Guido [editor.] | Turhan, Anni-Yasmin [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
|
|
|
|
Algorithmics of Wireless Networks [electronic resource] : 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8-9, 2022, Proceedings / edited by Thomas Erlebach, Michael Segal.
by Erlebach, Thomas [editor.] | Segal, Michael [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
|
|
|
|
Guide to Software Verification with Frama-C [electronic resource] : Core Components, Usages, and Applications / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles.
by Kosmatov, Nikolai [editor.] | Prevosto, Virgile [editor.] | Signoles, Julien [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 International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Multimedia Information Processing -- PCM 2015 [electronic resource] : 16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, September 16-18, 2015, Proceedings, Part I / edited by Yo-Sung Ho, Jitao Sang, Yong Man Ro, Junmo Kim, Fei Wu.
by Ho, Yo-Sung [editor.] | Sang, Jitao [editor.] | Ro, Yong Man [editor.] | Kim, Junmo [editor.] | Wu, Fei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.
by Piterman, Nir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings / edited by Fei Fang, Haifeng Xu, Yezekael Hayel.
by Fang, Fei [editor.] | Xu, Haifeng [editor.] | Hayel, Yezekael [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Security Standardisation Research [electronic resource] : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / edited by Liqun Chen, Shin'ichiro Matsuo.
by Chen, Liqun [editor.] | Matsuo, Shin'ichiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
