Balancing reactivity and social deliberation in multi-agent systems

: from RoboCup to real world applications / M. Hannebauer ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2103 : Lecture notes in artificial intelligence)

ISBN 978-3-540-44568-5

Lizenzpflichtig

Quelle: DNB

Dependable computing

: first Latin-American symposium ; proceedings / LADC 2003, São Paulo, Brazil, October 21 - 24, 2003. Rogério de Lemos ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2847)

ISBN 978-3-540-45214-0

Lizenzpflichtig

Quelle: DNB

Model based testing of reactive systems

: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)

ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)

Literaturverz. S. 617 - 651

Quelle: DNB Verlagsmeldungen

Model based testing of reactive systems

: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)

ISBN 978-3-540-32037-1

Lizenzpflichtig

Quelle: DNB

Manoonpong, Poramate: Neural preprocessing and control of reactive walking machines

: towards versatile artificial perception action systems ; with 3 tables / Poramate Manoonpong. - Berlin : Springer, 2007. - Online-Ressource - (Cognitive technologies)

ISBN 978-3-540-68803-7

Lizenzpflichtig

Quelle: DNB

Transformation based reactive systems development

: proceedings / 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 / Miquel Bertran ; Teodor Rus (ed.). - Berlin : Springer, 1997. - XI, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1231)

ISBN 978-3-540-63010-4 / 3-540-63010-4 kart. : DM 90.00

Literaturangaben

Quelle: DNB