الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
program parameterized » programs parameterised, problem parameterized, problems parameterized
program https » program has, program help
program parameterized » programs parameterised, problem parameterized, problems parameterized
program https » program has, program help
1
منشور في 2015
جدول المحتويات:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2006
جدول المحتويات:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... Reconstruction -- The Diagnostic Application of Brain Image Processing and Analysis System for Ischemic Stroke...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
منشور في 2013
جدول المحتويات:
“... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2015
جدول المحتويات:
“... Parameterized Asynchronous Shared-Memory Systems -- SMT and POR Beat Counter Abstraction: Parameterized Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2013
جدول المحتويات:
“...1. Scientific summary of the German CAWSES priority program -- 2. Models of solar total...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2010
جدول المحتويات:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“... Parameterized Boolean Equation Systems -- Decidability Results for Well-Structured Transition Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2013
جدول المحتويات:
“... using Quantitative Model Checking -- Parameterized Verification of Asynchronous Shared-Memory Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2007
جدول المحتويات:
“... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”احصل على النص الكامل
الكتروني
كتاب الكتروني