Abstract state machines 2003
: advances in theory and practice ; 10th international workshop ; proceedings / ASM 2003, Taormina, Italy, March 3 - 7, 2003. Egon Börger ... (ed.). - Berlin : Springer, 2003. - XI, 424 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2589)
ISBN 978-3-540-00624-4 / 3-540-00624-9 kart. : EUR 57.78
Literaturangaben
Quelle: DNB
Abstract state machines, B and Z
: first international conference ; proceedings / ABZ 2008, London, UK, September 16 - 18, 2008. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5238)
ISBN 978-3-540-87603-8
Lizenzpflichtig
Quelle: DNB
Advances in software engineering
: revised tutorial lectures / Lipari Summer School 2007, Lipari Island, Italy, July 8 - 21, 2007. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5316)
ISBN 978-3-540-89762-0
Lizenzpflichtig
Quelle: DNB
Börger, Egon: Berechenbarkeit, Komplexität, Logik
: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / Egon Börger. - 3., verb. und erw. Aufl. - Braunschweig : Vieweg, 1992. - XX, 499 S. : graph. Darst.; 23 cm
ISBN 978-3-528-28928-7 / 3-528-28928-7 kart. : DM 72.00
Literaturverz. S. 423 - 451
Quelle: DNB
Börger, Egon: The classical decision problem
/ Egon Boerger ; Erich Grädel ; Yuri Gurevich. - Berlin : Springer, 1997. - XII, 482 S. : graph. Darst.; 24 cm - (Perspectives in mathematical logic)
ISBN 978-3-540-57073-8 / 3-540-57073-X Pp. : DM 158.00
Literaturverz. S. 421 - 476
Quelle: DNB
Börger, Egon: The classical decision problem
/ Egon Börger ; Erich Grädel ; Yuri Gurevich. - 2. printing of the 1. ed. - Berlin : Springer, 2001. - X, 482 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-42324-9 / 3-540-42324-9 kart. : DM 96.19
Quelle: DNB
Computer science logic
: 7th workshop ; selected papers / CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Egon Börger ... (ed.). - Berlin : Springer, 1994. - VIII, 336 S.; 24 cm - (Lecture notes in computer science; Vol. 832)
ISBN 978-3-540-58277-9 / 3-540-58277-0 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Computer science logic
: 5th workshop ; proceedings / CSL '91, Berne, Switzerland, October 7 - 11, 1991. E. Börger ... (ed.). - Berlin : Springer, 1992. - VIII, 428 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 626)
ISBN 978-3-540-55789-0 / 3-540-55789-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
Subjektorientiertes Prozessmanagement
: Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern / Albert Fleischmann .... - München : Hanser, 2011. - 428 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-446-42707-5 / 3-446-42707-4 Pp. : EUR 39.90 (DE), EUR 41.10 (AT), sfr 56.90 (freier Pr.)
Literaturangaben
Quelle: DNB
