1
منشور في 2013
جدول المحتويات: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2012
جدول المحتويات: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2013
جدول المحتويات: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2012
جدول المحتويات: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2005
جدول المحتويات: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2006
جدول المحتويات: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2007
جدول المحتويات: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2006
جدول المحتويات: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
بواسطة VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
منشور في 2010
جدول المحتويات: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2008
جدول المحتويات: ..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...
احصل على النص الكامل
الكتروني كتاب الكتروني