Logic, Rationality, and Interaction
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information...
EAN: 9783662485606
Structural Information and Communication Complexity
EAN: 9783319252575
Sitzzuteilungsmethoden
Zahlreiche Beispiele mit aktuellen Wahlergebnissen sichern dabei...
EAN: 9783662473603
Logic, Rewriting, and Concurrency
This Festschrift volume contains 28 refereed papers including personal memories, essays, and...
EAN: 9783319231648
Algebraic Informatics
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic...
EAN: 9783319230207
Tower of Hanoi – Myths and Maths
Enriched with elaborate illustrations, connections to other puzzles and challenges for the reader...
EAN: 9783034807692
Latent Variable Analysis and Signal Separation
This book constitutes the proceedings of the 12th International Conference on Latent Variable...
EAN: 9783319224817
Advances in Information and Computer Security
This book constitutes the proceedings of the 10th International Workshop on Security, IWSEC 2015,...
EAN: 9783319224244
Mathematical Foundations of Computer Science 2015
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the...
EAN: 9783662480533
Advances in Spatial and Temporal Databases
This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and...
EAN: 9783319223629
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 20th International Symposium on...
EAN: 9783319221762
Progress in Cryptology -- LATINCRYPT 2015
This book constitutes the proceedings of the 4th International Conference on Cryptology and...
EAN: 9783319221731
Advances in Cryptology -- CRYPTO 2015
The two volume-set, LNCS 9215 and LNCS 9216, constitutes the refereed proceedings of the 35th...
EAN: 9783662479995
Advances in Cryptology -- CRYPTO 2015
The two volume-set, LNCS 9215 and LNCS 9216, constitutes the refereed proceedings of the 35th...
EAN: 9783662479889
DNA Computing and Molecular Programming
This book constitutes the refereed proceedings of the 21st International Conference on DNA...
EAN: 9783319219981
Algorithms and Data Structures
The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data...
EAN: 9783319218397
Computing and Combinatorics
This book constitutes the refereed proceedings of the 21st International Conference on Computing...
EAN: 9783319213972
Erdos–Ko–Rado Theorems: Algebraic Approaches
The Erdos–Ko–Rado Theorem is a fundamental result in combinatorics. Aimed at graduate students...
EAN: 9781107128446
Graph Transformation
This book constitutes the proceedings of the 8th International Conference on Graph...
EAN: 9783319211442
Automata, Languages, and Programming
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd...
EAN: 9783662476710
