Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
introduction computational » introductory computational, introduction conventional, introduction international
computational programming » computation programming, computational program, computing programming
programming semantics » programming mathematics, programming series, programming secrets
introduction computational » introductory computational, introduction conventional, introduction international
computational programming » computation programming, computational program, computing programming
programming semantics » programming mathematics, programming series, programming secrets
1
Inhoudsopgave:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
2
Inhoudsopgave:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Inhoudsopgave:
“...Introduction -- Architecture of the World Wide Web -- The Semantic Web -- Theories of Semantics...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
5
Inhoudsopgave:
“...1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
6
Inhoudsopgave:
“...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
7
Inhoudsopgave:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
8
door Alksher, Mostafa Ahmed
Gepubliceerd in 2018
Onderwerpen:
“...Information retrieval - Computer programs...”Gepubliceerd in 2018
Volledige tekst
Thesis
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
Inhoudsopgave:
“...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...”
Volledige tekst
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
Inhoudsopgave:
“...Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
13
Inhoudsopgave:
“... Semantics -- Discourse -- Dialogue -- An Introduction to Prolog....”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
14
Inhoudsopgave:
“...Introduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism...”
Volledige tekst
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
Volledige tekst
Elektronisch
E-boek
17
Inhoudsopgave:
“... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
18
Inhoudsopgave:
“...Computing in Early Civilisations -- What is a Computer?- Early Computers -- Developments...”
Volledige tekst
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



