>> Google Books
所蔵情報QRコード

Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin : Springer-Verlag, c2000
形態:
x, 379 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1912 <BA00009279>
著者名:
ISBN:
9783540679592 [3540679596]
書誌ID:
BA48362784
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

ASM, Börger, E. (Egon), 1946-, Gargantini, Angelo, 1969-, Riccobene, Elvinia, 1964-

Springer
7 図書 Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 (: gw ; : us)

International FCT-Conference, Karpiński, Marek, 1948-

Springer-Verlag
2 図書 Abstract state machines 2004 : advances in theory and practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : …

ASM, Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-

Springer
8 図書 IGIS '94: geographic information systems : International Workshop on Advanced Research in Geographic Information Systems, Monte Verità, Ascona, Switzerland, …

International Workshop on Advanced Research in Geographic Information Systems, Nievergelt, Jurg

Springer-Verlag
3 電子ブック Abstract State Machines - Theory and Applications

Yuri Gurevich, Gurevich, Yuri

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 電子ブック Abstract State Machines 2004. Advances in Theory and Practice

ASM 2004, Thalheim, Bernhard, Zimmermann, Wolf

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
4 図書 Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings

International Colloquium on Automata, Languages and Programming, Montanari, U. (Ugo), Rolim, José D. P., Welzl, Emo

Springer
10 図書 Proceedings of the twenty-eighth Annual ACM Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22-24, 1996

ACM Symposium on Theory of Computing, ACM Special Interest Group for Algorithms and Computation Theory

ACM
5 図書 Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 (: gw ; : us)

Advanced Course on General Net Theory of Processes and Systems, Brauer, Wilfried, 1937-

Springer-Verlag
11 図書 Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)

Brauer, Wilfried, 1937-, Reisig, Wolfgang, 1950-, Rozenberg, Grzegorz

Springer-Verlag
6 図書 Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 (: gw ; : us)

International FCT-Conference, Gécseg, Ferenc, 1939-

Springer-Verlag
12 図書 Machines, computations, and universality : third International Conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings

MCU, Margenstern, Maurice, Rogozhin, Yurii

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12