Digitaltechnik - eine praxisnahe Einführung
/ Armin Biere .... - Berlin : Springer, 2008. - Online-Ressource
ISBN 978-3-540-77729-8
Lizenzpflichtig
Quelle: DNB
MBMV 2023
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg / Tagungsleitung: Prof. Dr. Armin Biere, Universität Freiburg. - Berlin : VDE VERLAG GMBH, 2023. - 1 CD-ROM; 56 g - (ITG-Fachbericht; 309)
ISBN 978-3-8007-6065-7 / 3-8007-6065-7 : EUR 69.00 (DE), EUR 69.00 (AT)
Quelle: DNB
Theory and applications of satisfiability testing
: 9th international conference ; proceedings / SAT 2006, Seattle, WA, USA, August 12 - 15, 2006. Armin Biere ; Carla P. Gomes (ed.). - Berlin : Springer, 2006. - XII, 438 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4121)
ISBN 978-3-540-37206-6 / 3-540-37206-7 Pp. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings / SAT 2006, Armin Biere ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4121)
ISBN 978-3-540-37207-3
Lizenzpflichtig
Quelle: DNB
