الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programs development » program development, programmes development, programs developmental
function section » function detection, function relation, function solution
section programs » selection programs, action programs, sector programs
paper https » maker https
programs development » program development, programmes development, programs developmental
function section » function detection, function relation, function solution
section programs » selection programs, action programs, sector programs
paper https » maker https
1
منشور في 2008
جدول المحتويات:
“... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2013
جدول المحتويات:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2013
جدول المحتويات:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2008
جدول المحتويات:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2013
جدول المحتويات:
“...Manufacturing Innovation and Horizon -- IT Support for Product and Process Development in Japan...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... in Ambient-Oriented Programming -- Environment-Supported Roles to Develop Complex Systems....”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... -- Accomplishments and Challenges in Code Development for Parallel and Multimechanics Simulations -- An Algorithm...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... Assurance Strategies: A QATAM Pilot Application -- Improving Video Game Development: Facilitating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2012
جدول المحتويات:
“...A Flexible Software Development and Emulation Framework for ARM TrustZone -- Mass Transit Ticketing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“...Invited Papers -- Logical and Relational Learning -- Transfer Learning by Mapping and Revising...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... -- Criteria for Estimating Effort for Requirements Changes -- Productivity of Pair Programming in a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2013
جدول المحتويات:
“... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”احصل على النص الكامل
الكتروني
كتاب الكتروني