Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this gradua...Loe edasi...
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this gradua...Loe edasi...
This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Oct-2017, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319631110)
This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more ad...Loe edasi...
This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more ad...Loe edasi...
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reason...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 13-Jul-2018, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662570654)
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable....Loe edasi...
This textbook explains online computation in different settings, with particular emphasis on randomization and advice complexity. These settings are analyzed for various online problems such as the paging problem, the k-server problem, job shop sc...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 10-Apr-2017, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319428987)
This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and fo...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 27-Jan-2017, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662504963)
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book co...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 10-Nov-2016, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319427478)
This textbook explains online computation in different settings, with particular emphasis on the paging problem and advice complexity. The book is organized into chapters on randomization, advice complexity, the k-server problem, job shop s...Loe edasi...
Eric Badouel, Luca Bernardinello, Philippe Darondeau
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 11-Nov-2015, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662479667)
In this book, the authors focus our attention primarily on safe Petri nets and on place/transition nets (P/T-nets) with major sections dedicated to elementary net synthesis, types of nets, place/transition synthesis, and applications of net synthesis...Loe edasi...
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose th...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 11-Sep-2015, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319214900)
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose th...Loe edasi...
Eric Badouel, Luca Bernardinello, Philippe Darondeau
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 23-Aug-2016, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662516218)
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 10-Dec-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642436628)
Picturesareimportant,ineverydaylifeaswellasinart,engineering,andmost branches of the natural and social sciences. About three decades ago, the - servation that simple geometric processes often yield very complex geometric objects (i.e., pictures) gav...Loe edasi...
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 30-Oct-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642438608)
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insig...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 27-Nov-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642269905)
Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists. The text emphasizes theorems with particularly elegant and informative proofs, and presents a wide range of combinatorial tools....Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 01-Dec-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642265662)
Exact Exponential Algorithms provides an introduction to the area and explains the most common algorithmic techniques involved. Thorough exercises are included, in addition to notes and suggestions for further reading. For a long time compute...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 20-Nov-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642631023)
Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of computability and complexity in analysis. It is the result of an introductory course given fo...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 13-Nov-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642644511)
Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of formal languages and require efficient parsing algorith...Loe edasi...
