Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
compositional processing » composition processing, computational processing, compositional process
https compositional » nets compositional, chains compositional, charts compositional
programming method » programming methods, programming methodology
method https » methods https
compositional processing » composition processing, computational processing, compositional process
https compositional » nets compositional, chains compositional, charts compositional
programming method » programming methods, programming methodology
method https » methods https
1
Wydane 2010
Spis treści:
“... Kinyarwanda Text -- Regular Papers -- Minimizing Weighted Tree Grammars Using Simulation -- Compositions...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2005
Spis treści:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Dokumenty pełnotekstowe
Elektroniczne
E-book
3
Wydane 2005
Spis treści:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”Dokumenty pełnotekstowe
Elektroniczne
E-book
4
Wydane 2005
Spis treści:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”Dokumenty pełnotekstowe
Elektroniczne
E-book
5
Wydane 2013
Spis treści:
“... Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches...”Dokumenty pełnotekstowe
Elektroniczne
E-book
6
Wydane 2008
Spis treści:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”Dokumenty pełnotekstowe
Elektroniczne
E-book
7
Wydane 2007
Spis treści:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”Dokumenty pełnotekstowe
Elektroniczne
E-book
8
Wydane 2005
Spis treści:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Dokumenty pełnotekstowe
Elektroniczne
E-book
9
Wydane 2006
Spis treści:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Dokumenty pełnotekstowe
Elektroniczne
E-book
10
Wydane 2005
Spis treści:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”Dokumenty pełnotekstowe
Elektroniczne
E-book
11
Wydane 2013
Spis treści:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”Dokumenty pełnotekstowe
Elektroniczne
E-book
12
Wydane 2014
Spis treści:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”Dokumenty pełnotekstowe
Elektroniczne
E-book
13
Wydane 2005
Spis treści:
“... Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs...”Dokumenty pełnotekstowe
Elektroniczne
E-book
14
Wydane 2014
Spis treści:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”Dokumenty pełnotekstowe
Elektroniczne
E-book
15
Wydane 2010
Spis treści:
“... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”Dokumenty pełnotekstowe
Elektroniczne
E-book
16
Wydane 2008
Spis treści:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”Dokumenty pełnotekstowe
Elektroniczne
E-book
17
Spis treści:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
18
Wydane 2005
Spis treści:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”Dokumenty pełnotekstowe
Elektroniczne
E-book
19
Wydane 2006
Spis treści:
“... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”Dokumenty pełnotekstowe
Elektroniczne
E-book
20
Wydane 2008
Spis treści:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”Dokumenty pełnotekstowe
Elektroniczne
E-book