1- 20 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: 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: Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings, Author: Marc Frappier
QUICK ADD
Abstract State Machines, Alloy…
by Marc Frappier (Editor), Uwe Glässer (Editor), Sarfraz Khurshid (Editor), Régine Laleau (Editor), Steve Reeves (Editor)
#5977 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings, Author: Oscar H. Ibarra
QUICK ADD
Implementation and Application…
by Oscar H. Ibarra (Editor), Zhe Dang (Editor)
#2759 in Series
Paperback $54.99
Title: Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers, Author: Darrell Raymond
QUICK ADD
Automata Implementation: First…
by Darrell Raymond (Editor), Derick Wood (Editor), Sheng Yu (Editor)
#1260 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers, Author: Bruce Watson
QUICK ADD
Implementation and Application…
by Bruce Watson (Editor), Derick Wood (Editor)
#2494 in Series
Paperback $54.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: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, Author: Egon Börger
QUICK ADD
Abstract State Machines, B and…
by Egon Börger (Editor), Michael Butler (Editor), Jonathan P. Bowen (Editor), Paul Boca (Editor)
#5238 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, Author: Jan Holub
QUICK ADD
Implementation and Application…
by Jan Holub (Editor), Jan Zdárek (Editor)
#4783 in Series
Paperback $54.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
Title: Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, Author: Jacques Farré
QUICK ADD
Implementation and Application…
by Jacques Farré (Editor), Igor Litovsky (Editor), Sylvain Schmitz (Editor)
#3845 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, Author: Carlos Martin-Vide
QUICK ADD
Language and Automata Theory…
by Carlos Martin-Vide (Editor), Friedrich Otto (Editor), Henning Fernau (Editor)
#5196 in Series
Paperback $54.99
Title: Automata Implementation: Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, Author: Derick Wood
QUICK ADD
Automata Implementation:…
by Derick Wood (Editor), Sheng Yu (Editor)
#1436 in Series
Paperback $54.99
Title: Advances in Petri Nets 1985, Author: Grzegorz Rozenberg
QUICK ADD
Advances in Petri Nets 1985
by Grzegorz Rozenberg (Editor)
#222 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: Implementation and Application of Automata: 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, Author: Jean-Marc Champarnaud
QUICK ADD
Implementation and Application…
by Jean-Marc Champarnaud (Editor), Denis Maurel (Editor)
#2608 in Series
Paperback $54.99
Title: Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings, Author: Jürgensen
QUICK ADD
Descriptional Complexity of…
by Jürgensen (Editor), Rogério Reis (Editor)
#8031 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, Author: Oscar H. Ibarra
QUICK ADD
Implementation and Application…
by Oscar H. Ibarra (Editor), Hsu-Chun Yen (Editor)
#4094 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, Author: Holger Hermanns
QUICK ADD
Process Algebra and…
by Holger Hermanns (Editor), Roberto Segala (Editor)
#2399 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers, Author: Michael Domaratzki
QUICK ADD
Implementation and Application…
by Michael Domaratzki (Editor), Alexander Okhotin (Editor), Kai Salomaa (Editor), Sheng Yu (Editor)
#3317 in Series
Paperback $54.99

Pagination Links