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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 13-Jul-2018, Paperback / softback, Izdevniecība: 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....Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 27-Jan-2017, Hardback, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
Eric Badouel, Luca Bernardinello, Philippe Darondeau
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 11-Nov-2015, Hardback, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Eric Badouel, Luca Bernardinello, Philippe Darondeau
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 23-Aug-2016, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 10-Dec-2014, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 30-Oct-2014, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 27-Nov-2013, Paperback / softback, Izdevniecība: 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....Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 01-Dec-2012, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 20-Nov-2013, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 13-Nov-2013, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
