Your search returned 30123 results. Subscribe to this search

|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 48th International Workshop, WG 2022, Tübingen, Germany, June 22-24, 2022, Revised Selected Papers / edited by Michael A. Bekos, Michael Kaufmann.

by Bekos, Michael A [editor.] | Kaufmann, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 [electronic resource] : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part VI / edited by Marleen de Bruijne, Philippe C. Cattin, Stéphane Cotin, Nicolas Padoy, Stefanie Speidel, Yefeng Zheng, Caroline Essert.

by de Bruijne, Marleen [editor.] | Cattin, Philippe C [editor.] | Cotin, Stéphane [editor.] | Padoy, Nicolas [editor.] | Speidel, Stefanie [editor.] | Zheng, Yefeng [editor.] | Essert, Caroline [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Transactions on Computational Science XXXVII [electronic resource] : Special Issue on Computer Graphics / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Jian Chang, Nadia Magnenat Thalmann.

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Chang, Jian [editor.] | Thalmann, Nadia Magnenat [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence XXXI [electronic resource] / edited by Ngoc Thanh Nguyen, Richard Kowalczyk, Jacek Mercik, Anna Motylska-Kuźma.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Richard [editor.] | Mercik, Jacek [editor.] | Motylska-Kuźma, Anna [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun.

by André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók.

by Porkoláb, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V / edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang.

by Yang, Huayong [editor.] | Liu, Honghai [editor.] | Zou, Jun [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Yang, Geng [editor.] | Ouyang, Xiaoping [editor.] | Wang, Zhiyong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV / edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang.

by Yang, Huayong [editor.] | Liu, Honghai [editor.] | Zou, Jun [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Yang, Geng [editor.] | Ouyang, Xiaoping [editor.] | Wang, Zhiyong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle.

by Glück, Robert [editor.] | Kafle, Bishoksan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu.

by Fensel, Anna [editor.] | Ozaki, Ana [editor.] | Roman, Dumitru [editor.] | Soylu, Ahmet [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Serious Games [electronic resource] : 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26-27, 2023, Proceedings / edited by Mads Haahr, Alberto Rojas-Salazar, Stefan Göbel.

by Haahr, Mads [editor.] | Rojas-Salazar, Alberto [editor.] | Göbel, Stefan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins.

by Madeira, Alexandre [editor.] | Martins, Manuel A [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Security Protocols XXVIII [electronic resource] : 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers / edited by Frank Stajano, Vashek Matyáš, Bruce Christianson, Jonathan Anderson.

by Stajano, Frank [editor.] | Matyáš, Vashek [editor.] | Christianson, Bruce [editor.] | Anderson, Jonathan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I / edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang.

by Yang, Huayong [editor.] | Liu, Honghai [editor.] | Zou, Jun [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Yang, Geng [editor.] | Ouyang, Xiaoping [editor.] | Wang, Zhiyong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

The Semantic Web: ESWC 2023 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings / edited by Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cassia Trojahn, Sven Hertling.

by Pesquita, Catia [editor.] | Skaf-Molli, Hala [editor.] | Efthymiou, Vasilis [editor.] | Kirrane, Sabrina [editor.] | Ngonga, Axel [editor.] | Collarana, Diego [editor.] | Cerqueira, Renato [editor.] | Alam, Mehwish [editor.] | Trojahn, Cassia [editor.] | Hertling, Sven [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Information and Communications Security [electronic resource] : 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings / edited by Ding Wang, Moti Yung, Zheli Liu, Xiaofeng Chen.

by Wang, Ding [editor.] | Yung, Moti [editor.] | Liu, Zheli [editor.] | Chen, Xiaofeng [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences [electronic resource] : First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I / edited by Panayiotis Zaphiris, Andri Ioannou.

by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Bio-Inspired Systems: Computational and Ambient Intelligence [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan Manuel Corchado Rodríguez.

by Cabestany, Joan [editor.] | Sandoval, Francisco [editor.] | Prieto, Alberto [editor.] | Corchado Rodríguez, Juan Manuel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

RoboCup 2015: Robot World Cup XIX [electronic resource] / edited by Luis Almeida, Jianmin Ji, Gerald Steinbauer, Sean Luke.

by Almeida, Luis [editor.] | Ji, Jianmin [editor.] | Steinbauer, Gerald [editor.] | Luke, Sean [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Human Aspects of Information Security, Privacy, and Trust [electronic resource] : Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings / edited by Theo Tryfonas, Ioannis Askoxylakis.

by Tryfonas, Theo [editor.] | Askoxylakis, Ioannis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available