Discrete Mathematics and Applications
Advances in discrete mathematics are presented in this book with applications in theoretical...
EAN: 9783030558598
Atomic-Scale Electronics Beyond CMOS
EAN: 9783030605650
Discrete and Computational Geometry, Graphs, and Games
This book constitutes the thoroughly refereed post-conference proceedings of the 21st Japanese...
EAN: 9783030900472
Relational and Algebraic Methods in Computer Science
This book constitutes the proceedings of the 19th International Conference on Relational and...
EAN: 9783030887001
Unconventional Computation and Natural Computation
This book constitutes the proceedings of the 19th International Conference on Unconventional...
EAN: 9783030879921
Formal Methods in Outer Space
His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award,...
EAN: 9783030873479
Graph-Theoretic Concepts in Computer Science
EAN: 9783030868376
String Processing and Information Retrieval
This book constitutes the refereed proceedings of the 27th International Symposium on String...
EAN: 9783030866914
Computational Science and Its Applications – ICCSA 2021
The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International...
EAN: 9783030866525
Algorithms and Data Structures
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms...
EAN: 9783030835071
Computer Aided Verification
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the...
EAN: 9783030816872
Developments in Language Theory
This book constitutes the proceedings of the 25th International Conference on Developments in...
EAN: 9783030815073
Semantic Web: ESWC 2021 Satellite Events
EAN: 9783030804176
Geometric Science of Information
This book constitutes the proceedings of the 5th International Conference on Geometric Science of...
EAN: 9783030802080
Connecting with Computability
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE...
EAN: 9783030800482
Combinatorial Algorithms
This book constitutes the proceedings of the 32nd International Workshop on Combinatorial...
EAN: 9783030799861
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible...
EAN: 9783030798369
Implementation and Application of Automata
This book constitutes the proceedings of the 25th International Conference on Implementation and...
EAN: 9783030791209
Graph Transformation
This book constitutes the refereed proceedings of the 14th International Conference on Graph...
EAN: 9783030789459
Formal Techniques for Distributed Objects, Components, and Systems
EAN: 9783030780883
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779795
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779764
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779696
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779665
