- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Diss., 2014
- Identifier
-
1067386319
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Interphase mass transfer in porous media
Modeling and verification of distributed algorithms in theorem proving environments
Hedging in nonlinear models of illiquid financial markets
Automated composition of timed services in medical applications
Type sound syntactic language extension
Analysis and implementation of hierarchical mutually recursive first class modules
On the cost of concurrency in transactional memory
Testing hybrid systems with TTCN-3
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Roads at risk : traffic detours from debris flows in southern Norway
Dynamic causality in event structures
Translational Expressiveness. Comparing Process Calculi using Encodings
Interphase mass transfer in porous media
Modeling and verification of distributed algorithms in theorem proving environments
Hedging in nonlinear models of illiquid financial markets
Automated composition of timed services in medical applications
Type sound syntactic language extension
Analysis and implementation of hierarchical mutually recursive first class modules
On the cost of concurrency in transactional memory
Testing hybrid systems with TTCN-3
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Roads at risk : traffic detours from debris flows in southern Norway
Dynamic causality in event structures
Translational Expressiveness. Comparing Process Calculi using Encodings
Interphase mass transfer in porous media
Modeling and verification of distributed algorithms in theorem proving environments
Hedging in nonlinear models of illiquid financial markets
Automated composition of timed services in medical applications
Type sound syntactic language extension
Analysis and implementation of hierarchical mutually recursive first class modules
On the cost of concurrency in transactional memory
Testing hybrid systems with TTCN-3
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Roads at risk : traffic detours from debris flows in southern Norway
Dynamic causality in event structures