Random Walks on Disordered Media and their Scaling Limits
In these lecture notes, we will analyze the behavior of random walk on disordered media by means...
EAN: 9783319031514
Foundations of Information and Knowledge Systems
EAN: 9783319049380
Algorithms and Computation
This book constitutes the revised selected papers of the 8th International Workshop on Algorithms...
EAN: 9783319046563
Graph Structures for Knowledge Representation and Reasoning
This book constitutes the thoroughly refereed post-conference proceedings of the Third...
EAN: 9783319045337
Ubiquitous Social Media Analysis
This book constitutes the thoroughly refereed joint post-proceedings of the Third International...
EAN: 9783642453915
Graph Drawing
This book constitutes the thoroughly refereed post-conference proceedings of the 21st...
EAN: 9783319038407
Algorithms and Models for the Web Graph
They address topics related to graph-theoretic and algorithmic aspects of related complex...
EAN: 9783319035352
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic...
EAN: 9781475770360
Automated Reasoning with Analytic Tableaux and Related Methods
EAN: 9783642405365
Algorithms – ESA 2013
This book constitutes the refereed proceedings of the 21st Annual European Symposium on...
EAN: 9783642404498
Principles and Practice of Constraint Programing-CP 2013
This book constitutes the refereed conference proceedings of the 18th International Conference on...
EAN: 9783642406263
Logic Programming and Nonmonotonic Reasoning
The 34 revised full papers (22 technical papers, 9 application description, and 3 system...
EAN: 9783642405631
Advances in Cryptology – CRYPTO 2013
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd...
EAN: 9783642400834
Advances in Cryptology – CRYPTO 2013
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd...
EAN: 9783642400407
Descriptional Complexity of Formal Systems
This book constitutes the refereed proceedings of the 15th International Workshop of...
EAN: 9783642393099
Automata, Languages, and Programming
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th...
EAN: 9783642392115
Automata, Languages, and Programming
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th...
EAN: 9783642392054
Nature of Computation: Logic, Algorithms, Applications
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe,...
EAN: 9783642390524
Arc Routing
Arc Routing: Theory, Solutions and Applications is about arc traversal and the wide variety of...
EAN: 9781461370260
Parameterized Complexity
The idea for this book was conceived over the second bottle of Villa Maria's Caber net Medot...
EAN: 9781461267980
SOFSEM 2013: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 39th International Conference on Current...
EAN: 9783642358425
Conceptual Structures for Discovering Knowledge
This book constitutes the proceedings of the 20th International Conference on Conceptual...
EAN: 9783642357855
Graph Transformation
The papers are organized in topical sections on behavioural analysis, high-level graph...
EAN: 9783642336539