Kroening, Daniel: Decision procedures
: an algorithmic point of view / Daniel Kroening ; Ofer Strichman. Foreword by Randal E. Bryant. - Berlin : Springer, 2008. - XVI, 304 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-74104-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 113.50 (freier Pr.)
Literaturverz. S. 285 - 297
Quelle: DNB Verlagsmeldungen
Decision procedures
: an algorithmic point of view / Daniel Kroening .... - Berlin : Springer, 2008. - Online-Ressource - (Texts in theoretical computer science)
ISBN 978-3-540-74105-3
Lizenzpflichtig
Quelle: DNB
Decision support systems
: water resources planning ; [proceedings of the NATO Advanced Research Workshop on Computer Aided Support Systems for Water Resources Research and Management held at Ericeira (Portugal), 24 - 28 September, 1990] / ed. by Daniel P. Loucks and João R. da Costa. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1991. - XVI, 574 S. : graph. Darst., Kt.; 25 cm - (NATO ASI series : Series G, Ecological sciences; Vol. 26)
ISBN 978-3-540-53097-8 / 3-540-53097-5 Pp. : DM 288.00
Literaturangaben
Quelle: DNB
Decision support systems in critical care
/ M. Michael Shabot ; Reed. M. Gardner ed.. - New York : Springer, 1994. - XVIII, 420 S. : Ill., graph. Darst.; 24 cm - (Computers and medicine)
ISBN 978-3-540-97799-5 / 3-540-97799-6 Pp. : 104.00
Literaturangaben
Quelle: DNB
Pech, Anton: Decken
/ Anton Pech ; Andreas Kolbitsch ; Franz Zach. Unter Mitarb. von Alfred Pauser .... - Wien : Springer, 2006. - X, 181 S. : Ill., graph. Darst.; 25 cm - (Baukonstruktionen; Bd. 5)
ISBN 978-3-211-25250-5 / 3-211-25250-9 Pp. : ca. EUR 24.00 (DE), ca. EUR 24.00 (AT), ca. sfr 41.00
Literaturverz. S. 171 - 173
Quelle: DNB
Declarative agent languages and techniques
: first international workshop ; revised selected and invited papers / DALT 2003, Melbourne, Australia, July 15, 2003. João Leite ... (ed.). - Berlin : Springer, 2004. - XII, 279 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2990 : Lecture notes in artificial intelligence : Hot topics)
ISBN 978-3-540-22124-1 / 3-540-22124-7 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Declarative agent languages and technologies II
: second international workshop ; revised selected papers / DALT 2004, New York, NY, USA, July 19, 2004. João Leite ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31927-6
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies III
: third International Workshop ; selected and revised papers / DALT 2005, Utrecht, The Netherlands, July 25, 2005. Matteo Baldoni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3904 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33107-0
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies IV
: 4th international workshop ; selected, revised and invited papers / DALT 2006, Hakodate, Japan, May 8, 2006. Matteo Baldoni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4327 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68961-4
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies V
: 5th international workshop ; revised selected and invited papers / DALT 2007, Honolulu, HI, USA, May 14, 2007. Matteo Baldoni ... (ed.). - Berlin : Springer, 2008. - X, 244 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4897 : Lecture notes in artificial intelligence)
ISBN 978-3-540-77563-8 / 3-540-77563-3 kart. : EUR 48.15 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
