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