Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

>> Amazon.co.jp

このページのQRコード

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

種類:

図書

責任表示:

J.W. de Bakker ... [et al.], eds

出版情報:

Berlin ; New York : Springer-Verlag, c1992

著者名:

シリーズ名:

Lecture notes in computer science ; 600 <BA00009279>

ISBN:

9783540555643 [3540555641] (: gw)

9780387555645 [0387555641] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Real-time data processing--Congresses
分類・件名:	LCC : QA76.54 DDC : 005.1/1 LCSH : Real-time data processing -- Congresses
LCCN:	92014687
TTLL:	eng
言語:	英語
形態:	viii, 723 p. : ill, ; 25 cm
書誌ID:	BA17202182

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings Bakker, J. W., Huizing, C., Roever, W. P., Rozenberg, G., SpringerLink (Online service) Springer-Verlag	7 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag
2 電子ブック Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings Bakker, J.W.de., Huizing, C., Roever, W.P.de., Rozenberg, G., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag
3 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	9 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, … Springer-Verlag
4 図書 Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems : April 25, 1995, Santa Barbara, California Workshop on Parallel and Distributed Real-Time Systems (3rd : 1995 : Santa Barbara, Calif.), IEEE International Parallel … IEEE Computer Society Press	10 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 図書 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vytopil, J., 1947- Springer-Verlag	11 図書 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, Mathai, 1943- Springer-Verlag
6 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International AMAST Workshop, Katoen, Joost-Pieter Springer	12 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag