-
1Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings / Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings /Texto bibliotecaCOLPOS
-
2Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers / Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /by Nielsen, Mogens. editor., Thomas, Wolfgang. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
3Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers / Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /by Nielsen, Mogens. editor., Thomas, Wolfgang. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
4Automata, Languages and Programming [electronic resource] : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 / Automata, Languages and Programming [electronic resource] : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 /by Nielsen, Mogens. editor., Schmidt, Erik Meineche. editor., SpringerLink (Online service)
Published 1982Texto bibliotecaCOLPOS -
5Automata, Languages and Programming [electronic resource] : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 / Automata, Languages and Programming [electronic resource] : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 /by Nielsen, Mogens. editor., Schmidt, Erik Meineche. editor., SpringerLink (Online service)
Published 1982Texto bibliotecaCOLPOS -
6TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings /by Mosses, Peter D. editor., Nielsen, Mogens. editor., Schwartzbach, Michael I. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
7TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings /by Mosses, Peter D. editor., Nielsen, Mogens. editor., Schwartzbach, Michael I. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
8Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings /by Wiedermann, Jiří. editor., Emde Boas, Peter van. editor., Nielsen, Mogens. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
9Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings /by Wiedermann, Jiří. editor., Emde Boas, Peter van. editor., Nielsen, Mogens. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS