الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel full » parallel fault, parallel file, parallel cell
testing https » teaching https, being https, writing https
full program » ball program, pell program, call programs
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel full » parallel fault, parallel file, parallel cell
testing https » teaching https, being https, writing https
full program » ball program, pell program, call programs
1
منشور في 2011
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2013
جدول المحتويات:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2014
جدول المحتويات:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2008
جدول المحتويات:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2012
جدول المحتويات:
“... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”احصل على النص الكامل
الكتروني
كتاب الكتروني