Design and Analysis of Randomized Algorithms

J Hromkovic

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Systematically teaches key paradigmic algorithm design methods Provides a deep insight into randomization Lees meer

Models of Computation

Roberto Bruni, Ugo Montanari

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical description... Lees meer

The Parametric Lambda Calculus

Simona Ronchi Della Rocca, Luca Paolini

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• The A-calculus was invented by Church in the 1930s with the purpose of sup- plying a logical foundation for logic and mathematics [25]. Its use by Kle... Lees meer

Abstract Computing Machines

Werner Kluge

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Lees meer

Graphs and Algorithms in Communication Networks

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer... Lees meer

Petri Net Synthesis

Eric Badouel, Luca Bernardinello, Philippe Darondeau

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theo... Lees meer

Elements of Finite Model Theory

Leonid Libkin

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other b... Lees meer

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Base... Lees meer

Models of Massive Parallelism

Max Garzon

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Locality is a fundamental restriction in nature. On the other hand, adaptive complex systems, life in particular, exhibit a sense of permanence and ti... Lees meer

Complexity Theory and Cryptology

Jörg Rothe

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• to Cryptocomplexity.- Foundations of Computer Science and Mathematics.- Foundations of Complexity Theory.- Foundations of Cryptology.- Hierarchies Bas... Lees meer

Information and Randomness

Cristian S Calude

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I ... Lees meer

Communication Complexity and Parallel Computing

Juraj Hromkovič

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• The communication complexity of two-party protocols is an only 15 years old complexity measure, but it is already considered to be one of the fundamen... Lees meer

Boolean Functions and Computation Models

Peter Clote, Evangelos Kranakis

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of tec... Lees meer

Computable Analysis

Klaus Weihrauch

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspe... Lees meer

The Parametric Lambda Calculus

Simona Ronchi Della Rocca, Luca Paolini

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• The A-calculus was invented by Church in the 1930s with the purpose of sup- plying a logical foundation for logic and mathematics [25]. Its use by Kle... Lees meer

Graphs and Algorithms in Communication Networks

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Graphs and Algorithms in Communication Networks on Seven League Boots.- Studies in Broadband and Optical Networks.- Traffic Grooming: Combinatorial Re... Lees meer

Software Engineering 3

Dines Bjørner

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Opening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practic... Lees meer

Verification of Reactive Systems

Klaus Schneider

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text ... Lees meer

Software Engineering 2

Dines Bjørner

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this t... Lees meer

Parameterized Complexity Theory

J Flum, M Grohe

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Fixed-Parameter Tractability.- Reductions and Parameterized Intractability.- The Class W[P].- Logic and Complexity.- Two Fundamental Hierarchies.- The... Lees meer

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily inv... Lees meer

The Complexity Theory Companion

Lane A Hemaspaandra, Mitsunori Ogihara

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Here is an accessible, algorithmically oriented guide to some of the most interesting techniques of complexity theory. The book shows that simple algo... Lees meer

Interactive Theorem Proving and Program Development

Yves Bertot, Pierre Castéran

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers in... Lees meer

Elements of Finite Model Theory

Leonid Libkin

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other b... Lees meer