1
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...
Tam Metin Erişim
Elektronik Ekitap
3
Konular: ...Computer programming....
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2014
İçindekiler: ... method -- Pseudorandom numbers generation for Monte Carlo simulations on GPUs: Open CL approach -- Monte...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2007
İçindekiler: ... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2011
İçindekiler: ... -- The Software of Computer Science, Computer Programming from Fortran to C++ -- The Hardware of Computer Science...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2008
İçindekiler: ..., Logic, and Computability -- VC Dimension Bounds for Analytic Algebraic Computations -- Resource Bounded...
Tam Metin Erişim
Elektronik Ekitap
12
Yazar: Ohri, A., Ohri, A.
Baskı/Yayın Bilgisi 2014
İçindekiler: ...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...
Tam Metin Erişim
Elektronik Ekitap
14
Yazar: Boulé, Marc., Boulé, Marc., Zilic, Zeljko.
Baskı/Yayın Bilgisi 2008
Konular: ...Programming languages (Electronic computers)....
Tam Metin Erişim
Elektronik Ekitap
15
Yazar: Lew, Art., Lew, Art., Mauch, Holger.
Baskı/Yayın Bilgisi 2007
İçindekiler: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2015
İçindekiler: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2012
İçindekiler: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
Tam Metin Erişim
Elektronik Ekitap
19
Yazar: Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2007
İçindekiler: ...: Programming Models -- Can Transactions Enhance Parallel Programs? -- Design and Use of htalib – A Library...
Tam Metin Erişim
Elektronik Ekitap