Model checking and artificial intelligence
: 4th workshop ; revised selected and invited papers / MoChArt IV, Riva del Garda, Italy, August 29, 2006. Stefan Edelkamp ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4428 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74128-2
Lizenzpflichtig
Quelle: DNB
Rao, Ming: Modeling and advanced control for process industries
: applications to paper making processes / Ming Rao ; Qijun Xia ; Yiqun Ying. - London : Springer, 1994. - 297 S. : graph. Darst.; 24 cm - (Advances in industrial control)
ISBN 978-3-540-19881-9 / 3-540-19881-4 Pp. : DM 84.00
Literaturangaben
Quelle: DNB
Modeling and retrieval of context
: second international workshop ; revised selected papers / MRC 2005, Edinburgh, UK, July 31 - August 1, 2005. Thomas R. Roth-Berghofer ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3946 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33588-7
Lizenzpflichtig
Quelle: DNB
Modeling and using context
: proceedings / 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20 - 24, 2007. Boicho Kokinov ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4635 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74255-5
Lizenzpflichtig
Quelle: DNB
Modeling and using context
: proceedings / 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20 - 24, 2007. Boicho Kokinov ... (ed.). - Berlin : Springer, 2007. - XIV, 574 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4635 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74254-8 / 3-540-74254-9 kart. : EUR 72.76 (freier Pr.), sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Modeling decisions for artificial intelligence
: 4th international conference ; proceedings / MDAI 2007, Kitakyushu, Japan, August 16 - 18, 2007. Vicenç Torra ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4617 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73729-2
Lizenzpflichtig
Quelle: DNB
Modeling decisions for artificial intelligence
: third international conference ; proceedings / MDAI 2006, Tarragona, Spain, April 3 - 5, 2006. Vicenç Torra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3885 : Lecture notes in artificial intelligence)
ISBN 978-3-540-32781-3
Lizenzpflichtig
Quelle: DNB
Modeling decisions for artificial intelligence
: second international conference ; proceedings / MDAI 2005, Tsukuba, Japan, July 25 - 27, 2005. Vicenç Torra ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3558 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31883-5
Lizenzpflichtig
Quelle: DNB
Modeling decisions for artificial intelligence
: 5th international conference ; proceedings / MDAI 2008, Sabadell, Spain, October 30 - 31, 2008. Vicenç Torra ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5285 : Lecture notes in artificial intelligence)
ISBN 978-3-540-88269-5
Lizenzpflichtig
Quelle: DNB
Modeling decisions for artificial intelligence
: second international conference ; proceedings / MDAI 2005, Tsukuba, Japan, July 25 - 27, 2005. Vicenç Torra ... (ed.). - Berlin : Springer, 2005. - XII, 470 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3558 : Lecture notes in artificial intelligence)
ISBN 978-3-540-27871-9 / 3-540-27871-0 kart.
Literaturangaben
Quelle: DNB