Your search returned 30123 results. Subscribe to this search

|
Rewriting Logic and Its Applications [electronic resource] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / edited by Santiago Escobar, Narciso Martí-Oliet.

by Escobar, Santiago [editor.] | Martí-Oliet, Narciso [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: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers / edited by Paolo Cazzaniga, Daniela Besozzi, Ivan Merelli, Luca Manzoni.

by Cazzaniga, Paolo [editor.] | Besozzi, Daniela [editor.] | Merelli, Ivan [editor.] | Manzoni, Luca [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: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Computational Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A. C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [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

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future [electronic resource] : Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement / edited by Marco Aiello, Athman Bouguettaya, Damian Andrew Tamburri, Willem-Jan van den Heuvel.

by Aiello, Marco [editor.] | Bouguettaya, Athman [editor.] | Tamburri, Damian Andrew [editor.] | van den Heuvel, Willem-Jan [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

Database Systems for Advanced Applications [electronic resource] : 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021, Proceedings, Part III / edited by Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen.

by Jensen, Christian S [editor.] | Lim, Ee-Peng [editor.] | Yang, De-Nian [editor.] | Lee, Wang-Chien [editor.] | Tseng, Vincent S [editor.] | Kalogeraki, Vana [editor.] | Huang, Jen-Wei [editor.] | Shen, Chih-Ya [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

Intelligent Information and Database Systems [electronic resource] : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7-10, 2021, Proceedings / edited by Ngoc Thanh Nguyen, Suphamit Chittayasothorn, Dusit Niyato, Bogdan Trawiński.

by Nguyen, Ngoc Thanh [editor.] | Chittayasothorn, Suphamit [editor.] | Niyato, Dusit [editor.] | Trawiński, Bogdan [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

Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II / edited by Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani.

by Hiemstra, Djoerd [editor.] | Moens, Marie-Francine [editor.] | Mothe, Josiane [editor.] | Perego, Raffaele [editor.] | Potthast, Martin [editor.] | Sebastiani, Fabrizio [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

Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Ben Niu.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [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

Revolutions and Revelations in Computability [electronic resource] : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings / edited by Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly.

by Berger, Ulrich [editor.] | Franklin, Johanna N. Y [editor.] | Manea, Florin [editor.] | Pauly, Arno [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

Mathematical Optimization Theory and Operations Research [electronic resource] : 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2-6, 2022, Proceedings / edited by Panos Pardalos, Michael Khachay, Vladimir Mazalov.

by Pardalos, Panos [editor.] | Khachay, Michael [editor.] | Mazalov, Vladimir [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 III / 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

Simplifying Medical Ultrasound [electronic resource] : Second International Workshop, ASMUS 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by J. Alison Noble, Stephen Aylward, Alexander Grimwood, Zhe Min, Su-Lin Lee, Yipeng Hu.

by Noble, J. Alison [editor.] | Aylward, Stephen [editor.] | Grimwood, Alexander [editor.] | Min, Zhe [editor.] | Lee, Su-Lin [editor.] | Hu, Yipeng [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

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 [electronic resource] : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part I / 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

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges [electronic resource] : Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I / edited by Jean-Jacques Rousseau, Bill Kapralos.

by Rousseau, Jean-Jacques [editor.] | Kapralos, Bill [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, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges [electronic resource] : Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV / edited by Jean-Jacques Rousseau, Bill Kapralos.

by Rousseau, Jean-Jacques [editor.] | Kapralos, Bill [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

Computer Vision - ACCV 2022 [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part I / edited by Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa.

by Wang, Lei [editor.] | Gall, Juergen [editor.] | Chin, Tat-Jun [editor.] | Sato, Imari [editor.] | Chellappa, Rama [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

Web Engineering [electronic resource] : 22nd International Conference, ICWE 2022, Bari, Italy, July 5-8, 2022, Proceedings / edited by Tommaso Di Noia, In-Young Ko, Markus Schedl, Carmelo Ardito.

by Di Noia, Tommaso [editor.] | Ko, In-Young [editor.] | Schedl, Markus [editor.] | Ardito, Carmelo [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

Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski.

by Mezzina, Claudio Antares [editor.] | Podlaski, Krzysztof [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

Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings / edited by Olga Galinina, Sergey Balandin, Yevgeni Koucheryavy.

by Galinina, Olga [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

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

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging [electronic resource] : MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers / edited by Henning Müller, B. Michael Kelm, Tal Arbel, Weidong Cai, M. Jorge Cardoso, Georg Langs, Bjoern Menze, Dimitris Metaxas, Albert Montillo, William M. Wells III, Shaoting Zhang, Albert C.S. Chung, Mark Jenkinson, Annemie Ribbens.

by Müller, Henning [editor.] | Kelm, B. Michael [editor.] | Arbel, Tal [editor.] | Cai, Weidong [editor.] | Cardoso, M. Jorge [editor.] | Langs, Georg [editor.] | Menze, Bjoern [editor.] | Metaxas, Dimitris [editor.] | Montillo, Albert [editor.] | Wells III, William M [editor.] | Zhang, Shaoting [editor.] | Chung, Albert C.S [editor.] | Jenkinson, Mark [editor.] | Ribbens, Annemie [editor.] | SpringerLink (Online service).

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