1
יצא לאור 2008
תוכן הענינים: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2014
תוכן הענינים: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2013
תוכן הענינים: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים: ... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
מאת Garofalo, Raffaele., Garofalo, Raffaele.
יצא לאור 2011
נושאים: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2012
תוכן הענינים: ... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2006
תוכן הענינים: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני