| Call Number (LC) | Title | Results |
|---|---|---|
| QA267 .I555 1995 | Rewriting techniques and applications 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / | 1 |
| QA267 .I555 2001 |
Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings / Rewriting techniques and applications 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings / |
2 |
| QA267 .I555 2002 | Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / | 1 |
| QA267 .I555 2003 | Rewriting techniques and applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / | 1 |
| QA267 .I555 2004 | Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / | 1 |
| QA267 .I555 2005eb | Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / | 1 |
| QA267 .I555 2006 | Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / | 1 |
| QA267 .I555 2006eb | Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / | 1 |
| QA267 .I555 2007eb | Term rewriting and application 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / | 1 |
| QA267 .I555 2008eb | Rewriting techniques and applications 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings / | 1 |
| QA267 .I555 2009 | Rewriting techniques and applications 20th international conference, RTA 2009 BrasÃlia, Brazil, June 29-July 1, 2009 : proceedings / | 1 |
| QA267 .I557 2005eb | Applications and theory of Petri nets 2005 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / | 1 |
| QA267 .I56 1983 | Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / | 1 |
| QA267 .I56 1983eb | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / | 1 |
| QA267 .I56 2001 | Applications and theory of petri nets 2001 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings / | 1 |
| QA267 .I56 2002eb |
Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings / Application and theory of Petri nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings / |
2 |
| QA267 .I56 2009 | Applications and theory of petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / | 1 |
| QA267 .I56x 1998eb | Application and theory of petri nets 1998 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings / | 1 |
| QA267 .I57 | Fundamentals of computation theory ... proceedings. | 1 |
| QA267 .I57 1981 | Fundamentals of computation theory proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / | 1 |
