1
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
2
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... of Biochemical Pathways -- Compositional Definitions of Minimal Flows in Petri Nets -- On Inner and Outer...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ... on the Adoption of Platform based Solutions for Satellites -- Petri Nets for Systems CE -- Systems Support Eng...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... (IBBB 2010) -- Hashimoto’s Thyroiditis with Petri Nets -- Modelling of the Temporomandibular Joints...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Midnight Wish Cryptographic Hash Function -- Optimization of Adaptive Petri-Net Grid Genetic Algorithm...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Comparative Study on Chinese Word Clustering -- Populating FrameNet with Chinese Verbs Mapping Bilingual...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Literacy Composition and Training Strategies of University Teaching Administrator -- Research of  Art...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... and Dependencies -- A Four Dimensional Petri Net Approach for Workflow Management -- Containment of Conjunctive...
View full text
Electronic eBook