The Parametric Lambda Calculus

Simona Ronchi Della Rocca, Luca Paolini

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• 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... Lees meer

Design and Analysis of Randomized Algorithms

J Hromkovic

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Randomness is a powerful tool for solving various problems in all areas of computer applications. Randomized algorithms are often more efficient, simp... 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

Abstract Computing Machines

Werner Kluge

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime st... 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

Elements of Finite Model Theory

Leonid Libkin

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techni... 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

Information and Randomness

Cristian S Calude

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• "Extremely clear monograph on algorithmic information theory. Contains discussion of some interesting philosophical questions surrounding the meaning ... Lees meer

Complexity Theory and Cryptology

Jörg Rothe

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Modern cryptology more and more employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in co... Lees meer

Models of Massive Parallelism

Max Garzon

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This textbook presents analytic methods and results for exploring and understanding cellular automata and discrete neural networks. The book includes ... 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

Computable Analysis

Klaus Weihrauch

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration... Lees meer

Graphs and Algorithms in Communication Networks

• Paperback | 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

The Parametric Lambda Calculus

Simona Ronchi Della Rocca, Luca Paolini

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• 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... Lees meer

Communication Complexity and Parallel Computing

Juraj Hromkovič

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book shows how to establish the communication complexity of distinct computing problems and to apply this knowledge in parallel processing of com... Lees meer

Boolean Functions and Computation Models

Peter Clote, Evangelos Kranakis

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an ove... Lees meer

Software Engineering 3

Dines Bjørner

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This third volume examines the basic principles and techniques of overall software development, from domains via requirements to software designs, adv... Lees meer

Verification of Reactive Systems

Klaus Schneider

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

Software Engineering 2

Dines Bjørner

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity... 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

Parameterized Complexity Theory

J Flum, M Grohe

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorit... Lees meer

Interactive Theorem Proving and Program Development

Yves Bertot, Pierre Castéran

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the... Lees meer

Theoretical Computer Science

Juraj Hromkovič

• Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
• This textbook provides an elegant route through the theoretical fundamentals of computer science. In doing so, it shows that theoretical computer scie... Lees meer

Elements of Finite Model Theory

Leonid Libkin

• Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
• This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techni... Lees meer