Bokus

Enrico Formenti – författare

Visar alla böcker från författaren Enrico Formenti. Handla med fri frakt och snabb leverans.

16 produkter

  1. Olivier Bournez, Enrico Formenti, Igor Potapov - Reachability Problems, Häftad. Tillgänglighet: Lägg i varukorg

    Reachability Problems

    17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

    Av Olivier Bournez, Enrico Formenti m. fl.

    Häftad, 2023

    733 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on …

  2. Igor Potapov, Enrico Formenti, Olivier Bournez - Reachability Problems, E-bok. Tillgänglighet: Lägg i varukorg

    Reachability Problems

    17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

    Av Igor Potapov, Enrico Formenti m. fl.

    E-bok, 2023

    923 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on …

  3. Mamata Dalui, Sukanta Das, Enrico Formenti - Cellular Automata Technology, Häftad. Tillgänglighet: Lägg i varukorg

    Cellular Automata Technology

    Third Asian Symposium, ASCAT 2024, Durgapur, India, February 29–March 2, 2024, Revised Selected Papers

    Av Mamata Dalui, Sukanta Das m. fl.

    Häftad, 2024

    1914 kr

    Lägg i varukorg

    This book constitutes the refereed conference proceedings of the Third Asian Symposium on Cellular Automata Technology, ASCAT 2024, held in Durgapur, India, during February 29 - March 2, 2024.The 15 full papers presented in this book were carefully reviewed and selected from 33 submissions. The …

  4. Enrico Formenti, Jérôme Durand-Lose - Machines, Computations, and Universality, Häftad. Tillgänglighet: Lägg i varukorg

    Machines, Computations, and Universality

    10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers

    Av Enrico Formenti, Jérôme Durand-Lose

    Häftad, 2025

    624 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5–7, 2024.The 8 full papers and 1 invited paper in this book were carefully reviewed and selected from 14 submissions. The …

  5. Jerome Durand-Lose, Enrico Formenti - Machines, Computations, and Universality, E-bok. Tillgänglighet: Lägg i varukorg

    Machines, Computations, and Universality

    10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers

    Av Jerome Durand-Lose, Enrico Formenti

    E-bok, 2025

    839 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5–7, 2024. The 8 full papers and 1 invited paper in this book were carefully reviewed and selected from 14 submissions. The …

  6. Supreeti Kamilya, Sukanta Das, Enrico Formenti - Cellular Automata Technology, Häftad. Tillgänglighet: Lägg i varukorg

    Cellular Automata Technology

    4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6–8, 2025, Revised Selected Papers

    Av Supreeti Kamilya, Sukanta Das m. fl.

    Häftad, 2025

    2026 kr

    Lägg i varukorg

    This book constitutes the refereed conference proceedings of the 4th Asian Symposium on Cellular Automata Technology, ASCAT 2025, held in Ranchi, India, during March 6–8, 2025.The 16 full papers included in this book were carefully reviewed and selected from 35 submissions. This symposium aims to …

  7. Enrico Formenti, Sukanta Das, Supreeti Kamilya - Cellular Automata Technology, E-bok. Tillgänglighet: Lägg i varukorg

    Cellular Automata Technology

    4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6–8, 2025, Revised Selected Papers

    Av Enrico Formenti, Sukanta Das m. fl.

    E-bok, 2025

    2677 kr

    Lägg i varukorg

    This book constitutes the refereed conference proceedings of the 4th Asian Symposium on Cellular Automata Technology, ASCAT 2025, held in Ranchi, India, during March 6–8, 2025. The 16 full papers included in this book were carefully reviewed and selected from 35 submissions. This symposium aims to …

  8. Enrico Formenti, Luca Manzoni - Unconventional Computation and Natural Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Unconventional Computation and Natural Computation

    22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

    Av Enrico Formenti, Luca Manzoni

    Häftad, 2026

    726 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 22nd International Conference on Unconventional Computation and Natural Computation, UCNC 2025, held in Nice, France, during September 1-5, 2025.The 24 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 …

  9. Luca Manzoni, Enrico Formenti - Unconventional Computation and Natural Computation, E-bok. Tillgänglighet: Lägg i varukorg

    Unconventional Computation and Natural Computation

    22nd International Conference, UCNC 2025, Nice, France, September 1-5, 2025, Proceedings

    Av Luca Manzoni, Enrico Formenti

    E-bok, 2026

    978 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 22nd International Conference on Unconventional Computation and Natural Computation, UCNC 2025, held in Nice, France, during September 1-5, 2025.The 24 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 43 …

  10. Enrico Formenti, Roberto Tagliaferri, Ernst Wit - Computational Intelligence Methods for Bioinformatics and Biostatistics, Häftad. Tillgänglighet: Lägg i varukorg

    Computational Intelligence Methods for Bioinformatics and Biostatistics

    10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers

    Av Enrico Formenti, Roberto Tagliaferri m. fl.

    Häftad, 2014

    530 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Meeting on ComputationalIntelligence Methods for Bioinformatics and Biostatistics, CIBB 2013, held in Nice, France in June 2013.The 19 revised full papers presented were carefully reviewed andselected …

  11. Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe - Language and Automata Theory and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Language and Automata Theory and Applications

    9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

    Av Adrian-Horia Dediu, Enrico Formenti m. fl.

    Häftad, 2015

    552 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 …

  12. Bianca Truthe, Carlos Martin-Vide, Enrico Formenti, Adrian-Horia Dediu - Language and Automata Theory and Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Language and Automata Theory and Applications

    9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

    Av Bianca Truthe, Carlos Martin-Vide m. fl.

    E-bok, 2015

    734 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 …

  13. Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca - Cellular Automata and Discrete Complex Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Cellular Automata and Discrete Complex Systems

    23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

    Av Alberto Dennunzio, Enrico Formenti m. fl.

    Häftad, 2017

    568 kr

    Lägg i varukorg

    This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited …

  14. Antonio E. Porreca, Luca Manzoni, Enrico Formenti, Alberto Dennunzio - Cellular Automata and Discrete Complex Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Cellular Automata and Discrete Complex Systems

    23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

    Av Antonio E. Porreca, Luca Manzoni m. fl.

    E-bok, 2017

    734 kr

    Lägg i varukorg

    This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited …

  15. Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven - Pattern Recognition in Bioinformatics, Häftad. Tillgänglighet: Lägg i varukorg

    Pattern Recognition in Bioinformatics

    8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

    Av Alioune Ngom, Enrico Formenti m. fl.

    Häftad, 2013

    552 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013. The 25 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are organized in …

  16. Twan van Laarhoven, Xing-Ming Zhao, Jin-Kao Hao, Enrico Formenti, Alioune Ngom - Pattern Recognition in Bioinformatics, E-bok. Tillgänglighet: Lägg i varukorg

    Pattern Recognition in Bioinformatics

    8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

    Av Twan van Laarhoven, Xing-Ming Zhao m. fl.

    E-bok, 2013

    734 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013. The 25 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are organized in …