Your search returned 3707 results. Subscribe to this search

|
Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part II / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa.

by Li, Bohan [editor.] | Yue, Lin [editor.] | Tao, Chuanqi [editor.] | Han, Xuming [editor.] | Calvanese, Diego [editor.] | Amagasa, Toshiyuki [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

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

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

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

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

Web Information Systems Engineering - WISE 2023 [electronic resource] : 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings / edited by Feng Zhang, Hua Wang, Mahmoud Barhamgi, Lu Chen, Rui Zhou.

by Zhang, Feng [editor.] | Wang, Hua [editor.] | Barhamgi, Mahmoud [editor.] | Chen, Lu [editor.] | Zhou, Rui [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

Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / 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

Image Analysis and Processing - ICIAP 2023 [electronic resource] : 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II / edited by Gian Luca Foresti, Andrea Fusiello, Edwin Hancock.

by Foresti, Gian Luca [editor.] | Fusiello, Andrea [editor.] | Hancock, Edwin [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

Mobile Web and Intelligent Information Systems [electronic resource] : 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings / edited by Muhammad Younas, Irfan Awan, Tor-Morten Grønli.

by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Grønli, Tor-Morten [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

Pattern Recognition and Computer Vision [electronic resource] : 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, 2022, Proceedings, Part IV / edited by Shiqi Yu, Zhaoxiang Zhang, Pong C. Yuen, Junwei Han, Tieniu Tan, Yike Guo, Jianhuang Lai, Jianguo Zhang.

by Yu, Shiqi [editor.] | Zhang, Zhaoxiang [editor.] | Yuen, Pong C [editor.] | Han, Junwei [editor.] | Tan, Tieniu [editor.] | Guo, Yike [editor.] | Lai, Jianhuang [editor.] | Zhang, Jianguo [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Pattern Recognition and Computer Vision [electronic resource] : 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, Proceedings, Part I / edited by Shiqi Yu, Zhaoxiang Zhang, Pong C. Yuen, Junwei Han, Tieniu Tan, Yike Guo, Jianhuang Lai, Jianguo Zhang.

by Yu, Shiqi [editor.] | Zhang, Zhaoxiang [editor.] | Yuen, Pong C [editor.] | Han, Junwei [editor.] | Tan, Tieniu [editor.] | Guo, Yike [editor.] | Lai, Jianhuang [editor.] | Zhang, Jianguo [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

Complex Computational Ecosystems [electronic resource] : First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings / edited by Pierre Collet, Latafat Gardashova, Samer El Zant, Ulviya Abdulkarimova.

by Collet, Pierre [editor.] | Gardashova, Latafat [editor.] | El Zant, Samer [editor.] | Abdulkarimova, Ulviya [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

Learning and Intelligent Optimization [electronic resource] : 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers / edited by Meinolf Sellmann, Kevin Tierney.

by Sellmann, Meinolf [editor.] | Tierney, Kevin [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

Logic, Rationality, and Interaction [electronic resource] : 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings / edited by Natasha Alechina, Andreas Herzig, Fei Liang.

by Alechina, Natasha [editor.] | Herzig, Andreas [editor.] | Liang, Fei [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