Texts in Theoretical Computer Science. An EATCS Series – serie
Visar alla böcker i serien Texts in Theoretical Computer Science. An EATCS Series. Handla med fri frakt och snabb leverans.
85 produkter
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Häftad, 2018
390 kr
Lägg i varukorg
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 concentrates on decision procedures for first-order …
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2017
569 kr
Lägg i varukorg
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 concentrates on decision procedures for first-order …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
906 kr
Lägg i varukorg
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 graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
679 kr
Lägg i varukorg
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 graduate-level introduction to formal methods develops an understanding of what …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Inbunden, 2015
569 kr
Lägg i varukorg
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 them, and to prove properties they enjoy. The rest of …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Häftad, 2016
569 kr
Lägg i varukorg
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 them, and to prove properties they enjoy. The rest of …
Introduction to Online Computation
Determinism, Randomization, Advice
Av Dennis Komm
Inbunden, 2016
1098 kr
Lägg i varukorg
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 scheduling, the knapsack problem, the bit guessing …
Models of Computation
Av Roberto Bruni, Ugo Montanari
Inbunden, 2017
435 kr
Lägg i varukorg
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 reasoning on it and for proving some properties. After …
Simulation Algorithms for Computational Systems Biology
Av Luca Marchetti, Corrado Priami m. fl.
Inbunden, 2017
629 kr
Lägg i varukorg
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 advanced techniques that support delays, diffusion in …
Introduction to Online Computation
Determinism, Randomization, Advice
Av Dennis Komm
Häftad, 2018
792 kr
Lägg i varukorg
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 scheduling, the knapsack problem, the bit guessing …
Models of Computation
Av Roberto Bruni, Ugo Montanari
Häftad, 2018
435 kr
Lägg i varukorg
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 reasoning on it and for proving some properties. After …
Simulation Algorithms for Computational Systems Biology
Av Luca Marchetti, Corrado Priami m. fl.
Häftad, 2018
629 kr
Lägg i varukorg
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 advanced techniques that support delays, diffusion in …
Verification of Reactive Systems
Formal Methods and Algorithms
Inbunden, 2003
569 kr
Lägg i varukorg
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these …
Finite Model Theory and Its Applications
Av Erich Grädel, Phokion G. Kolaitis m. fl.
Inbunden, 2007
1018 kr
Lägg i varukorg
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 insights of mathematical logic is that our …
Dissemination of Information in Communication Networks
Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Av Juraj Hromkovič, Ralf Klasing m. fl.
Inbunden, 2005
569 kr
Lägg i varukorg
Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive computing has been rapidly growingandinthelate1980sthestudyofparallelalgorithmsandarchitectures became one of the main topics in computer science. To bring the topic …
Theoretical Computer Science
Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Inbunden, 2003
1243 kr
Lägg i varukorg
The aim of this textbook is not only to provide an elegant route through the theoretical fundamentals of computer science, but also to show that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles, and depth in research, and yet directly …
Parametric Lambda Calculus
A Metamodel for Computation
Av Simona Ronchi Della Rocca, Luca Paolini
Inbunden, 2004
551 kr
Lägg i varukorg
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, …
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Av Yves Bertot, Pierre Castéran
Inbunden, 2004
1306 kr
Lägg i varukorg
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified …
Abstract Computing Machines
A Lambda Calculus Perspective
Av Werner Kluge
Inbunden, 2005
1128 kr
Lägg i varukorg
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking …
Software Engineering 1
Abstraction and Modelling
Inbunden, 2005
1128 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 1 covers …
Software Engineering 2
Specification of Systems and Languages
Inbunden, 2006
569 kr
Lägg i varukorg
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic …
Software Engineering 3
Domains, Requirements, and Software Design
Inbunden, 2006
1128 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 3 is based …
Elements of Finite Model Theory
Inbunden, 2004
1098 kr
Lägg i varukorg
Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, …
Grammatical Picture Generation
A Tree-Based Approach
Av Frank Drewes
2006
671 kr
Lägg i varukorg
This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules.The book presents important types of picture generators, using a tree-based …
Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Probability
Inbunden, 2004
1018 kr
Lägg i varukorg
Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What makes this challenge so interesting? A solution would have enormous implications on our society, and there …
Complexity Theory and Cryptology
An Introduction to Cryptocomplexity
Av Jörg Rothe
Inbunden, 2005
543 kr
Lägg i varukorg
Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions and problems from cryptology. This book takes account of this situation, and therefore its subject is …
Practical Theory of Reactive Systems
Incremental Modeling of Dynamic Behaviors
Inbunden, 2005
569 kr
Lägg i varukorg
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed …
Design and Analysis of Randomized Algorithms
Introduction to Design Paradigms
Av J. Hromkovic
Inbunden, 2005
736 kr
Lägg i varukorg
Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often more efficient, simpler and, surprisingly, also more reliable than their deterministic counterparts. Computing tasks exist that require billions of …
Parameterized Complexity Theory
Inbunden, 2006
1355 kr
Lägg i varukorg
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a …
Information and Randomness
An Algorithmic Perspective
Inbunden, 2002
877 kr
Lägg i varukorg
The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous …
