>> Google Books

Current Trends in Concurrency : Overviews and Tutorials / edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

版:
1st ed. 1986
資料種別:
電子ブック
形態:
XIV, 718 p.
シリーズ名:
Lecture Notes in Computer Science ; 224
著者名:
ISBN:
9783540398271 [3540398279]
9783662190203 [3662190206]
9783540164883 [354016488X]
書誌ID:
EB00001335
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック 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)
7 電子ブック A Decade of Concurrency Reflections and Perspectives

Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Bakker, Jaco W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)
8 電子ブック New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings

Maurer, Hermann., SpringerLink (Online service)
3 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service)
9 電子ブック Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Hutter, Dieter., Stephan, Werner., Traverso, Paolo., Ullmann, Markus., SpringerLink (Online service)
4 電子ブック Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)
10 電子ブック Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Roever, Willem-Paul de., Langmaack, Hans., Pnueli, Amir., SpringerLink (Online service)
5 電子ブック A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. …

Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)
11 電子ブック Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets

Agha, Gul A., De Cindio, Fiorella., Rozenberg, Grzegorz., SpringerLink (Online service)
6 電子ブック Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman., Crossley, John N., Wirsing, Martin., SpringerLink (Online service)
12 電子ブック Advances in Computing and Information - ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings

Akl, Selim G., Fiala, Frantisek., Koczkodaj, Waldemar W., SpringerLink (Online service)
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12