Your search returned 1791 results. Subscribe to this search

|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings / edited by Didier Buchs, Josep Carmona.

by Buchs, Didier [editor.] | Carmona, Josep [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

Graph Transformation [electronic resource] : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer.

by Gadducci, Fabio [editor.] | Kehrer, Timo [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

Functional Imaging and Modeling of the Heart [electronic resource] : 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings / edited by Daniel B. Ennis, Luigi E. Perotti, Vicky Y. Wang.

by Ennis, Daniel B [editor.] | Perotti, Luigi E [editor.] | Wang, Vicky Y [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

Computer Science - Theory and Applications [electronic resource] : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings / edited by Rahul Santhanam, Daniil Musatov.

by Santhanam, Rahul [editor.] | Musatov, Daniil [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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [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 and Soft Computing [electronic resource] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.

by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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

Computer Algebra in Scientific Computing [electronic resource] : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.

by Boulier, François [editor.] | England, Matthew [editor.] | Sadykov, Timur M [editor.] | Vorozhtsov, Evgenii V [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

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas.

by Amini, Massih-Reza [editor.] | Canu, Stéphane [editor.] | Fischer, Asja [editor.] | Guns, Tias [editor.] | Kralj Novak, Petra [editor.] | Tsoumakas, Grigorios [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

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas.

by Amini, Massih-Reza [editor.] | Canu, Stéphane [editor.] | Fischer, Asja [editor.] | Guns, Tias [editor.] | Kralj Novak, Petra [editor.] | Tsoumakas, Grigorios [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

Studies in Complexity and Cryptography [electronic resource] : Miscellanea on the Interplay between Randomness and Computation / by Oded Goldreich.

by Goldreich, Oded [author.] | SpringerLink (Online service).

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

Fetal, Infant and Ophthalmic Medical Image Analysis [electronic resource] : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Andrew Melbourne, Hrvoje Bogunovic, Pim Moeskops, Xinjian Chen, Ernst Schwartz, Mona Garvin, Emma Robinson, Emanuele Trucco, Michael Ebner, Yanwu Xu, Antonios Makropoulos, Adrien Desjardin, Tom Vercauteren.

by Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | Melbourne, Andrew [editor.] | Bogunovic, Hrvoje [editor.] | Moeskops, Pim [editor.] | Chen, Xinjian [editor.] | Schwartz, Ernst [editor.] | Garvin, Mona [editor.] | Robinson, Emma [editor.] | Trucco, Emanuele [editor.] | Ebner, Michael [editor.] | Xu, Yanwu [editor.] | Makropoulos, Antonios [editor.] | Desjardin, Adrien [editor.] | Vercauteren, Tom [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

Advances in Neural Networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings Part I / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.

by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service).

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

Business Process Management [electronic resource] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings / edited by Josep Carmona, Gregor Engels, Akhil Kumar.

by Carmona, Josep [editor.] | Engels, Gregor [editor.] | Kumar, Akhil [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

DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / edited by David Soloveichik, Bernard Yurke.

by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service).

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

Formal Concept Analysis [electronic resource] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings / edited by Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber.

by Braud, Agnès [editor.] | Buzmakov, Aleksey [editor.] | Hanika, Tom [editor.] | Le Ber, Florence [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

Unconventional Computation and Natural Computation [electronic resource] : 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings / edited by Irina Kostitsyna, Pekka Orponen.

by Kostitsyna, Irina [editor.] | Orponen, Pekka [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

Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings / edited by Thierry Denœux, Eric Lefèvre, Zhunga Liu, Frédéric Pichon.

by Denœux, Thierry [editor.] | Lefèvre, Eric [editor.] | Liu, Zhunga [editor.] | Pichon, Frédéric [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

Distributed Artificial Intelligence [electronic resource] : 4th International Conference, DAI 2022, Tianjin, China, December 15-17, 2022, Proceedings / edited by Makoto Yokoo, Hong Qiao, Yevgeniy Vorobeychik, Jianye Hao.

by Yokoo, Makoto [editor.] | Qiao, Hong [editor.] | Vorobeychik, Yevgeniy [editor.] | Hao, Jianye [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

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings / edited by Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi.

by Ghaffari, Mohsen [editor.] | Nesterenko, Mikhail [editor.] | Tixeuil, Sébastien [editor.] | Tucci, Sara [editor.] | Yamauchi, Yukiko [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

Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part VII / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.

by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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