Your search returned 14664 results. Subscribe to this search

|
Artificial Intelligence in Medicine [electronic resource] : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, Proceedings / edited by David Riaño, Szymon Wilk, Annette ten Teije.

by Riaño, David [editor.] | Wilk, Szymon [editor.] | ten Teije, Annette [editor.] | SpringerLink (Online service).

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

Treewidth, Kernels, and Algorithms [electronic resource] : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / edited by Fedor V. Fomin, Stefan Kratsch, Erik Jan van Leeuwen.

by Fomin, Fedor V [editor.] | Kratsch, Stefan [editor.] | van Leeuwen, Erik Jan [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

Foundations and Practice of Security [electronic resource] : 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers / edited by Abdelmalek Benzekri, Michel Barbeau, Guang Gong, Romain Laborde, Joaquin Garcia-Alfaro.

by Benzekri, Abdelmalek [editor.] | Barbeau, Michel [editor.] | Gong, Guang [editor.] | Laborde, Romain [editor.] | Garcia-Alfaro, Joaquin [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

Advances in Information Retrieval [electronic resource] : 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II / edited by Joemon M. Jose, Emine Yilmaz, João Magalhães, Pablo Castells, Nicola Ferro, Mário J. Silva, Flávio Martins.

by Jose, Joemon M [editor.] | Yilmaz, Emine [editor.] | Magalhães, João [editor.] | Castells, Pablo [editor.] | Ferro, Nicola [editor.] | Silva, Mário J [editor.] | Martins, Flávio [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

Large-Scale Scientific Computing [electronic resource] : 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [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

Internet of Vehicles. Technologies and Services Toward Smart Cities [electronic resource] : 6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings / edited by Ching-Hsien Hsu, Sondès Kallel, Kun-Chan Lan, Zibin Zheng.

by Hsu, Ching-Hsien [editor.] | Kallel, Sondès [editor.] | Lan, Kun-Chan [editor.] | Zheng, Zibin [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

Dynamic Logic. New Trends and Applications [electronic resource] : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.

by Soares Barbosa, Luís [editor.] | Baltag, Alexandru [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

Internet and Distributed Computing Systems [electronic resource] : 12th International Conference, IDCS 2019, Naples, Italy, October 10-12, 2019, Proceedings / edited by Raffaele Montella, Angelo Ciaramella, Giancarlo Fortino, Antonio Guerrieri, Antonio Liotta.

by Montella, Raffaele [editor.] | Ciaramella, Angelo [editor.] | Fortino, Giancarlo [editor.] | Guerrieri, Antonio [editor.] | Liotta, Antonio [editor.] | SpringerLink (Online service).

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

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.

by Alvim, Mário S [editor.] | Chatzikokolakis, Kostas [editor.] | Olarte, Carlos [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service).

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

Benchmarking, Measuring, and Optimizing [electronic resource] : Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers / edited by Wanling Gao, Jianfeng Zhan, Geoffrey Fox, Xiaoyi Lu, Dan Stanzione.

by Gao, Wanling [editor.] | Zhan, Jianfeng [editor.] | Fox, Geoffrey [editor.] | Lu, Xiaoyi [editor.] | Stanzione, Dan [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

Distributed Applications and Interoperable Systems [electronic resource] : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / edited by Anne Remke, Valerio Schiavoni.

by Remke, Anne [editor.] | Schiavoni, Valerio [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

Developments in Language Theory [electronic resource] : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings / edited by Nataša Jonoska, Dmytro Savchuk.

by Jonoska, Nataša [editor.] | Savchuk, Dmytro [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

Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings / edited by Alexander Raschke, Dominique Méry, Frank Houdek.

by Raschke, Alexander [editor.] | Méry, Dominique [editor.] | Houdek, Frank [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

Computer Information Systems and Industrial Management [electronic resource] : 19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020, Proceedings / edited by Khalid Saeed, Jiří Dvorský.

by Saeed, Khalid [editor.] | Dvorský, Jiří [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

Research in Computational Molecular Biology [electronic resource] : 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020, Proceedings / edited by Russell Schwartz.

by Schwartz, Russell [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

Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers / edited by Javier Camara, Martin Steffen.

by Camara, Javier [editor.] | Steffen, Martin [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

Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2020, Warsaw, Poland, September 14-16, 2020, Proceedings / edited by Leszek J. Chmielewski, Ryszard Kozera, Arkadiusz Orłowski.

by Chmielewski, Leszek J [editor.] | Kozera, Ryszard [editor.] | Orłowski, Arkadiusz [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

Applied Cryptography and Network Security [electronic resource] : 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part I / edited by Mauro Conti, Jianying Zhou, Emiliano Casalicchio, Angelo Spognardi.

by Conti, Mauro [editor.] | Zhou, Jianying [editor.] | Casalicchio, Emiliano [editor.] | Spognardi, Angelo [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

Artificial Intelligence in Education [electronic resource] : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020, Proceedings, Part II / edited by Ig Ibert Bittencourt, Mutlu Cukurova, Kasia Muldner, Rose Luckin, Eva Millán.

by Bittencourt, Ig Ibert [editor.] | Cukurova, Mutlu [editor.] | Muldner, Kasia [editor.] | Luckin, Rose [editor.] | Millán, Eva [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

Computer Science - Theory and Applications [electronic resource] : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings / edited by Henning Fernau.

by Fernau, Henning [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