Modelling of concurrent systems /

Modelling and simulation of systems : MOSIS'99 ; 33rd spring international conference ; proceedings, Rožnov pod Radhoštěm, Czech Republic, April 27 - 29, 1999 /
Veröffentlicht: (1999)

IEEE concurrency : parallel, distributed and mobile computing

The temporal logic of reactive and concurrent systems. Specification /
von: Manna, Zohar
Veröffentlicht: (1992)

Concurrent and real-time systems. The CSP approach /
von: Schneider, Steve
Veröffentlicht: (2000)

The enabling model. A tool for performance analysis of concurrent mechanisms /
von: Kloosterhuis, Willem Egbert Hendrik
Veröffentlicht: (1991)

Concurrent computation in chemical calculations /
von: Wilson, Stephen
Veröffentlicht: (1989)

Concurrency Control in Distributed System Using Mutual Exclusion
von: Kanrar, Sukhendu
Veröffentlicht: (2018)

Concurrent systems. An integrated approach to operating systems, database, and distributed systems /
von: Bacon, Jean
Veröffentlicht: (1993)

Modelling small deformations of polycrystals /
von: Gittus, John
Veröffentlicht: (1986)

Hydroballistics modeling /
von: Waugh, John G., et al.
Veröffentlicht: (1973)

System dynamics : modeling and rasponse /
von: Doebelin, Ernest O.
Veröffentlicht: (1972)

Modelling and simulation in management and control : Súľov, Slovakia, 6 - 8 October 1997 /
Veröffentlicht: (1997)

Computational multiscale modeling of localized ductile failure /
von: Clasen, Heiko 1986-
Veröffentlicht: (2015)

Mathematical modeling of pressurizer thermodynamics /
von: Goemans, Tom
Veröffentlicht: (1972)

The SR programming language. Concurrency in practice /
von: Andrews, Gregory R.
Veröffentlicht: (1993)

Concurrent engineering. Automation, tools, and techniques /
von: Kusiak, Andrew
Veröffentlicht: (1993)

Semantische concurrency control in objektorientierten Datenbanksystemen /
von: Rakow, Thomas
Veröffentlicht: (1997)

Journal of Modelling in Management

Efficient numerical and analog modeling of flicker noise processes /
von: Barnes, J. A., et al.
Veröffentlicht: (1971)

Mathematical modeling for industrial processes /
von: Hyvärinen, Lassi
Veröffentlicht: (1970)

Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
von: Pnueli, Amir
Veröffentlicht: (1979)

Matematický model informačního systému : studie.
von: Lukavec, Petr
Veröffentlicht: (1973)

Verifying concurrent processes using temporal logic /
von: Hailpern, Brent T.
Veröffentlicht: (1982)

Concurrence et restructuration des services publics /
Veröffentlicht: (2001)

Mathematical modeling of biological systems.
von: Kovalenko, Ilya B.
Veröffentlicht: (2007)

Stochastic modeling and analysis of manufacturing systems /
von: Yao, David D.
Veröffentlicht: (1994)

Numerical modeling and control of progressive steel billet induction heater as distributed parameter system : summary of the dissertation thesis /
von: Kapusta, Juraj 1985-
Veröffentlicht: (2013)

Application of fuzzy logic control to power electronics and motor drive systems /
von: Manias, Stefanos
Veröffentlicht: (2001)

The identification of analytical device models /
von: Middelhoek, Martin Guido
Veröffentlicht: (1992)

Rotor crack diagnostics using vibration measurements and model based approach : summary of the dissertation thesis /
von: Popálený, Peter 1974-
Veröffentlicht: (2013)

CE. Concurrent engineering. The product development environment for the 1990s /
von: Carter, Donald E.
Veröffentlicht: (1992)

Papers from the 13th SCS symposium Expert systems and cybernetic modelling of biological processes and 2nd International symposium Mathematical modelling of liver excretory processes : Piešťany, Czechoslovakia, Sept. 7 - 11, 1987 /
von: Barth, Astrid
Veröffentlicht: (1987)

Proceedings of Uncertainty modelling 2013 : seminar ; Bratislava, Slovakia, October 10, 2013 /
Veröffentlicht: (2013)

Derivation of a model of the exciter of a brushless synchronous machine /
von: Vleeshouwers, J. M.
Veröffentlicht: (1992)

Software modeling and design : UML, use cases, patterns, and software architectures /
von: Gomaa, Hassan
Veröffentlicht: (2011)

Process modeling, simulation, and control for chemical engineers /
von: Luyben, W. L.
Veröffentlicht: (1973)