Logics and models of concurrent systems | 東京科学大学図書館資料名データベース

Blank Cover Image

Logics and models of concurrent systems

責任表示:: edited by Krzysztof R. Apt
シリーズ名:: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:: 13
出版情報:: Berlin: Springer-Verlag, 1985
ISSN:: 02581248
ISBN:: 9783540151814 [3540151818]
請求記号:: N11483/13
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00020116
シリーズＩＤ:	PA00000019
会議名:	NATO Advanced Study Institute on Logics and Models of Concurrent Systems
回次:	1984
会議開催地:	La Colle sur Loup, France
会議開催年:	1984.10.08-1984.10.19

類似資料:

1 国際会議録 Dynamic mechanical systems, geometric modeling and features, concurrent engineering : presented at the 1994 ASME Design Technical Conferences - 20th Design … American Society of Mechanical Engineers	7 国際会議録 Simulation and modeling of optical systems Society of Photo-optical Instrumentation Engineers
2 国際会議録 Models, algebras and logic of engineering software IOS Press	8 国際会議録 Recent advances in the modeling of hydrologic systems kluwer Academic Publishers
3 国際会議録 Concurrent engineering : tools and technologies for mechanical system design Springer-Verlag	9 国際会議録 Intelligent concurrent design : fundamentaks, methodology, modeling, and practice : presented at the 1993 ASME Winter Annual Meeting, New Orleans, Louisiana, … American Society of Mechanical Engineers
4 国際会議録 Design systems for VLSI circuits : logic synthesis and silicon compilation Martinus Nijihoff Publishers	10 国際会議録 Operations research models in flexible manufacturing systems Springer-Verlag
5 国際会議録 Mathematical modelling of energy systems Sijthoff & Noordhoff International Publishers	11 国際会議録 Modelling, robustness and sensitivity reduction in control systems Springer-Verlag
6 国際会議録 Continuum models and discrete systems Kluwer Academic Publishers	12 国際会議録 Bioinorganic chemistry : cellular systems and synthetic models American Chemical Society

1

2

3

4

5

6

7

8

9

10

11

12