الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming designing » programming design, programming learning, programming building
designing using » designing doing, designing testing, designing routing
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 designing » programming design, programming learning, programming building
designing using » designing doing, designing testing, designing routing
using tools » cutting tools, making tools, mining tools
1
جدول المحتويات:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2012
جدول المحتويات:
“... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
جدول المحتويات:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
4
بواسطة Lent, Craig S., 1956-.
منشور في 2013
جدول المحتويات:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”منشور في 2013
كتاب
5
6
جدول المحتويات:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
7
بواسطة Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
منشور في 2005
جدول المحتويات:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”منشور في 2005
احصل على النص الكامل
الكتروني
كتاب الكتروني
8
جدول المحتويات:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2006
جدول المحتويات:
“... Genetic Programming Ensembles -- Evolutionary Digital Circuit Design Using Genetic Programming -- Evolving...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2015
جدول المحتويات:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
جدول المحتويات:
“... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2010
جدول المحتويات:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2008
جدول المحتويات:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
جدول المحتويات:
“... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
20
جدول المحتويات:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني



