Premium Members Save 10% Join Now
21- 26 of 26 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, Author: Jean-Marc Champarnaud
QUICK ADD
Automata Implementation: Third…
by Jean-Marc Champarnaud (Editor), Denis Maurel (Editor), Djelloul Ziadi (Editor)
#1660 in Series
Paperback $54.99
Title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / Edition 1, Author: Luca de Alfaro
QUICK ADD
Process Algebra and…
by Luca de Alfaro, Stephen Gilmore
#2165 in Series
Paperback $54.99
Title: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / Edition 1, Author: Holger Hermanns
QUICK ADD
Process Algebra and…
by Holger Hermanns, Roberto Segala
#2399 in Series
Paperback $54.99
Title: Advances in Petri Nets 1985 / Edition 1, Author: Grzegorz Rozenberg
QUICK ADD
Advances in Petri Nets 1985 /…
by Grzegorz Rozenberg
#222 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 / Edition 1, Author: Yassine Lakhnech
QUICK ADD
Formal Techniques, Modelling…
by Yassine Lakhnech, Sergio Yovine
#3253 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

Pagination Links