Theoretical Aspects of Distributed Computing in Sensor Networks (Monographs in Theoretical Computer Science. An EATCS Series) 9783642148491, 9783642148484, 3642148492

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) 3540311874, 9783540311874

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph tr

109 29 4MB Read more

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) 3540299521, 9783540299523

Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a re

98 27 4MB Read more

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) 3540004289, 9783540004288

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applic

118 52 8MB Read more

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series) [2004 ed.] 3540212027, 9783540212027

Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of

116 61 2MB Read more

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that

121 60 2MB Read more

Theoretical Computer Science Cheat Sheet

516 111 258KB Read more

Sensor Networks (Communications in Computer and Information Science) 3031177177, 9783031177170

This book constitutes selected and revised papers of the 9th International Conference, SENSORNETS 2020, Valletta, Malta,

109 52 22MB Read more

Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) 0521354358, 9780521354356

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philos

168 84 9MB Read more

Great Ideas in Theoretical Computer Science Lecture Notes (MIT 6.045)

570 44 3MB Read more

Great Ideas in Theoretical Computer Science: Lecture Notes

149 10 4MB Read more