Blank Cover Image
所蔵情報QRコード

The Book of traces / edited by V. Diekert, G. Rozenberg

資料種別:
電子ブック
出版情報:
Singapore : World Scientific, c1995
形態:
1 online resource
著者名:
ISBN:
9789814261456 [9814261459] (: electronic bk)
書誌ID:
TT00015447
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 Combinatorics on traces (: gw ; : us)

Diekert, Volker, 1955-

Springer-Verlag
7 図書 STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings

Symposium on Theoretical Aspects of Computer Science, Diekert, Volker, 1955-, Durand, Bruno

Springer
2 電子ブック Combinatorics on Traces

Diekert, Volker

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Data flow computing (: uk ; : us)

Sharp, J. A. (John A.), 1955-

E. Horwood, Halsted Press
3 図書 Concurrency and hardware design : advances in petri nets

Cortadella, Jordi, Yakovlev, Alex, Rozenberg, Grzegorz

Springer
9 図書 Modular construction and partial order semantics of Petri Nets (: us ; : gw)

Vogler, W. (Walter), 1955-

Springer-Verlag
4 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Springer
10 図書 Concepts, design, and performance analysis of a parallel Prolog machine (: gw ; : us)

Beer, Joachim, 1955-

Springer-Verlag
5 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)

Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, …

Springer-Verlag
11 図書 Verifying concurrent processes using temporal logic (: gw ; : us)

Hailpern, Brent Tzion, 1955-

Springer-Verlag
6 図書 Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978

Claus, Volker, 1944-, Ehrig, Hartmut, Rozenberg, Grzegorz

Springer-Verlag
12 電子ブック Developments in Language Theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Diekert, Volker., Volkov, Mikhail

SpringerLink Books - AutoHoldings, Springer International Publishing AG
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12