Tags
Language
Tags
  1. Home
  2. eBooks & eLearning
  3. automata theory
Deutsch Hörbücher

Hörbücher

Español Audiolibros

Audiolibros

Italiano Audiolibri

Audiolibri

Svenska Ljudböcker

Ljudböcker



Want to Learn English Language?
Click on the link! There is all you need!

Developments in Language Theory

Posted By: AvaxGenius
Date: 20 May 2022 18:10:09
Developments in Language Theory

Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings by Volker Diekert
English | PDF | 2022 | 339 Pages | ISBN : 3031055772 | 6.1 MB

This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, FL, USA, during May, 2022. The conference took place in an hybrid format with both in-person and online participation.
Details

Brains, Machines, and Mathematics

Posted By: AvaxGenius
Date: 14 Apr 2022 12:23:16
Brains, Machines, and Mathematics

Brains, Machines, and Mathematics by Michael A. Arbib
English | PDF | 1987 Pages | ISBN : 0387965394 | 21.4 MB

This is a book whose time has come-again. The first edition (published by McGraw-Hill in 1964) was written in 1962, and it celebrated a number of approaches to developing an automata theory that could provide insights into the processing of information in brainlike machines, making it accessible to readers with no more than a college freshman's knowledge of mathematics. The book introduced many readers to aspects of cybernetics-the study of computation and control in animal and machine.
Details

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities

Posted By: AvaxGenius
Date: 19 Feb 2022 16:50:09
Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities: 15th International Conference, NooJ 2021, Besançon, France, June 9–11, 2021, Revised Selected Papers by Magali Bigey
English | PDF | 2021 | 251 Pages | ISBN : 3030928608 | 50 MB

This book constitutes selected revised papers of the 15th International Conference, NooJ 2021, held in Besançon, France, in June 2021. Due to the COVID-19 pandemic the conference was held online.
Details

Automated Technology for Verification and Analysis

Posted By: AvaxGenius
Date: 8 Nov 2021 02:09:47
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings by Zhe Hou
English | PDF | 2021 | 384 Pages | ISBN : 3030888843 | 13.9 MB

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.
Details

Unconventional Computation and Natural Computation

Posted By: AvaxGenius
Date: 2 Nov 2021 14:19:11
Unconventional Computation and Natural Computation

Unconventional Computation and Natural Computation: 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings by Irina Kostitsyna
English | PDF | 2021 | 215 Pages | ISBN : 3030879925 | 9.9 MB

This book constitutes the proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021, held in Espoo, Finland, in October 2021.
Details

Intelligent Computer Mathematics

Posted By: AvaxGenius
Date: 23 Oct 2021 13:05:22
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | PDF | 2021 | 263 Pages | ISBN : 3030810968 | 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
Details

Implementation and Application of Automata

Posted By: AvaxGenius
Date: 5 Aug 2021 07:22:56
Implementation and Application of Automata

Implementation and Application of Automata: 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings by Sebastian Maneth
English | EPUB | 2021 | 202 Pages | ISBN : 3030791203 | 14.6 MB

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
Details

Implementation and Application of Automata

Posted By: AvaxGenius
Date: 27 Jun 2021 10:55:04
Implementation and Application of Automata

Implementation and Application of Automata: 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings by Sebastian Maneth
English | PDF | 2021 | 202 Pages | ISBN : 3030791203 | 4.8 MB

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
Details

Tools and Algorithms for the Construction and Analysis of Systems

Posted By: AvaxGenius
Date: 8 Apr 2021 12:35:23
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I by Jan Friso Groote
English | PDF | 2021 | 483 Pages | ISBN : 3030720152 | 8.6 MB

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Details

Tools and Algorithms for the Construction and Analysis of Systems

Posted By: AvaxGenius
Date: 8 Apr 2021 12:30:23
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II by Jan Friso Groote
English | PDF | 2021 | 476 Pages | ISBN : 3030720128 | 13.2 MB

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Details

Foundations of Software Science and Computation Structures

Posted By: AvaxGenius
Date: 8 Apr 2021 12:25:54
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings by Stefan Kiefer
English | PDF | 2021 | 587 Pages | ISBN : 3030719944 | 6.9 MB

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Details

Cellular Automata

Posted By: AvaxGenius
Date: 29 Mar 2021 17:58:43
Cellular Automata

Cellular Automata: 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings by Tomasz M. Gwizdałła
English | EPUB | 2021 | 283 Pages | ISBN : 3030694798 | 26.9 MB

This book constitutes the refereed proceedings of the 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, which took place in Lodz, Poland, during December 2-4, 2020.
Details

From Data to Models and Back

Posted By: AvaxGenius
Date: 27 Mar 2021 21:46:12
From Data to Models and Back

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers by Juliana Bowles
English | EPUB | 2021 | 233 Pages | ISBN : 3030706494 | 20.2 MB

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
Details

From Data to Models and Back

Posted By: AvaxGenius
Date: 4 Mar 2021 18:52:11
From Data to Models and Back

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers by Juliana Bowles
English | PDF | 2021 | 233 Pages | ISBN : 3030706494 | 25.9 MB

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
Details

Cellular Automata

Posted By: AvaxGenius
Date: 16 Feb 2021 08:22:45
Cellular Automata

Cellular Automata: 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings by Tomasz M. Gwizdałła
English | PDF | 2021 | 283 Pages | ISBN : 3030694798 | 26.9 MB

This book constitutes the refereed proceedings of the 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, which took place in Lodz, Poland, during December 2-4, 2020.
Details
UPWARDS