Bemærk: Kan ikke leveres før jul.
The papers present current developments in language theory, formal languages, automata theory and related areas, such as algorithmic, combinatorial, and algebraic properties of words and languages, cellular automata, algorithms on words, etc.
Bemærk: Kan ikke leveres før jul.
The papers were submitted to three tracks: the research track, the resource track and the in-use track.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 25th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 5th International... Læs mere
Bemærk: Kan ikke leveres før jul.
The volume LNCS 12226 constitutes the revised selected papers from the... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 18th Russian Conference on Artificial Intelligence, RCAI 2020, held in Moscow, Russia, in October 2020. The 27 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 140 submissions.
Bemærk: Kan ikke leveres før jul.
The conference was planned to take place in Copenhagen, Denmark, but had... Læs mere
Bemærk: Kan ikke leveres før jul.
The papers presented in this volume cover a broad range of topics, ranging from works that ground... Læs mere