Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing properties » processing proceedings
properties tutorials » properties materials, properties material, protection tutorials
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
tutorials https » materials https
processing properties » processing proceedings
properties tutorials » properties materials, properties material, protection tutorials
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
tutorials https » materials https
1
Published 2005
Table of Contents:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Multiprocessor – A Case Study -- Simultaneous SAT-Based Model Checking of Safety Properties -- HaifaSat: A New...”View full text
Electronic
eBook



