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

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

77,06€ + 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

90,58€ + 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

Hybrid Graph Theory And Network Analysis

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

51,37€ + 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

51,37€ + 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

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

51,37€ + 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.
INGLÊS

Formal Semantics And Pragmatics For Natural Language Querying

de James Clifford

63,54€ + 10% EM CARTÃO

portes grátis

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

Mathematical Theory Of Domains

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

75,71€ + 10% EM CARTÃO

portes grátis

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

Algebraic Specification Of Communication Protocols

60,83€ + 10% EM CARTÃO

portes grátis

 In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
A carregar resultados...

Ver mais resultados