Logics and models of concurrent systems

>> Google Books

Logics and models of concurrent systems

フォーマット:

図書

責任表示:

edited by Krzysztof R. Apt

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

形態:

viii, 498 p. : ill. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA00675146

ISBN:

9783540151814 [3540151818] (: Germany)

9780387151816 [0387151818] (: U.S.)

子書誌情報

所蔵情報

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

詳細

主題:	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
注記:	"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."
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 New advances in distributed computer systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981 NATO Advanced Study Institute, Beauchamp, Kenneth George, 1923-, North Atlantic Treaty Organization. Scientific Affairs … D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston	7 図書 Numerical solution of partial differential equations : proceedings of the NATO Advanced Study Institute held at Kjeller, Norway, August 20-24, 1973 NATO Advanced Study Institute, Gram, J. G., North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel Pub. Co.
2 図書 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]	8 図書 Interfacial aspects of phase transformations : proceedings of the NATO Advanced Study Institute, held at Erice, Silicy [i.e. Sicily], August 29-September 9, … NATO Advanced Study Institute, Mutaftschiev, Boyan, 1932-, North Atlantic Treaty Organization. Scientific Affairs … D. Reidel Pub. Co., Sole and distributed in the U.S.A. and Canada by Kluwer Boston
3 図書 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	9 図書 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
4 図書 Nonlinear equations in physics and mathematics : proceedings of the NATO Advanced Study Institute held in Istanbul, Turkey, August 1-13, 1977 NATO Advanced Study Institute, North Atlantic Treaty Organization. Scientific Affairs Division, Barut, Asim Orhan, 1926- D. Reidel, Sole and distributed in the U.S.A. and Canada, Kluwer	10 図書 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.
5 図書 Emission and scattering techniques : studies of inorganic molecules, solids, and surfaces : proceedings of the NATO Advanced Study Institute held at Alghero, … NATO Advanced Study Institute, Day, Peter, 1938-, North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston	11 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag
6 図書 Modern topics in microwave propagation and air-sea interaction : proceedings : NATO Advanced Study Institute held at Sorrento, Italy, June 5-14, 1973 NATO Advanced Study Institute, Zancla, A., North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel, Pub. Co., published in cooperation with NATO Scientific Affairs Division	12 図書 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