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