1.

図書
図書
1. Solving combinatorial optimization problems in parallel : methods and techniques
Afonso Ferreira, Panos Pardalos, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1054
所蔵情報: loading…
2.

図書
図書
2. 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)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: loading…
3.

図書
図書
3. Synthesizing synchronous systems by static scheduling in space-time (: gw ; : us)
Björn Lisper
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 362
所蔵情報: loading…
4.

図書
図書
4. Algorithms for parallel polygon rendering (: gw ; : us)
T. Theoharis
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 373
所蔵情報: loading…
5.

図書
図書
5. Verifying concurrent processes using temporal logic (: gw ; : us)
Brent T. Hailpern
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 129
所蔵情報: loading…
6.

図書
図書
6. Alternating sequential/parallel processing (: gw ; : us)
Y. Wallach
出版情報: Berlin ; New York : Springer, 1982
シリーズ名: Lecture notes in computer science ; 127
所蔵情報: loading…
7.

図書
図書
7. The concurrency control problem for database systems (: Berlin ; : New York)
Marco Antonio Casanova
出版情報: Berlin ; New York : Springer, 1981
シリーズ名: Lecture notes in computer science ; 116
所蔵情報: loading…