Abstract state machines 2004 : advances in theory and practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Abstract state machines 2004 : advances in theory and practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings / Wolf Zimmermann, Bernhard Thalheim (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2004

形態:

xii, 233 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3052 <BA00009279>

著者名:

ISBN:

9783540220947 [3540220941]

書誌ID:

BA67559538

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Machine theory--Congresses
言語:	英語

東工大ブックレビュー

Loading review 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 図書 Foundations of information and knowledge systems : first International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings FoIKS, Schewe, Klaus-Dieter, Thalheim, B. (Bernhard), 1952- Springer
2 図書 Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings ASM, Gurevich, Yuri Springer-Verlag	8 図書 Implementation and application of automata : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers International Conference on Implementation and Application of Automata, Domaratzki, Michael Springer
3 図書 Conceptual modeling-ER '96 : 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996 : proceedings International Conference on Conceptual Modeling, Thalheim, B. (Bernhard), 1952- Springer	9 図書 Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing : Berkeley, California, May 28-30, 1986 ACM Symposium on Theory of Computing, ACM Special Interest Group for Automata and Computability Theory Association for Computing Machinery, Additional copies may be orderd from ACM Order Dept.
4 図書 Implementation and application of functional languages : 16th International Workshop, IFL 2004 Lübeck, Germany, September 8-10, 2004 : revised selected papers International Workshop on the Implementation of Functional Languages, Grelck, Clemens, Huch, Frank, Michaelson, Greg J., … 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 図書 Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 International FCT-Conference, Gécseg, Ferenc, 1939- Springer-Verlag	11 図書 Machines, computations, and universality : third International Conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings MCU, Margenstern, Maurice, Rogozhin, Yurii Springer
6 図書 Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, … Springer	12 図書 MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings Symposium on Mathematical Fundamentals of Database Systems, Thalheim, B. (Bernhard), 1952-, Demetrovics, János, … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12