Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Άλλοι συγγραφείς: | Birtwistle, Graham (Επιμελητής έκδοσης), Moller, Faron (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin
Springer-Verlag
c1996
|
Σειρά: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
1043 |
Θέματα: |
Παρόμοια τεκμήρια
-
Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989) -
Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986) -
Principles of Data Mining and Knowledge Discovery First European Symposium, PKDD '97 Trondheim, Norway, June 24-27, 1997 Proceedings
Έκδοση: (1997) -
Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985) -
Advances in Cryptology - CRYPTO '85 Proceedings
Έκδοση: (1986)