Resultados de Pesquisa

INGLÊS

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

de 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% IMEDIATO

portes grátis

 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.
INGLÊS

Topological Duality For Distributive Lattices - Theory And Applications

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

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

portes grátis

 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.
INGLÊS

Finite-State Techniques - Automata, Transducers And Bimachines

de Klaus U. Schulz e Stoyan Mihov

98,05€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Temporal Logics In Computer Science - Finite-State Systems

de Martin Lange, Stephane Demri e Valentin Goranko

155,03€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Modal Logic

de Maarten De Rijke, Patrick Blackburn e Yde Venema

125,88€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

de Martin (University Of Oxford) Ingram

108,15€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Temporal Logics In Computer Science - Finite-State Systems

de Martin Lange, Stephane Demri e Valentin Goranko

155,03€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Introduction To Coalgebra - Towards Mathematics Of States And Observation

de Bart (Radboud Universiteit Nijmegen) Jacobs

208,19€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Information Flow - The Logic Of Distributed Systems

de Jerry Seligman e Jon Barwise

78,18€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Modal Logic

de Maarten De Rijke, Patrick Blackburn e Yde Venema

125,88€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Basic Proof Theory

de A. S. Troelstra e H. Schwichtenberg

64,93€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Nominal Sets - Names And Symmetry In Computer Science

de Andrew M. (University Of Cambridge) Pitts

81,11€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Design Theory And Computer Science

de Subrata (University Of Southwestern Louisiana) Dasgupta

94,63€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Nonmonotonic Reasoning - Logical Foundations Of Commonsense

de Gerhard Brewka

58,13€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Concurrency Verification - Introduction To Compositional And Non-Compositional Methods

de 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% EM CARTÃO

portes grátis

 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.
INGLÊS

Rippling: Meta-Level Guidance For Mathematical Reasoning

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

156,82€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Hybrid Graph Theory And Network Analysis

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

54,08€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

The Clausal Theory Of Types

de D. A. (University Of Oxford) Wolfram

39,20€ + 10% EM CARTÃO

portes grátis

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

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

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

54,08€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

de 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% EM CARTÃO

portes grátis

 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.
INGLÊS

Data Refinement - Model-Oriented Proof Methods And Their Comparison

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

77,06€ + 10% EM CARTÃO

portes grátis

 Graduate text in formal methods in computer science.
INGLÊS

Higher Order Logic And Hardware Verification

de T. F. (University Of Glasgow) Melham

54,08€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Lambda-Calculus, Combinators And Functional Programming

de G. E. Revesz

74,35€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Formal Methods In Artificial Intelligence

de Allan M. (University College Dublin) Ramsay

58,13€ + 10% EM CARTÃO

portes grátis

 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.
A carregar resultados...

Ver mais resultados