| Call Number (LC) | Title | Results |
|---|---|---|
| QA267 .I57 1983 | Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / | 1 |
| QA267 .I57 1985 | Fundamentals of computation theory | 1 |
| QA267 .I578 1992 |
Conditional term rewriting systems / Conditional term rewriting systems |
2 |
| QA267 .I5783 1994 | Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings / | 1 |
| QA267 .I5785 1994 | Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / | 1 |
| QA267 .I5787 |
Automata implementation. Implementation and application of automata : revised papers. |
2 |
| QA267 .I5787 1996 | Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / | 1 |
| QA267 .I5787 1997 | Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers / | 1 |
| QA267 .I5787 1998 | Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers / | 1 |
| QA267 .I5787 1999 | Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers / | 1 |
| QA267 .I58 |
Proceedings of the ... International Workshop on Petri Nets and Performance Models. International Workshop on Timed Petri Nets : [proceedings] |
2 |
| QA267 .I58 2008eb | Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings / | 1 |
| QA267 .I58 2010 |
Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 ; proceedings. Transactions on petri nets and other models of concurrency VII Applications and theory of Petri nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings / Automata, languages and programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. |
4 |
| QA267 .I58 2011 |
Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Applications and theory of petri nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / |
3 |
| QA267 .I58 2012 | Application and theory of petri nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / | 1 |
| QA267 .I58 2013 | Application and theory of petri nets and concurrency : 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings / | 1 |
| QA267 .I58 2015eb | Application and theory of petri nets and concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / | 1 |
| QA267 .I58 2016eb | Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, ToruĊ, Poland, June 19-24, 2016. Proceedings / | 1 |
| QA267 .I58 2017 | Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings / | 1 |
| QA267 .I58a | Proceedings of the ... International Workshop on Petri Nets and Performance Models | 1 |
