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