Henning Fernau - Böcker
Visar alla böcker från författaren Henning Fernau. Handla med fri frakt och snabb leverans.
10 produkter
10 produkter
Del 12159 - Lecture Notes in Computer Science
Computer Science – Theory and Applications
15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
Häftad, Engelska, 2020
538 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions.
Del 13270 - Lecture Notes in Computer Science
Combinatorial Algorithms
33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings
Häftad, Engelska, 2022
963 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.The 35 papers presented in these proceedings were carefully reviewed and selected from 86 submissions.
Del 14292 - Lecture Notes in Computer Science
Fundamentals of Computation Theory
24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings
Häftad, Engelska, 2023
882 kr
Skickas inom 7-10 vardagar
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The __ full papers included in this volume were carefully reviewed and selected from __ submissions. In addition, the book contains ____ invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
856 kr
Skickas inom 7-10 vardagar
This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.
Del 15229 - Lecture Notes in Computer Science
Creative Mathematical Sciences Communication
7th International Conference, CMSC 2024, Trier, Germany, October 7–10, 2024, Proceedings
Häftad, Engelska, 2024
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, Germany, during October 7–10, 2024. The 17 full and short papers included in this book were carefully reviewed and selected from 26 submissions.
Del 15885 - Lecture Notes in Computer Science
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Häftad, Engelska, 2025
1 690 kr
Skickas inom 7-10 vardagar
This book constitutes the refereed proceedings of the 36th International Workshop on Combinatorial Algorithms, IWOCA 2025, held in Bozeman, MT, USA, during July 21-24, 2025. The 32 full papers and two abstracts of invited talks included in this book were carefully reviewed and selected from 71 submissions.
Graph-Theoretic Concepts in Computer Science
51st International Workshop, WG 2025, Otzenhausen, Germany, June 11–13, 2025, Revised Selected Papers
Häftad, Engelska, 2026
1 891 kr
Skickas inom 10-15 vardagar
This volume constitutes the thoroughly refereed proceedings of the 51st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2025, which took place in Otzenhausen, Germany, during June 2025. The 32 full papers included in this book were carefully reviewed and selected from 91 submissions. The deal with applications of graph theory to various areas in computer science focusing on design and analysis of sequential, parallel, randomized, parameterized algorithms; distributed graph and network algorithms; structural graph theory with algorithmic or complexity applications; computational complexity of graph and network problems; graph grammars, graph rewriting systems and graph modeling; etc.
Grammatical Inference: Algorithms and Applications
6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings
Häftad, Engelska, 2002
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands in September 2002. The 28 revised full papers presented together with 7 software descriptions were carefully reviewed and selected from 48 submissions. The papers address issues in machine learning, automata, theoretical computer science, computational linguistics, and grammar systems as well as applications in fields like natural language processing, pattern recognition, computational biology, information retrieval, text processing, and data compression.
Language and Automata Theory and Applications
Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
Häftad, Engelska, 2008
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
Language and Automata Theory and Applications
4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings
Häftad, Engelska, 2010
1 101 kr
Skickas inom 10-15 vardagar
These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LATA 2010), held in Trier, Germany, during May 24-28, 2010. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for system analysis and program veri?cation; automata, concurrency and Petri nets; cel- lar automata; combinatorics on words; computability; computational compl- ity; computer linguistics; data and image compression; decidability questions on words and languages; descriptional complexity; DNA and other models of bio-inspired computing; document engineering; foundations of ?nite state te- nology; fuzzy and rough languages; grammars (Chomsky hierarchy, contextual, multidimensional, uni?cation, categorial, etc. ); grammars and automata arc- tectures; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; language-based cryptog- phy; language-theoretic foundations of arti?cial intelligence and arti?cial life; neuralnetworks;parallelandregulatedrewriting;parsing;patternmatching and pattern recognition; patterns and codes; power series; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; symbolic dynamics; term rewriting; text algorithms; textretrieval;transducers;trees,treelanguagesandtreemachines;andweighted machines.LATA 2010 received 115 submissions, many among them of good quality. Each one was reviewed by at least three Program Committee members plus, in mostcases,byadditionalexternalreferees. Afterathoroughandvividdiscussion phase, the committee decided to accept 47 papers (which means an acceptance rate of 40. 86%). The conference program also included four invited talks.