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