21- 26 of 26 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings, Author: Holger Hermanns
QUICK ADD
Process Algebra and…
by Holger Hermanns (Editor), Roberto Segala (Editor)
#2399 in Series
Paperback $54.99
Title: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings, Author: Yuri Gurevich
QUICK ADD
Abstract State Machines -…
by Yuri Gurevich (Editor), Philipp W. Kutter (Editor), Martin Odersky (Editor), Lothar Thiele (Editor)
#1912 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: Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings, Author: Werner Kuich
QUICK ADD
Automata, Languages and…
by Werner Kuich (Editor)
#623 in Series
Paperback $109.99
Title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets, Author: Jïrg Desel
QUICK ADD
Lectures on Concurrency and…
by Jïrg Desel (Editor), Wolfgang Reisig (Editor), Grzegorz Rozenberg (Editor)
#3098 in Series
Paperback $109.99
Title: Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, Author: Lars Arge
QUICK ADD
Automata, Languages and…
by Lars Arge (Editor), Christian Cachin (Editor), Tomasz Jurdzinski (Editor)
#4596 in Series
Paperback $109.99

Pagination Links