Skip to contents

Silva Weber, Taisy [Author]; Weber, Taisy Silva [Author]

Erhöhung der Nebenläufigkeit in automatisch entworfenen digitalen Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1986
Bergstra, J.A [Other]; Bergstra, Jan A. [Editor]; Ponse, Alban [Other]; Smolka, Scott A. [Other]

Handbook of process algebra - [1st ed]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 2001
Baeten, Josephus C. M. [Editor]; Baeten, Jos C. M. [Editor]

f

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1990

Published in: Cambridge tracts in theoretical computer science ; 17
Dannegger, Christian [Author]; Geugelin-Dannegger, Patricia [Author]

Parallele Prozesse unter UNIX : Simulation und Anwendung bekannter Synchronisationsmethoden in C unter UNIX

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Hanser, 1991

Published in: Hanser Programmtexte
Hornung, Bernhard [Author]

Simulation paralleler Roboterprozesse : ein System zur rechnergestützten Programmierung komplexer Roboterstationen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Fachberichte Simulation ; 14
International Conference on Parallel Processing

Proceedings of the ... International Conference on Parallel Processing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: IEEE, 1976-1989 / 1976 - 1989
Quade, Jürgen [Author]; Mächtel, Michael [Author]

Moderne Realzeitsysteme kompakt : eine Einführung mit Embedded Linux - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: dpunkt-Verl., 2012
Meinecke, Ingmar [Author]

Weighted branching automata : combining concurrency and weights

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2004
Schmidt, Douglas C. [Other]

Pattern-orientierte Software-Architektur : Muster für nebenläufige und vernetzte Objekte - [Aktualisierte und überarb. Übers., 1. Aufl]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: dpunkt-Verl., 2002
Schneider, Fred B. [Author]

On concurrent programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg: Springer, 1997

Published in: Graduate texts in computer science
Große, Gerd [Author]

State event logic - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 1997

Published in: Berichte aus der Informatik
Bertol, Michael W. [Author]

Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Diekert, Volker [Editor]; Rozenberg, Grzegorz [Other]

The book of traces

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Singapore [u.a.]: World Scientific, 1995
Hüsener, Thomas [Author]

Objektorientierter Entwurf von nebenläufigen, verteilten und echtzeitfähigen Softwaresystemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg; Berlin; Oxford: Spektrum, Akad. Verl., 1995

Published in: Forschung in der Softwaretechnik
Cacutalua, Ndombe [Author]

On deadlocks in concurrent systems : a Petri net based approach for deadlock prediction and avoidance

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1994

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 221
Janicki, Ryszard [Author]; Lauer, Peter E. [Author]

Specification and analysis of concurrent systems : the COSY approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer-Verlag, 1992

Published in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 26]
Algebraic methods : theory, tools and applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1989- / [1.]1987(1989); 2.1989(1991) -
Smith, Einar [Author] ; Universität Hamburg, Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg Fachbereich Informatik

Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1989

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 180
Abel, Dirk [Author]

Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1987

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 14200
Thurn, Klaus [Author]

Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen für nebenläufige Vorgänge

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1982

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication