Computer Books › logic in computer science modelling

Pre-Owned Logic for Computer Science (International Computer Science Series) 9780201416435 Paperback

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Lecture Notes in Computer Science: Csl 88: 2nd Workshop on Computer Science Logic Duisburg Frg October 3-7 1988. Proceedings (Paperback)

This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg FRG October 3-7 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More... more

Springerbriefs in Computer Science: On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages (Paperback)

On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages more

Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science Deon 2006 Utrecht the Netherlands July 12-14 2006 Proceedings (Paperback)

This volume presents the papers contributed to DEON 2006 the 8th Inter- tional Workshop on Deontic Logic in Computer Science held in Utrecht The Netherlands July 12-14 2006. These biennial DEON (more properly ?EON) workshops are designed to promote... more

Lecture Notes in Computer Science: Computer Performance Evaluation: Modelling Techniques and Tools (Paperback)

The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour. The 10th International... more

Lecture Notes in Computer Science: Computer Performance Engineering and Stochastic Modelling: 19th European Workshop Epew 2023 and 27th International Conference Asmta 2023 Florence Italy June 20

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering EPEW 2023 and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications ASMTA 2023 held in Florence... more

Lecture Notes in Computer Science: Colog-88: International Conference on Computer Logic Tallinn Ussr December 12-16 1988 Proceedings (Paperback)

This proceedings volume contains invited papers and selected contributions on computer logic providing access to intensive work in this field both in the USSR and in Western countries. more

Communications in Computer and Information Science: Modelling to Program: Second International Workshop M2p 2020 Lappeenranta Finland March 10-12 2020 Revised Selected Papers (Paperback)

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program M2P 2020 held in Lappeenranta Finland in March 2020. The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The... more

Communications in Computer and Information Science: Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage: Second International Conference Tmm_ch 2021 At

This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage TMM_CH 2021 held in Athens Greece in December... more

Texts in Theoretical Computer Science. an Eatcs: Software Engineering 1: Abstraction and Modelling (Hardcover)

This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented... more

Texts in Theoretical Computer Science. an Eatcs: Modelling Distributed Systems (Paperback)

This textbook guides students through algebraic specification and verification of distributed systems and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle a language developed to combine process algebra... more

Communications in Computer and Information Science: Modelling and Development of Intelligent Systems: 8th International Conference Mdis 2022 Sibiu Romania October 28-30 2022 Revised Selected Pap

This book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems MDIS 2022 held in Sibiu Romania during October 28-30 2022. The 21 papers included in this book were carefully... more

Logic for Computer Science and Artificial Intelligence (Hardcover)

Logic and its components (propositional first-order non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books journal articles webpages etc.) the... more

Monographs in Theoretical Computer Science. an Eatcs: Iteration Theories: The Equational Logic of Iterative Processes (Paperback)

This monograph provides a detailed investigation of the fixed point or iteration operation which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra guided through numerous theorems and applications and... more

Lecture Notes in Computer Science: An Introduction to the Pl/Cv2 Programming Logic (Paperback)

An Introduction to the Pl/Cv2 Programming Logic more

The Springer International Engineering and Computer Science: Parallel Execution of Logic Programs (Paperback)

This book is an updated version of my Ph.D. dissertation The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel... more

The Springer International Engineering and Computer Science: Logics for Databases and Information Systems (Paperback)

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However such data is often valu- able so it should be archived and some means to access it should be provided. Also some data may be... more

Lecture Notes in Computer Science: Programming Languages: Implementations Logics and Programs: 9th International Symposium Plilp 97 Including a Special Track on Declarative Programming Languages

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages Implementations Logics and Programs PLILP 97 held in Southampton UK in September 1997 including a special track on Declarative Programming in... more

Lecture Notes in Computer Science: Algebraic and Logic Programming: 4th International Conference Alp 94 Madrid Spain September 14-16 1994. Proceedings (Paperback)

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP 94) held in Madrid Spain in September 1994. Like the predecessor conferences in this series ALP 94 succeeded in strengthening the... more

Undergraduate Topics in Computer Science: Sets Logic and Maths for Computing (Paperback)

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics... more

