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
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779634
Computational Science – ICCS 2021
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings...
EAN: 9783030779603
Advances in Cryptology – EUROCRYPT 2021
EAN: 9783030778699
Rigorous State-Based Methods
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based...
EAN: 9783030775421
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 10th International Workshop on...
EAN: 9783030774738
Membrane Computing
This book constitutes the refereed post-conference proceedings of the 21st International...
EAN: 9783030771010
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 42nd International Conference on Application and...
EAN: 9783030769826