1
door Fernández, Maribel., Fernández, Maribel.
Gepubliceerd in 2014
Inhoudsopgave: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Volledige tekst
Elektronisch E-boek
2
door Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
Gepubliceerd in 2011
Inhoudsopgave: ...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...
Volledige tekst
Elektronisch E-boek
3
door Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Gepubliceerd in 2006
Inhoudsopgave: ... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...
Volledige tekst
Elektronisch E-boek
4
door Halpin, Harry., Halpin, Harry.
Gepubliceerd in 2013
Inhoudsopgave: ...Introduction -- Architecture of the World Wide Web -- The Semantic Web -- Theories of Semantics...
Volledige tekst
Elektronisch E-boek
5
door Deng, Yuxin., Deng, Yuxin.
Gepubliceerd in 2014
Inhoudsopgave: ...1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4...
Volledige tekst
Elektronisch E-boek
6
Inhoudsopgave: ...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....
Volledige tekst
Elektronisch E-boek
7
door Majkić, Zoran., Majkić, Zoran.
Gepubliceerd in 2014
Inhoudsopgave: ...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...
Volledige tekst
Elektronisch E-boek
8
9
Gepubliceerd in 2005
Inhoudsopgave: ... Components: Concepts and Relations -- A Methodology to Create Legal Ontologies in a Logic Programming...
Volledige tekst
Elektronisch E-boek
10
door Cremers, Cas., Cremers, Cas., Mauw, Sjouke.
Gepubliceerd in 2012
Inhoudsopgave: ...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2008
Inhoudsopgave: ...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...
Volledige tekst
Elektronisch E-boek
12
door Shankar, A. Udaya., Shankar, A. Udaya.
Gepubliceerd in 2013
Inhoudsopgave: ...Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from...
Volledige tekst
Elektronisch E-boek
13
door Nugues, Pierre M., Nugues, Pierre M.
Gepubliceerd in 2006
Inhoudsopgave: ... Semantics -- Discourse -- Dialogue -- An Introduction to Prolog....
Volledige tekst
Elektronisch E-boek
14
door Kapsner, Andreas., Kapsner, Andreas.
Gepubliceerd in 2014
Inhoudsopgave: ...Introduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ...Overview, Background -- Computational Intelligence: An Introduction -- Preprocessing, Visualization...
Volledige tekst
Elektronisch E-boek
16
Inhoudsopgave: ...Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating...
Volledige tekst
Elektronisch E-boek
17
door O'Regan, Gerard., O'Regan, Gerard.
Gepubliceerd in 2008
Inhoudsopgave: ... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...
Volledige tekst
Elektronisch E-boek
18
door O'Regan, Gerard., O'Regan, Gerard.
Gepubliceerd in 2012
Inhoudsopgave: ...Computing in Early Civilisations -- What is a Computer?- Early Computers -- Developments...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2006
Inhoudsopgave: ... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2008
Inhoudsopgave: ... Software System for Robotic Learning by Experimentation -- A Mobile Robot Control Framework: From...
Volledige tekst
Elektronisch E-boek