1
منشور في 2006
جدول المحتويات: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Lew, Art., Lew, Art., Mauch, Holger.
منشور في 2007
جدول المحتويات: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
بواسطة Newton, Aaron., Newton, Aaron.
منشور في 2008
جدول المحتويات: ...Getting Started with Mootools -- Reviewing MooTools -- Shortcuts and Helpful Functions -- Native...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
بواسطة Addis, Tom., Addis, Tom., Addis, Jan.
منشور في 2010
جدول المحتويات: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
بواسطة Obcena, Mark., Obcena, Mark.
منشور في 2010
جدول المحتويات: ...Exploring JavaScript and MooTools -- JavaScript and MooTools -- Functions -- Objects -- Classes...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2006
جدول المحتويات: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
بواسطة Lopez, Cesar., Lopez, Cesar.
منشور في 2014
الموضوعات: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2012
جدول المحتويات: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ...: Architectures 2 -- Application Specific FPGA Using Heterogeneous Logic Blocks -- Reconfigurable Communication...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ... -- Ranking Function Synthesis for Bit-Vector Relations -- Fairness for Dynamic Control -- Tools II -- JTorX...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2013
جدول المحتويات: ... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Hunt, John., Hunt, John.
منشور في 2014
جدول المحتويات: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2015
جدول المحتويات: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة Swenson, Nathan G., Swenson, Nathan G.
منشور في 2014
جدول المحتويات: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2008
جدول المحتويات: ... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
الموضوعات: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
بواسطة Holt, Alan., Holt, Alan.
منشور في 2008
جدول المحتويات: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
بواسطة Nisio, Makiko., Nisio, Makiko.
منشور في 2015
الموضوعات: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Horton, Ivor., Horton, Ivor.
منشور في 2015
الموضوعات: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
بواسطة Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
منشور في 2012
جدول المحتويات: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
احصل على النص الكامل
الكتروني كتاب الكتروني