21- 26 of 26 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings, Author: Luca de Alfaro
QUICK ADD
Process Algebra and…
by Luca de Alfaro (Editor), Stephen Gilmore (Editor)
#2165 in Series
Paperback $54.99
Title: Automata Implementation: 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers, Author: Oliver Boldt
QUICK ADD
Automata Implementation: 4th…
by Oliver Boldt (Editor), Helmut Jïrgensen (Editor)
#2214 in Series
Paperback $54.99
Title: Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, Author: Wolf Zimmermann
QUICK ADD
Abstract State Machines 2004.…
by Wolf Zimmermann (Editor), Bernhard Thalheim (Editor)
#3052 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, Author: Sheng Yu
QUICK ADD
Implementation and Application…
by Sheng Yu (Editor), Andrei Paun (Editor)
#2088 in Series
Paperback $54.99
Title: Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings, Author: Egon Bïrger
QUICK ADD
Abstract State Machines 2003:…
by Egon Bïrger (Editor), Angelo Gargantini (Editor), Elvinia Riccobene (Editor)
#2589 in Series
Paperback $54.99
Title: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Greno, Author: Yassine Lakhnech
QUICK ADD
Formal Techniques, Modelling…
by Yassine Lakhnech (Editor), Sergio Yovine (Editor)
#3253 in Series
Paperback $54.99

Pagination Links