1
Izdano 2013
Kazalo: ...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...
Polni tekst
Elektronski eKnjiga
2
Izdano 2013
Kazalo: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
Polni tekst
Elektronski eKnjiga
4
Izdano 2013
Kazalo: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Polni tekst
Elektronski eKnjiga
5
Izdano 2006
Kazalo: ... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...
Polni tekst
Elektronski eKnjiga
6
Izdano 2014
Kazalo: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Polni tekst
Elektronski eKnjiga
7
Izdano 2007
Kazalo: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
Polni tekst
Elektronski eKnjiga
8
Izdano 2005
Kazalo: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Polni tekst
Elektronski eKnjiga
9
Izdano 2010
Kazalo: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
Polni tekst
Elektronski eKnjiga
10
Izdano 2006
Kazalo: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Polni tekst
Elektronski eKnjiga
11
Izdano 2014
Kazalo: ...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...
Polni tekst
Elektronski eKnjiga
12
Izdano 2014
Kazalo: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Polni tekst
Elektronski eKnjiga
13
od Freeman, Adam., Freeman, Adam.
Izdano 2010
Kazalo: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
Polni tekst
Elektronski eKnjiga
14
Izdano 2014
Kazalo: ... of &-Deazaadenosines as Anticancer Agents -- 7. More than an African-American Facilitator and a Prayer: Integrating...
Polni tekst
Elektronski eKnjiga
15
Izdano 2012
Kazalo: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
Polni tekst
Elektronski eKnjiga
16
od Teh, Jia Yew
Izdano 2003
...Computers can be utilized to control instruments, machines, motors, devices etc. to automate tasks...
Polni tekst
Thesis
17
od Teh, Jia Yew
Izdano 2003
... in front of the automation system! This is achieved by programming the server computer (which...
Polni tekst
Thesis
18
Izdano 2006
Kazalo: ... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...
Polni tekst
Elektronski eKnjiga