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

Carnal Knowledge - Regulating Sex In England, 1470â€“1600

by Martin (University Of Oxford) Ingram

108,15€ + 10% CARD

free shipping

 How was the law used to control sex in Tudor England? What were the differences between secular and religious practice? This major study, based on a wide range of church and secular court archives, explores sexual regulation in London and provincial England before, during and immediately after the Reformation.
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

81,11€ + 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

94,63€ + 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

Rippling: Meta-Level Guidance For Mathematical Reasoning

by Alan (University Of Edinburgh) Bundy, Andrew (Heriot-Watt University, Edinburgh) Ireland, David (Eth Zentrum, Switzerland) Basin e Dieter Hutter

156,82€ + 10% CARD

free shipping

 The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
ENGLISH

Hybrid Graph Theory And Network Analysis

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

54,08€ + 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

54,08€ + 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

Process Algebra: Equational Theories Of Communicating Processes - Equational Theories Of Communicating Processes

by J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten, M. A. (Technische Universiteit Eindhoven, The Netherlands) Reniers e T. (Technische Universiteit Eindhoven, The Netherlands) Basten

128,43€ + 10% CARD

free shipping

 Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.
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

54,08€ + 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.
Loading results...

View more results