الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
properties functionality » protein functionality
functionality testing » functionality setting, functional testing, functionality using
java properties » data properties, a properties, fat properties
testing https » teaching https, being https, writing https
program java » program jarak, program a, program jom
properties functionality » protein functionality
functionality testing » functionality setting, functional testing, functionality using
java properties » data properties, a properties, fat properties
testing https » teaching https, being https, writing https
program java » program jarak, program a, program jom
1
منشور في 2013
جدول المحتويات:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
منشور في 2007
جدول المحتويات:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2013
جدول المحتويات:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2015
جدول المحتويات:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2007
جدول المحتويات:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2013
جدول المحتويات:
“... -- Development of GUI- Based Test and Measurement Facilities for Studying Properties of MOS Devices in Clean Room...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“... and Implementation of Functional Components in Federated ERP-Systems -- SEEMP: Meaningful Service-Based Collaboration...”احصل على النص الكامل
الكتروني
كتاب الكتروني