Henning Fernau – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
21 produkter
21 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
542 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. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.The conference was cancelled as a live conference due to the corona pandemic.
E-bok
PDF, Engelska, 2020710 kr
Läs direkt efter köp
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. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.
The conference was cancelled as a live conference due to the corona pandemic.
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
971 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. They deal with diverse topics related to combinatorial algorithms, such as algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawingand graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic andrandomized algorithms; and streaming algorithms.
E-bok
Engelska, 20221 255 kr
Läs direkt efter köp
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. They deal with diverse topics related to combinatorial algorithms, such as algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawingand graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic andrandomized algorithms; and streaming algorithms.
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
890 kr
Skickas inom 10-15 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 30 full papers included in this volume were carefully reviewed and selected from 79 submissions. The papers cover topics of all aspects of theoretical computer science, in particular Fundamentals of Computation Theory, Approximation Algorithms, Computable Analysis and much more.
E-bok
Engelska, 20231 138 kr
Läs direkt efter köp
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.
864 kr
Skickas inom 5-8 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.
1 105 kr
Läs direkt efter köp
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
579 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. They were organized in topical sections as follows: Invited Papers; Tactile Learning: Unplugged Graphs, Trees, and Patterns; Teaching Advanced Concepts Using Tangible Machines; Curricular Desicion-Making; Computational Thinking and Interdisciplinary Instruction; Innovative Teaching Beyond the Classroom.
E-bok
Engelska, 2024767 kr
Läs direkt efter köp
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. They were organized in topical sections as follows: Invited Papers; Tactile Learning: Unplugged Graphs, Trees, and Patterns; Teaching Advanced Concepts Using Tangible Machines; Curricular Desicion-Making; Computational Thinking and Interdisciplinary Instruction; Innovative Teaching Beyond the Classroom.
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 721 kr
Skickas inom 10-15 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. The IWOCA conference series has provided an annual forum for researchers who design algorithms to address the myriad combinatorial problems underlying computer applications in science, engineering, and business.
E-bok
Engelska, 20252 201 kr
Läs direkt efter köp
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. The IWOCA conference series has provided an annual forum for researchers who design algorithms to address the myriad combinatorial problems underlying computer applications in science, engineering, and business.
Häftad, Engelska, 2026
1 935 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.
E-bok
Engelska, 20262 517 kr
Läs direkt efter köp
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.
- Nyhet
Del 16674 - Lecture Notes in Computer Science
Timeless Machines: Computability Across Eras
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Häftad, Engelska, 2026
885 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd Conference on Timeless Machines: Computability Across Eras, CiE 2026, held in Trier, Germany, during July 27–31, 2026.The 30 full papers included in this book were carefully reviewed and selected from 57 submissions. The conference had six special sessions: Learning Theory Meets Computability Theory; Groups and Computability; At the Borderline of Universality; Natural Computation and Bioinformatics; Quantum Computing and Information; and the History and Philosophy of Computing.Additionally the main proceedings includes 6 full papers and the front matter contains 16 abstracts that derive from the invited talks, tutorials, and special sessions.
Häftad, Engelska, 2002
559 kr
Skickas inom 10-15 vardagar
The Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on September 23-25th, 2002. ICGI2002 was the sixth in a series of successful biennial international conferenceson the area of grammatical inference. Previous meetings were held in Essex, U.K.; Alicante, Spain; Mo- pellier, France; Ames, Iowa, USA; Lisbon, Portugal. This series of meetings seeks to provide a forum for the presentation and discussion of original research on all aspects of grammatical inference. Gr- matical inference, the process of inferring grammars from given data, is a ?eld that not only is challenging from a purely scienti?c standpoint but also ?nds many applications in real-world problems. Despite the fact that grammatical inference addresses problems in a re- tively narrow area, it uses techniques from many domains, and is positioned at the intersection of a number of di?erent disciplines. Researchers in grammatical inference come from ?elds as diverse as machine learning, theoretical computer science, computational linguistics, pattern recognition, and arti?cial neural n- works. From a practical standpoint, applications in areas like natural language - quisition, computational biology, structural pattern recognition, information - trieval, text processing, data compression and adaptive intelligent agents have either been demonstrated or proposed in the literature. The technical program included the presentation of 23 accepted papers (out of 41 submitted). Moreover, for the ?rst time a software presentation was or- nized at ICGI. Short descriptions of the corresponding software are included in these proceedings, too.
E-bok
PDF, Engelska, 2003732 kr
Läs direkt efter köp
The Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on September 23-25th, 2002. ICGI2002 was the sixth in a series of successful biennial international conferenceson the area of grammatical inference. Previous meetings were held in Essex, U.K.; Alicante, Spain; Mo- pellier, France; Ames, Iowa, USA; Lisbon, Portugal. This series of meetings seeks to provide a forum for the presentation and discussion of original research on all aspects of grammatical inference. Gr- matical inference, the process of inferring grammars from given data, is a ?eld that not only is challenging from a purely scienti?c standpoint but also ?nds many applications in real-world problems. Despite the fact that grammatical inference addresses problems in a re- tively narrow area, it uses techniques from many domains, and is positioned at the intersection of a number of di?erent disciplines. Researchers in grammatical inference come from ?elds as diverse as machine learning, theoretical computer science, computational linguistics, pattern recognition, and arti?cial neural n- works. From a practical standpoint, applications in areas like natural language - quisition, computational biology, structural pattern recognition, information - trieval, text processing, data compression and adaptive intelligent agents have either been demonstrated or proposed in the literature. The technical program included the presentation of 23 accepted papers (out of 41 submitted). Moreover, for the ?rst time a software presentation was or- nized at ICGI. Short descriptions of the corresponding software are included in these proceedings, too.
Häftad, Engelska, 2008
559 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
E-bok
PDF, Engelska, 2008732 kr
Läs direkt efter köp
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
Häftad, Engelska, 2010
1 110 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.
E-bok
PDF, Engelska, 20101 455 kr
Läs direkt efter köp