Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
introduction computation » introduction computational, introduction communication, introduction notation
computation programming » communication programming, computation programmatic, computing programming
programming semantics » programming mathematics, programming series, programming secrets
introduction computation » introduction computational, introduction communication, introduction notation
computation programming » communication programming, computation programmatic, computing programming
programming semantics » programming mathematics, programming series, programming secrets
1
Table of Contents:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Introduction -- Architecture of the World Wide Web -- The Semantic Web -- Theories of Semantics...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
View full text
View full text
Electronic
eBook
8
by Alksher, Mostafa Ahmed
Published 2018
Subjects:
“...Information retrieval - Computer programs...”Published 2018
View full text
Thesis
9
Published 2005
Table of Contents:
“... Components: Concepts and Relations -- A Methodology to Create Legal Ontologies in a Logic Programming...”View full text
Electronic
eBook
10
Table of Contents:
“...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...”
View full text
View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...”View full text
Electronic
eBook
12
Table of Contents:
“...Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“...Introduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“...Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... Semantics -- Discourse -- Dialogue -- An Introduction to Prolog....”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...Computing in Early Civilisations -- What is a Computer?- Early Computers -- Developments...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Overview, Background -- Computational Intelligence: An Introduction -- Preprocessing, Visualization...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Software System for Robotic Learning by Experimentation -- A Mobile Robot Control Framework: From...”View full text
Electronic
eBook