Skip to contents Börger, Egon [Editor] ; ASM 10 2003 Taormina Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2589 Zimmermann, Wolf [Editor]; Thalheim, Bernhard [Other] ; ASM 11 2004 Wittenberg Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3052 Blass, Andreas [Editor]; Gurevich, Yuri [Honoree]; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other] Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6300 Nowack, Antje [Author] Abstract state machines : verification problems and computational power Books View online Schließen > Access ... to E-book (Volltext ; PDF document ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2004 Zimmermann, Wolf [Author] ; Thalheim, Bernhard [Other] Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3052 Börger, Egon [Author] ; Gargantini, Angelo [Other]; Riccobene, Elvinia [Other] Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2589 Blass, Andreas [Author] ; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other] Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6300 Nowack, Antje [Author] Abstract state machines : verification problems and computational power Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this.
Börger, Egon [Editor] ; ASM 10 2003 Taormina Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2589
Zimmermann, Wolf [Editor]; Thalheim, Bernhard [Other] ; ASM 11 2004 Wittenberg Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3052
Blass, Andreas [Editor]; Gurevich, Yuri [Honoree]; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other] Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6300
Nowack, Antje [Author] Abstract state machines : verification problems and computational power Books View online Schließen > Access ... to E-book (Volltext ; PDF document ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2004
Zimmermann, Wolf [Author] ; Thalheim, Bernhard [Other] Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3052
Börger, Egon [Author] ; Gargantini, Angelo [Other]; Riccobene, Elvinia [Other] Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2589
Blass, Andreas [Author] ; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other] Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6300
Nowack, Antje [Author] Abstract state machines : verification problems and computational power Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this.
> Access ... to E-book via Resolving system ... to E-book via Resolving system ... to E-book via German National Library
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (8) Wert ausschließen Mathmatics (5) Wert ausschließen Show more show less
> Creator Skip to next facet Blass, Andreas (2) Wert ausschließen Börger, Egon (2) Wert ausschließen Dershowitz, Nachum (2) Wert ausschließen Nowack, Antje (2) Wert ausschließen Reisig, Wolfgang (2) Wert ausschließen Thalheim, Bernhard (2) Wert ausschließen Zimmermann, Wolf (2) Wert ausschließen ASM 10 2003 Taormina (1) Wert ausschließen ASM 11 2004 Wittenberg (1) Wert ausschließen Gargantini, Angelo (1) Wert ausschließen Gurevich, Yuri (1) Wert ausschließen Riccobene, Elvinia (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (7) Wert ausschließen Diss online (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less