Your search returned 14664 results. Subscribe to this search

|
Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.

by Raschke, Alexander [editor.] | Riccobene, Elvinia [editor.] | Schewe, Klaus-Dieter [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

The Semantic Web [electronic resource] : 18th International Conference, ESWC 2021, Virtual Event, June 6-10, 2021, Proceedings / edited by Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam.

by Verborgh, Ruben [editor.] | Hose, Katja [editor.] | Paulheim, Heiko [editor.] | Champin, Pierre-Antoine [editor.] | Maleshkova, Maria [editor.] | Corcho, Oscar [editor.] | Ristoski, Petar [editor.] | Alam, Mehwish [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

Algorithms for Computational Biology [electronic resource] : 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7-11, 2021, Proceedings / edited by Carlos Martín-Vide, Miguel A. Vega-Rodríguez, Travis Wheeler.

by Martín-Vide, Carlos [editor.] | Vega-Rodríguez, Miguel A [editor.] | Wheeler, Travis [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

Statistical Atlases and Computational Models of the Heart. M&Ms and EMIDEC Challenges [electronic resource] : 11th International Workshop, STACOM 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Revised Selected Papers / edited by Esther Puyol Anton, Mihaela Pop, Maxime Sermesant, Victor Campello, Alain Lalande, Karim Lekadir, Avan Suinesiaputra, Oscar Camara, Alistair Young.

by Puyol Anton, Esther [editor.] | Pop, Mihaela [editor.] | Sermesant, Maxime [editor.] | Campello, Victor [editor.] | Lalande, Alain [editor.] | Lekadir, Karim [editor.] | Suinesiaputra, Avan [editor.] | Camara, Oscar [editor.] | Young, Alistair [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

Mathematical Aspects of Computer and Information Sciences [electronic resource] : 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers / edited by Daniel Slamanig, Elias Tsigaridas, Zafeirakis Zafeirakopoulos.

by Slamanig, Daniel [editor.] | Tsigaridas, Elias [editor.] | Zafeirakopoulos, Zafeirakis [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

Model and Data Engineering [electronic resource] : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings / edited by Christian Attiogbé, Sadok Ben Yahia.

by Attiogbé, Christian [editor.] | Ben Yahia, Sadok [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

Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part II / edited by Ido Roll, Danielle McNamara, Sergey Sosnovsky, Rose Luckin, Vania Dimitrova.

by Roll, Ido [editor.] | McNamara, Danielle [editor.] | Sosnovsky, Sergey [editor.] | Luckin, Rose [editor.] | Dimitrova, Vania [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

Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I / edited by Ido Roll, Danielle McNamara, Sergey Sosnovsky, Rose Luckin, Vania Dimitrova.

by Roll, Ido [editor.] | McNamara, Danielle [editor.] | Sosnovsky, Sergey [editor.] | Luckin, Rose [editor.] | Dimitrova, Vania [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

Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part III / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.

by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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

Applied Cryptography and Network Security [electronic resource] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I / edited by Kazue Sako, Nils Ole Tippenhauer.

by Sako, Kazue [editor.] | Tippenhauer, Nils Ole [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

Structured Object-Oriented Formal Language and Method [electronic resource] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / edited by Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan.

by Xue, Jinyun [editor.] | Nagoya, Fumiko [editor.] | Liu, Shaoying [editor.] | Duan, Zhenhua [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

Serious Games [electronic resource] : Joint International Conference, JCSG 2021, Virtual Event, January 12-13, 2022, Proceedings / edited by Bobbie Fletcher, Minhua Ma, Stefan Göbel, Jannicke Baalsrud Hauge, Tim Marsh.

by Fletcher, Bobbie [editor.] | Ma, Minhua [editor.] | Göbel, Stefan [editor.] | Baalsrud Hauge, Jannicke [editor.] | Marsh, Tim [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

Artificial Intelligence [electronic resource] : 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11-16, 2021, Proceedings / edited by Sergei M. Kovalev, Sergei O. Kuznetsov, Aleksandr I. Panov.

by Kovalev, Sergei M [editor.] | Kuznetsov, Sergei O [editor.] | Panov, Aleksandr I [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

The Multi-Agent Programming Contest 2021 [electronic resource] : One-and-a-Half Decades of Exploring Multi-Agent Systems / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg.

by Ahlbrecht, Tobias [editor.] | Dix, Jürgen [editor.] | Fiekas, Niklas [editor.] | Krausburg, Tabajara [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

Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings / edited by Una-May O'Reilly, Xavier Devroey.

by O'Reilly, Una-May [editor.] | Devroey, Xavier [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

Machine Learning in Medical Imaging [electronic resource] : 12th International Workshop, MLMI 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Chunfeng Lian, Xiaohuan Cao, Islem Rekik, Xuanang Xu, Pingkun Yan.

by Lian, Chunfeng [editor.] | Cao, Xiaohuan [editor.] | Rekik, Islem [editor.] | Xu, Xuanang [editor.] | Yan, Pingkun [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

Algorithmic Game Theory [electronic resource] : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings / edited by Ioannis Caragiannis, Kristoffer Arnsfelt Hansen.

by Caragiannis, Ioannis [editor.] | Hansen, Kristoffer Arnsfelt [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

Cross-Cultural Design. Interaction Design Across Cultures [electronic resource] : 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I / edited by Pei-Luen Patrick Rau.

by Rau, Pei-Luen Patrick [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

Design, User Experience, and Usability: UX Research, Design, and Assessment [electronic resource] : 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I / edited by Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus.

by Soares, Marcelo M [editor.] | Rosenzweig, Elizabeth [editor.] | Marcus, Aaron [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

Comparative Genomics [electronic resource] : 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022, Proceedings / edited by Lingling Jin, Dannie Durand.

by Jin, Lingling [editor.] | Durand, Dannie [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