Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
program functional » programs functional, program functionality, program national
functional testing » function testing, educational testing, functional imaging
parallel process » parallel processes, parallel processing, parallel processors
process program » progress program, process programmed, processing program
testing https » teaching https, being https, writing https
program functional » programs functional, program functionality, program national
functional testing » function testing, educational testing, functional imaging
parallel process » parallel processes, parallel processing, parallel processors
process program » progress program, process programmed, processing program
testing https » teaching https, being https, writing https
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
Πίνακας περιεχομένων:
“...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
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2015
Πίνακας περιεχομένων:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
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
Έκδοση 2013
Πίνακας περιεχομένων:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2007
Πίνακας περιεχομένων:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
ανά Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Έκδοση 2007
Πίνακας περιεχομένων:
“... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”Έκδοση 2007
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
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
Έκδοση 2010
Πίνακας περιεχομένων:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2010
Πίνακας περιεχομένων:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο



