1
منشور في 2013
جدول المحتويات: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2011
جدول المحتويات: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... without Tears: An ILP Perspective -- Semantic Web Meets ILP: Unconsumated Love, or No Love Lost...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2006
جدول المحتويات: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2013
جدول المحتويات: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2007
جدول المحتويات: ... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2006
جدول المحتويات: ...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Kerfs, Jeremy., Kerfs, Jeremy.
منشور في 2011
الموضوعات: ...Computer games—Programming....
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ... Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
منشور في 2012
جدول المحتويات: ... of Programming Languages -- How Programming Languages are Implemented -- How a Program gets “written” -- Meet...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2008
جدول المحتويات: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2015
جدول المحتويات: ... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2005
جدول المحتويات: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2014
جدول المحتويات: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
... markers. Some functional markers have been applied in marker-assisted breeding programs and have...
احصل على النص الكامل
مقال
20
منشور في 2005
جدول المحتويات: ... Stylet-Guided Left Ventricular Leads -- Assessment of Diastolic Function in Heart Failure and Atrial...
احصل على النص الكامل
الكتروني كتاب الكتروني