This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.;The 25 revised full papers presented, together with one i...
详细信息
ISBN:
(数字)9783642334757
ISBN:
(纸本)9783642334740
This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.;The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computerscience meet to share insights and ask questions about the future directions of the field.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in computerscience, WG 2023.;The 33 full papers presented in this volume were carefully revie...
详细信息
ISBN:
(数字)9783031433801
ISBN:
(纸本)9783031433795
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in computerscience, WG 2023.;The 33 full papers presented in this volume were carefully reviewed and selected from a total of 116 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computerscience, or by extracting new graph theoretic problems from applications.
The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as algorithms and data structures; combinatori...
详细信息
ISBN:
(数字)9783319905303
ISBN:
(纸本)9783319905297
The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computerscience; formal languages and automata; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to computerscience.
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.The 26 revised full papers presented, together with two invited talks, we...
详细信息
ISBN:
(数字)9783662446027
ISBN:
(纸本)9783662446010
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.
The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions.
[Suggestion--please check and add more if needed]
TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with:
- Track A: Algorithms, Complexity and Models of Computation, and
- Track B: Logic, Semantics, Specification and Verification
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in...
详细信息
ISBN:
(数字)9783662444658
ISBN:
(纸本)9783662444641
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
暂无评论