Kleine Büning, Hans: Aussagenlogik
: Deduktion und Algorithmen / Hans Kleine Büning ; Theodor Lettmann. - Stuttgart : Teubner, 1994. - X, 438 S.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-02133-9 / 3-519-02133-1 kart. : DM 54.00, sfr 54.00, S 421.00
Quelle: DNB
Kastens, Uwe: Modellierung
: Grundlagen und formale Methoden / Uwe Kastens ; Hans Kleine Büning. - München : Hanser, 2005. - 256 S. : zahlr. graph. Darst.; 24 cm
ISBN 978-3-446-40460-1 / 3-446-40460-0 kart. : EUR 29.90 (DE), EUR 30.80 (AT), sfr 47.80
Literaturverz. S. 247 - 249
Quelle: DNB Verlagsmeldungen
Kastens, Uwe: Modellierung
: Grundlagen und formale Methoden / Uwe Kastens, Hans Kleine Büning. - 4., erweiterte Auflage - München : Hanser, 2018. - 299 Seiten : Diagramme; 24 cm
ISBN 978-3-446-45464-4 Broschur
Quelle: DNB
Kastens, Uwe: Modellierung
: Grundlagen und formale Methoden / Uwe Kastens, Hans Kleine Büning. - 5., aktualisierte Auflage - München : Hanser, 2021. - 308 Seiten : Illustrationen; 24 cm, 601 g
ISBN 978-3-446-46942-6 / 3-446-46942-7 Broschur : EUR 29.99 (DE), EUR 30.90 (AT)
Quelle: DNB
Kastens, Uwe: Modellierung
: Grundlagen und formale Methoden ; [für Bachelor geeignet] / Uwe Kastens ; Hans Kleine Büning. - 2., überarb. und erw. Aufl. - München : Hanser, 2008. - 293 S. : graph. Darst.; 25 cm
ISBN 978-3-446-41537-9 kart. : EUR 34.90 (DE), EUR 35.90 (AT)
Literaturverz. S. 284 - 286
Quelle: DNB Verlagsmeldungen
Kastens, Uwe: Modellierung
: Grundlagen und formale Methoden / Uwe Kastens ; Hans Kleine Büning. - 3., überarb. Aufl. - München : Hanser, 2014. - 293 S. : graph. Darst.; 25 cm
ISBN 978-3-446-44246-7 / 3-446-44246-4 Pp. : EUR 39.99 (DE), EUR 41.20 (AT), sfr 53.90 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 11th international conference ; proceedings / SAT 2008, Guangzhou, China, May 12 - 15, 2008. Hans Kleine Büning ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4996)
ISBN 978-3-540-79719-7
Lizenzpflichtig
Quelle: DNB
Wissensbasierte Systeme
: elektronische Weiterbildung unter Windows / FernUniversität Hagen. Hans Kleine-Büning. - 1. Aufl. - Bonn : Addison-Wesley, 1992. - 3 Disketten : HD, farb.; 9 cm, in Behältnis 25 x 17 x 5 cm - (Computer based training)
ISBN 978-3-89319-438-4 / 3-89319-438-X : DM 298.00 (freier Pr.)
Systemvoraussetzungen: PC-XT/AT oder Kompatible; 2 MB Hauptspeicher, ca. 11 MB Festplattenspeicher; Microsoft Windows 3.0 oder höher, (MS-Windows muss für die Standard-VGA-Karte mit 16 Farben und der 640 x 480er Auflösung konfiguriert sein); Farbbildschir
Quelle: DNB
