Search Results

ENGLISH

Initial Algebras And Terminal Coalgebras - The Theory Of Fixed Points Of Functors

by Jiri (Czech Technical University In Prague) Adamek, Lawrence S. (Indiana University, Bloomington) Moss e Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany) Milius

~~209,54€~~ 188,59€ 10% OFF

free shipping

 This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection of existence theorems for initial algebras and terminal coalgebras. It will be the standard reference for years to come.
ENGLISH

Topological Duality For Distributive Lattices - Theory And Applications

by Mai (Universite Cote Dâ€™Azur) Gehrke e Sam (Universite Paris Cite) Van Gool

~~91,93€~~ 82,74€ 10% OFF

free shipping

 This introduction to Stoneâ€"Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science.
ENGLISH

Finite-State Techniques - Automata, Transducers And Bimachines

by Klaus U. Schulz e Stoyan Mihov

98,05€ + 10% CARD

 This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced topics. It closes the gap between theory and real practice by providing full proofs and executable code for all algorithms, showcasing the efficient and elegant solutions that finite-state methods offer.
ENGLISH

Temporal Logics In Computer Science - Finite-State Systems

by Martin Lange, Stephane Demri e Valentin Goranko

155,03€ + 10% CARD

 This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
ENGLISH

Modal Logic

by Maarten De Rijke, Patrick Blackburn e Yde Venema

125,88€ + 10% CARD

 This is a popular 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. With two distinct tracks through the work, clearly signposted in each chapter. A must for both novices and experts in modal logic.
ENGLISH

Temporal Logics In Computer Science - Finite-State Systems

by Martin Lange, Stephane Demri e Valentin Goranko

155,03€ + 10% CARD

 This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
ENGLISH

Introduction To Coalgebra - Towards Mathematics Of States And Observation

by Bart (Radboud Universiteit Nijmegen) Jacobs

208,19€ + 10% CARD

free shipping

 This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.
ENGLISH

Information Flow - The Logic Of Distributed Systems

by Jerry Seligman e Jon Barwise

78,18€ + 10% CARD

 This book presents a mathematically rigorous, philosophically sound foundation for a science of information based on the observation that information flow is possible only within a connected distributed system. The theory has a wide range of applications, from file transfer, to DNA, to quantum mechanics and to speech act theory.
ENGLISH

Modal Logic

by Maarten De Rijke, Patrick Blackburn e Yde Venema

125,88€ + 10% CARD

 This is a popular 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. With two distinct tracks through the work, clearly signposted in each chapter. A must for both novices and experts in modal logic.
ENGLISH

Basic Proof Theory

by A. S. Troelstra e H. Schwichtenberg

64,93€ + 10% CARD

 This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
ENGLISH

Nominal Sets - Names And Symmetry In Computer Science

by Andrew M. (University Of Cambridge) Pitts

77,06€ + 10% CARD

free shipping

 Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.
ENGLISH

Design Theory And Computer Science

by Subrata (University Of Southwestern Louisiana) Dasgupta

90,58€ + 10% CARD

free shipping

 The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The question is whether we can construct a theory of design.
ENGLISH

Nonmonotonic Reasoning - Logical Foundations Of Commonsense

by Gerhard Brewka

58,13€ + 10% CARD

free shipping

 This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.
ENGLISH

Concurrency Verification - Introduction To Compositional And Non-Compositional Methods

by Frank De (Universiteit Utrecht, The Netherlands) Boer, Job (University Of Twente, Enschede, The Netherlands) Zwiers, Jozef (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Mannes (University Of Twente, Enschede, The Netherlands) Poel, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hanneman, Willem-Paul De (Christian-Albrechts Universitat Zu Kiel, Germany) Roever e Yassine (Universite Joseph Fourier, Grenoble) Lakhnech

106,80€ + 10% CARD

free shipping

 This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
ENGLISH

Hybrid Graph Theory And Network Analysis

by Alan (University Of Liverpool) Gibbons e Ladislav (University Of Novi Sad, Yugoslavia) Novak

51,37€ + 10% CARD

free shipping

 This book combines traditional graph theory with the matroid view of graphs in order to throw light on the mathematical approach to network analysis. The authors include many new results as well as synthesising and reworking much research done over the last 30 years.
ENGLISH

The Clausal Theory Of Types

by D. A. (University Of Oxford) Wolfram

39,20€ + 10% CARD

free shipping

 In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
ENGLISH

A Unifying Framework For Structured Analysis And Design Models - An Approach Using Initial Algebra Semantics And Category Theory

by T. H. (The University Of Hong Kong) Tse

51,37€ + 10% CARD

free shipping

 Many different structured methodologies exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He develops the frameworks and illustrates their practical usefulness.
ENGLISH

Data Refinement - Model-Oriented Proof Methods And Their Comparison

by Kai (University Of Technology, Sydney) Engelhardt e Willem-Paul (Christian-Albrechts Universitat Zu Kiel, Germany) De Roever

77,06€ + 10% CARD

free shipping

 Graduate text in formal methods in computer science.
ENGLISH

Higher Order Logic And Hardware Verification

by T. F. (University Of Glasgow) Melham

51,37€ + 10% CARD

free shipping

 This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
ENGLISH

Lambda-Calculus, Combinators And Functional Programming

by G. E. Revesz

74,35€ + 10% CARD

free shipping

 Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated.
ENGLISH

Formal Methods In Artificial Intelligence

by Allan M. (University College Dublin) Ramsay

58,13€ + 10% CARD

free shipping

 Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
ENGLISH

Formal Semantics And Pragmatics For Natural Language Querying

by James Clifford

63,54€ + 10% CARD

free shipping

 This book discusses the connection between two areas of semantics: the semantics of databases, and that of natural language, and links them through a common view of the semantics of time. It argues that a coherent theory of the semantics of time is essential for successfully incorporating more 'real world' semantics into database models.
ENGLISH

Mathematical Theory Of Domains

by E. R. (Uppsala Universitet, Sweden) Griffor, I. (Uppsala Universitet, Sweden) Lindstrom e V. (Uppsala Universitet, Sweden) Stoltenberg-Hansen

75,71€ + 10% CARD

free shipping

 This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can be, and has been, used as an introductory textbook or as a general reference for professionals in computer science and logic.
ENGLISH

Algebraic Specification Of Communication Protocols

60,83€ + 10% CARD

free shipping

 In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
Loading results...

View more results