الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constructs » programming concepts, programming contest
constructs functions » construction functions, constraints functions, constants functions
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constructs » programming concepts, programming contest
constructs functions » construction functions, constraints functions, constants functions
1
منشور في 2006
جدول المحتويات:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“... -- Safe Modification of Pointer Programs in Refinement Calculus -- A Hoare Logic for Call-by-Value...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2013
جدول المحتويات:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
جدول المحتويات:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
11
جدول المحتويات:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
بواسطة Abdul Wahit, Mohamad Aizat
منشور في 2019
الموضوعات:
“...Robots - Design and construction - Computer programs...”منشور في 2019
احصل على النص الكامل
أطروحة
13
منشور في 2005
جدول المحتويات:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
جدول المحتويات:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
15
جدول المحتويات:
“...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
بواسطة Zainal Azmi, Nurazlin
منشور في 2006
الموضوعات:
“...Human-computer interaction...”منشور في 2006
احصل على النص الكامل
أطروحة
18
بواسطة Zakaria, Nor Azura
منشور في 2013
الموضوعات:
“...Computer storage devices - Design and construction...”منشور في 2013
احصل على النص الكامل
أطروحة
19
منشور في 2015
جدول المحتويات:
“... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2006
جدول المحتويات:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”احصل على النص الكامل
الكتروني
كتاب الكتروني