Declarative agent languages and technologies VI
: 6th international workshop ; revised selected and invited papers / DALT 2008, Estoril, Portugal, May 12, 2008. Matteo Baldoni ... (ed.). - Heidelberg : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5397 : Lecture notes in artificial intelligence)
ISBN 978-3-540-93920-7
Lizenzpflichtig
Quelle: DNB
Karatkevich, Andrei: Dynamic analysis of Petri net based discrete systems
/ Andrei Karatkevich. - Berlin : Springer, 2007. - XIII, 166 S. : graph. Darst.; 24 cm - (Lecture notes in control and information sciences; Vol. 356)
ISBN 978-3-540-71464-4 / 3-540-71464-2 kart. : EUR 85.55 (freier Pr.), sfr 131.00 (freier Pr.)
Literaturverz. S. 145 - 159
Quelle: DNB Verlagsmeldungen
Dynamic analysis of Petri net based discrete systems
/ Andrei Karatkevich. - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in control and information sciences; 356)
ISBN 978-3-540-71560-3
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: first international workshop ; revised papers / FAABS 2000, Greenbelt, MD, USA, April 5 - 7, 2000. James L. Rash ... (ed.). - Berlin : Springer, 2001. - IX, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1871 : Lecture notes in artificial intelligence)
ISBN 978-3-540-42716-2 / 3-540-42716-3 kart.
Literaturangaben
Quelle: DNB
Formal approaches to agent based systems
: second international workshop ; revised papers / FAABS 2002, Greenbelt, MD, USA, October 29 - 31, 2002. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2699 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45133-4
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: first international workshop ; revised papers / FAABS 2000, Greenbelt, MD, USA, April 2000. J. L. Rash ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1871 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45484-7
Lizenzpflichtig
Quelle: DNB
Formal approaches to agent based systems
: second international workshop ; revised papers / FAABS 2002, Greenbelt, MD, USA, October 29 - 31, 2002. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2003. - IX, 295 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2699 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40665-5 / 3-540-40665-4 kart. : EUR 49.22, sfr 79.00
Literaturangaben
Quelle: DNB
Formal approaches to agent based systems
: third international workshop ; revised selected papers / FAABS 2004, Greenbelt, MD, USA, April 26 - 27, 2004. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2005. - VIII, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3228 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24422-6 / 3-540-24422-0 kart. : EUR 48.15 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ; Andreas Ulrich (ed.). - Berlin : Springer, 2004. - VIII, 266 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2931)
ISBN 978-3-540-20894-5 / 3-540-20894-1 kart. : EUR 44.94 (freier Pr.), sfr 76.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)
ISBN 978-3-540-24617-6
Lizenzpflichtig
Quelle: DNB
