Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs constructive » program construction, program constructing, problem constructive
interface computer » interfaces computer, interactive computer, internet computer
constructive https » construction https, constructive type, constructive help
program programs » program program, programs program, program progress
programs constructive » program construction, program constructing, problem constructive
interface computer » interfaces computer, interactive computer, internet computer
constructive https » construction https, constructive type, constructive help
program programs » program program, programs program, program progress
1
Udgivet 2014
Indholdsfortegnelse:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Få fuldtekst
Electronisk
eBog
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Udgivet 2007
Indholdsfortegnelse:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2015
Indholdsfortegnelse:
“... -- The Potential of Logic Programming as a Computational Tool to Model Morality....”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2006
Indholdsfortegnelse:
“...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”Få fuldtekst
Electronisk
eBog