1
بواسطة Addis, Tom., Addis, Tom., Addis, Jan.
منشور في 2010
جدول المحتويات: ...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
بواسطة Holt, Alan., Holt, Alan.
منشور في 2008
جدول المحتويات: ...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...
كتاب
5
بواسطة Goralski, Greg., Goralski, Greg., Leon, Lordalex.
منشور في 2008
الموضوعات: ...Computer programming....
احصل على النص الكامل
الكتروني كتاب الكتروني
6
بواسطة Swenson, Nathan G., Swenson, Nathan G.
منشور في 2014
جدول المحتويات: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
جدول المحتويات: ... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
بواسطة O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
منشور في 2006
جدول المحتويات: ...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
منشور في 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
بواسطة Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
منشور في 2005
جدول المحتويات: ... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
بواسطة Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
منشور في 2012
جدول المحتويات: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
احصل على النص الكامل
الكتروني كتاب الكتروني