Mogens Nielsen – författare
Visar alla böcker från författaren Mogens Nielsen. Handla med fri frakt och snabb leverans.
14 produkter
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Av Kim G. Larsen, Mogens Nielsen
Häftad, 2001
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The …
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
Av Mogens Nielsen, Uffe Engberg
Häftad, 2002
567 kr
Lägg i varukorg
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), …
Mathematical Foundations of Computer Science 2000
25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Av Branislav Rovan, Mogens Nielsen
E-bok, 2003
1477 kr
Lägg i varukorg
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Av Mogens Nielsen, Kim G. Larsen
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The …
Application and Theory of Petri Nets 2000
21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
Av Dan Simpson, Mogens Nielsen
E-bok, 2003
734 kr
Lägg i varukorg
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
Av Uffe Engberg, Mogens Nielsen
E-bok, 2003
734 kr
Lägg i varukorg
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), …
Automata, Languages and Programming
26th International Colloquium, ICALP''99, Prague, Czech Republic, July 11-15, 1999 Proceedings
Av Mogens Nielsen, Peter van Emde Boas m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
TAPSOFT '95: Theory and Practice of Software Development
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Av Peter D. Mosses, Mogens Nielsen m. fl.
Häftad, 1995
1127 kr
Lägg i varukorg
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together …
Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Av Mogens Nielsen, Wolfgang Thomas
Häftad, 1998
567 kr
Lägg i varukorg
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 …
Automata, Languages and Programming
26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
Av Jiri Wiedermann, Peter van Emde Boas m. fl.
Häftad, 1999
1127 kr
Lägg i varukorg
ICALP { the International Colloquium on Automata, Languages, and Progr- ming { is a series of annual conferences of the European Association for Th- retical Computer Science (EATCS). ICALP'99 was organized by the Institute of Computer Science of the Academy of Sciences of the Czech Republic in - …
Application and Theory of Petri Nets 2000
21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
Av Mogens Nielsen, Dan Simpson
Häftad, 2000
567 kr
Lägg i varukorg
This volume contains the proceedings of the 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 100{150participants{ one third of these …
Mathematical Foundations of Computer Science 2000
25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Av Mogens Nielsen, Branislav Rovan
Häftad, 2000
1127 kr
Lägg i varukorg
This volume contains papers selected for presentation at the Silver Jubilee 25th Symposium on Mathematical Foundations of Computer Science | MFCS 2000, held in Bratislava, Slovakia, August 28 { September 1, 2000. MFCS 2000 was organized under the auspices of the Minister of Education of the Slovak …
SOFSEM 2009: Theory and Practice of Computer Science
35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Av Mogens Nielsen, Antonin Kucera m. fl.
Häftad, 2009
1127 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.The 49 revised full papers, presented together with 9 invited contributions, were carefully …
SOFSEM 2009: Theory and Practice of Computer Science
35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Av Frank Valencia, Petr Tuma m. fl.
E-bok, 2009
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully …
