for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
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 refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.The 25 revised full papers presented were carefully reviewed and selected from 78 submissions.
Bemærk: Kan leveres før jul.
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 12043 and 12044 constitutes revised selected... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020.
Bemærk: Kan leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes revised selected papers from the workshops held at 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, which took place in Göttingen, Germany, in August 2019.
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.
This book constitutes the refereed post-conference proceedings of the 6th... Læs mere
Bemærk: Kan ikke leveres før jul.