1
منشور في 2010
جدول المحتويات: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2011
الموضوعات: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
بواسطة Freeman, Adam., Freeman, Adam.
منشور في 2010
جدول المحتويات: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2015
جدول المحتويات: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2006
جدول المحتويات: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2010
جدول المحتويات: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2015
جدول المحتويات: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2006
جدول المحتويات: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
جدول المحتويات: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2013
جدول المحتويات: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2007
جدول المحتويات: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2008
جدول المحتويات: ... the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source -- Workflow Testing...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2012
جدول المحتويات: ... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2010
جدول المحتويات: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني