Logics and models of concurrent systems

>> Amazon.co.jp

このページのQRコード

Logics and models of concurrent systems

種類:

図書

責任表示:

edited by Krzysztof R. Apt

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

著者名:

シリーズ名:

NATO ASI series ; ser. F . Computer and systems sciences ; v. 13 <BA0006594X>

ISBN:

9783540151814 [3540151818] (: Germany)

9780387151816 [0387151818] (: U.S.)

注記:

"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso
"Published in cooperation with NATO Scientific Affairs Division."

所蔵情報

子書誌情報

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

詳細

主題:	Electronic data processing--Distributed processing--Congresses; Parallel processing (Electronic computers)--Congresses
分類・件名:	LCC : QA76.5 DDC : 001.64 NDLC : M151 LCSH : Parallel processing (Electronic computers) -- Congresses LCSH : Electronic data processing -- Distributed processing -- Congresses
LCCN:	85008092
TTLL:	eng
言語:	英語
形態:	viii, 498 p. : ill. ; 25 cm
書誌ID:	BA00675146

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Parallel computing on distributed memory multiprocessors Özgüner, Füsun, Erçal, Fikret, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study … Springer-Verlag	7 図書 Lectures on finite element methods in continuum mechanics : a collection of lectures delivered at the Advanced Study Institute held at Laboratorio Nacional de … NATO Advanced Study Institute on Finite Element Methods in Continuum Mechanics, Oden, J. Tinsley (John Tinsley), 1936-, … [University of Alabama in Huntsville Press]
2 図書 Geometric methods in system theory : proceedings of the NATO Advanced Study Institute held at London, England, August 27-September 7, 1973 NATO Advanced Study Institute, Mayne, David Q., 1930-, Brockett, Roger W., 1938-, North Atlantic Treaty Organization. … D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division	8 図書 Bifurcation phenomena in mathematical physics and related topics : proceedings of the NATO Advanced Study Institute held at Cargèse, Corsica, France, June … NATO Advanced Study Institute, Bardos, Claude, 1940-, Bessis, D., 1933-, North Atlantic Treaty Organization. Scientific … D. Reidel Pub. Co., NATO Scientific Affairs Division, sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc.
3 図書 Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on … IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems (1984 : … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	9 図書 Materials science of carbides, nitrides and borides : proceedings of the NATO Advanced Study Institute on Materials Science of Carbides, Nitrides, and Borides, … NATO Advanced Study Institute on Materials Science of Carbides, Nitrides, and Borides, Gogot︠s︡i, I︠U︡. G., … Kluwer Academic Publishers
4 図書 Automatic speech analysis and recognition : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 29-July 10, 1981 NATO Advanced Study Institute, Haton, Jean-Paul, 1943-, North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston	10 図書 Low Reynolds number flow heat exchangers : advanced study institute book Kakaç, S. (Sadık), Shah, R. K., Bergles, A. E., 1935-, North Atlantic Treaty Organization. Scientific Affairs Division Hemisphere Pub. Corp.
5 図書 Studies in mathematical physics : lectures presented at the NATO Advanced Study Institute on Mathematical Physics held in Istanbul, August, 1970 NATO Advanced Study Institute on Mathematical Physics, Barut, Asim Orhan, 1926-, North Atlantic Treaty Organization. … D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division	11 図書 The mathematics of models for climatology and environment Díaz, J. I, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on the … Springer
6 図書 Sensors and sensory systems for advanced robots NATO Advanced Research Workshop on Sensors and Sensory Systems for Advanced Robots, Dario, Paolo, 1951-, North Atlantic … Springer-Verlag	12 図書 Aggression in children and youth : [proceedings of the NATO Advanced Study Institute on Aggression in Children and Youth, Maratea, Italy, June 17-28, 1981] NATO Advanced Study Institute on Aggression in Children and Youth, Kaplan, Robert M., Konečni, Vladimir J., 1944-, … M. Nijhoff