Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming types » programming tools, programming today, programming two
types concepts » trees concepts, tubes concepts, states concepts
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming types » programming tools, programming today, programming two
types concepts » trees concepts, tubes concepts, states concepts
1
Indholdsfortegnelse:
“... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”Få fuldtekst
Electronisk
eBog
4
Indholdsfortegnelse:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
7
Udgivet 2008
Indholdsfortegnelse:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2006
Indholdsfortegnelse:
“... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“... -- Immutable and Mutable Collection Packages -- Type Parameterization -- Further Language Constructs...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
Indholdsfortegnelse:
“...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”Få fuldtekst
Electronisk
eBog
17
af Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Udgivet 2006
Indholdsfortegnelse:
“...to Graph Transformation Systems -- General Introduction -- Graphs, Typed Graphs, and the Gluing...”Udgivet 2006
Få fuldtekst
Electronisk
eBog
18
Udgivet 2014
Indholdsfortegnelse:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...”Få fuldtekst
Electronisk
eBog