Progress in Theoretical Computer Science: Logic of Domains (Paperback)

This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational... more

Lecture Notes in Computer Science: Algebraic and Logic Programming: 5th International Conference Alp 96 Aachen Germany September 25 - 27 1996. Proceedings (Paperback)

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming ALP 96 held in Aachen Germany in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers... more

Pre-Owned Logic and Algorithms with Applications to the Computer and Information Sciences (Hardcover) 0471503657 9780471503651

Logic and Algorithms with Applications to the Computer and Information Sciences by Korfhage Robert R. more

Pre-Owned Sets Logic and Maths for Computing Undergraduate Topics in Computer Science Paperback David Makinson

CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting / underlining... more

Monographs in Theoretical Computer Science. an Eatcs: Temporal Logic of Programs (Paperback)

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language semantics and proof theory; - Representation of programs and their proper- ties within the... more

Lecture Notes in Computer Science: Edinburgh Lcf: A Mechanized Logic of Computation (Paperback)

Edinburgh Lcf: A Mechanized Logic of Computation more

Lecture Notes in Computer Science: Logic and Engineering of Natural Language Semantics: 19th International Conference Lenls19 Tokyo Japan November 19-21 2022 Revised Selected Papers (Paperback)

This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference LENLS 2019 held in November 2022 in Tokyo Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference... more

Progress in Theoretical Computer Science: Solving Higher-Order Equations: From Logic to Programming (Paperback)

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness higher-order logic is used for specification and verification of hardware software and mathematics. In these applica- tions higher-order logic... more

Progress in Computer Science and Applied Logic: Coding Cryptography and Combinatorics (Paperback)

This book contains a selection of papers submitted to the Workshop on Coding Cryptography and Combinatorics (CCC 2003). An important feature of the book are invited surveys on key topics. There are also carefully selected contributed papers on many... more

Lecture Notes in Computer Science: Programming Language Implementation and Logic Programming: 5th International Symposium Plilp 93 Tallinn Estonia August 25-27 1993. Proceedings (Paperback)

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP 93) held in Tallinn Estonia in August 1993. The series of PLILP symposiums was established to promote contacts... more

Lecture Notes in Computer Science: Functional and Logic Programming: 6th International Symposium Flops 2002 Aizu Japan September 15-17 2002. Proceedings (Paperback)

This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002) held in Aizu Japan September 15-17 2002 hosted by the University of Aizu and colocated with the First Asian Symposium on... more

Lecture Notes in Computer Science: Logics for Concurrency: Structure Versus Automata (Paperback)

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on... more

Operations Research/Computer Science Interfaces: Logic-Based 0-1 Constraint Programming (Paperback)

A logic view of 0-1 integer programming problems providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into... more

Lecture Notes in Computer Science: Linear Time Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop Noordwijkerhout the Netherlands May 30 - June 3 1988 (Paperba

This volume is based on the School/Workshop on Linear Time Branching Time and Partial Order in Logics and Models for Concurrency organized by the editors and held in the period May 30-June 3 1988 at Noordwijkerhout The Netherlands. The School/Workshop... more

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science by Henry Hamburger. Features include: 9780130654878 0130654876 Paperback 341 pages Edition: 1st. Published by: Pearson on 2002-01-01. more

The Springer International Engineering and Computer Science: Artificial Intelligence in Logic Design (Hardcover)

There are three outstanding points of this book. First: for the first time a collective point of view on the role of artificial intelligence paradigm in logic design is introduced. Second the book reveals new horizons of logic design tools on the... more

Studies in Logic and Computation Conditionals: From Philosophy to Computer Science Book 5 (Hardcover)

This book looks at the ways in which conditionals an integral part of philosophy and logic can be of practical use in computer programming. It analyzes the different types of conditionals including their applications and potential problems. Other... more

The Springer International Engineering and Computer Science: Artificial Intelligence in Logic Design (Paperback)

There are three outstanding points of this book. First: for the first time a collective point of view on the role of artificial intelligence paradigm in logic design is introduced. Second the book reveals new horizons of logic design tools on the... more