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