Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
integrating computers » integration computer, integrated computer
computers programming » computer programming, computer program, computer programs
constructs loops » constructs lists, constructs coders, constructs core
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
integrating computers » integration computer, integrated computer
computers programming » computer programming, computer program, computer programs
constructs loops » constructs lists, constructs coders, constructs core
1
Udgivet 2013
Indholdsfortegnelse:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Få fuldtekst
Electronisk
eBog
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Få fuldtekst
Electronisk
eBog
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Udgivet 2014
Indholdsfortegnelse:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... of &-Deazaadenosines as Anticancer Agents -- 7. More than an African-American Facilitator and a Prayer: Integrating...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2012
Indholdsfortegnelse:
“... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...”Få fuldtekst
Electronisk
eBog
16
af Teh, Jia Yew
Udgivet 2003
“...Computers can be utilized to control instruments, machines, motors, devices etc. to
automate tasks...”Udgivet 2003
Få fuldtekst
Thesis
17
af Teh, Jia Yew
Udgivet 2003
“... in front of the automation system! This is achieved by programming the server computer (which...”Udgivet 2003
Få fuldtekst
Thesis
18
Udgivet 2006
Indholdsfortegnelse:
“... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...”Få fuldtekst
Electronisk
eBog



