Nielsen, Mogens.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
Emde Boas, Peter van.; Nielsen, Mogens.; Wiedermann, Jiri.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (1999 :); Algorithms (European symposium)
(書目-語言資料,印刷品)
CONCUR 2001 = concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings /
by:
Nielsen, Mogens.; SpringerLink (Online service); Larsen, Kim G.; International Conference on Concurrency Theory (2001 :)
(書目-語言資料,印刷品)
Foundations of software science and computation structures = 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
by:
Nielsen, Mogens.; SpringerLink (Online service); FOSSACS 2002 ((2002 :); ETAPS 2002 ((2002 :); Engberg, Uffe.
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2000 = 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings /
by:
Nielsen, Mogens.; SpringerLink (Online service); Rovan, Branislav.; Symposium on Mathematical Foundations of Computer Science (1972- ) (2000 :)
(書目-語言資料,印刷品)
Application and theory of petri nets 2000 = 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 ; proceedings /
by:
Nielsen, Mogens.; SpringerLink (Online service); Simpson, Dan.; ICATPN 2000. ((2000 :)
(書目-語言資料,印刷品)