الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion using » recession using, version using, recursion counting
using tools » cutting tools, making tools, mining tools
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion using » recession using, version using, recursion counting
using tools » cutting tools, making tools, mining tools
1
جدول المحتويات:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
منشور في 2005
جدول المحتويات:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... Recursive Functions by Virus Machines -- About models derived from colonies....”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2010
جدول المحتويات:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2015
جدول المحتويات:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2006
جدول المحتويات:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”احصل على النص الكامل
الكتروني
كتاب الكتروني