1- 14 of 14 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automata Implementation: Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / Edition 1, Author: Derick Wood
QUICK ADD
Automata Implementation:…
by Derick Wood, Sheng Yu
#1436 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: Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings / Edition 1, Author: Werner Kuich
QUICK ADD
Automata, Languages and…
by Werner Kuich
#623 in Series
Paperback $109.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: Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers / Edition 1, Author: Carlos Martin-Vide
QUICK ADD
Language and Automata Theory…
by Carlos Martin-Vide, Friedrich Otto, Henning Fernau
#5196 in Series
Paperback $54.99
Title: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1, Author: Yuri Gurevich
QUICK ADD
Abstract State Machines -…
by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
#1912 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / Edition 1, Author: Jacques Farré
QUICK ADD
Implementation and Application…
by Jacques Farré, Igor Litovsky, Sylvain Schmitz
#3845 in Series
Paperback $54.99
Title: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / Edition 1, Author: Egon Börger
QUICK ADD
Abstract State Machines, B and…
by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
#5238 in Series
Paperback $54.99
Title: Semigroups, Algorithms, Automata And Languages, Author: Gracinda M S Gomes
QUICK ADD
Semigroups, Algorithms,…
by Gracinda M S Gomes, Jean-eric Pin, Pedro V Silva
Hardcover $204.00
Title: Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / Edition 1, Author: Lars Arge
QUICK ADD
Automata, Languages and…
by Lars Arge, Christian Cachin, Tomasz Jurdzinski
#4596 in Series
Paperback $109.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: 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: Lectures on Concurrency and Petri Nets: Advances in Petri Nets / Edition 1, Author: Jïrg Desel
QUICK ADD
Lectures on Concurrency and…
by Jïrg Desel, Wolfgang Reisig, Grzegorz Rozenberg
#3098 in Series
Paperback $109.99
Title: Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / Edition 1, Author: Michael Domaratzki
QUICK ADD
Implementation and Application…
by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu
#3317 in Series
Paperback $54.99