1
منشور في 2006
جدول المحتويات: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2015
جدول المحتويات: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2014
جدول المحتويات: ... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2007
جدول المحتويات: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2014
جدول المحتويات: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2012
جدول المحتويات: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة Egges, Arjan., Egges, Arjan., Fokker, Jeroen D., Overmars, Mark H.
منشور في 2013
جدول المحتويات: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2013
جدول المحتويات: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2007
جدول المحتويات: ... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2008
جدول المحتويات: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2006
جدول المحتويات: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
احصل على النص الكامل
الكتروني كتاب الكتروني