Shop : Search
Shop
Search
Displaying 1 - 3 of 3 results
Displaying 1 - 3 of 3 results
Displaying 1 - 3 of 3 results
Displaying 1 - 3 of 3 results
Daniel Große, Rolf Drechsler (Hrsg.)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
In diesem Jahr wird der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ (MBMV) zum 20. Mal ...
Berichte aus der Informatik
ISBN 978-3-8440-4996-1, English-German, Softcover, 136 pages,
21 x 14,8 cm, 191 g, 55 figures, 27,80 €
January 2017
ISBN 978-3-8440-4996-1, English-German, Softcover, 136 pages,
21 x 14,8 cm, 191 g, 55 figures, 27,80 €
January 2017
Daniel Große, Rolf Drechsler (Hrsg.)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Berichte aus der Informatik
ISBN 978-3-8440-4996-1, English-German, Softcover, 136 pages,
21 x 14,8 cm, 191 g, 55 figures, 27,80 €
January 2017
ISBN 978-3-8440-4996-1, English-German, Softcover, 136 pages,
21 x 14,8 cm, 191 g, 55 figures, 27,80 €
January 2017
also available as an online publication
Daniel Große, André Sülflow, Nicole Drechsler (Hrsg.)
EXplayN
Strategieoptimierung und Analyse ausgewählter Spielprobleme
Strategieoptimierung und Analyse ausgewählter Spielprobleme
Technische Informatik
ISBN 978-3-8322-7059-9, German, Softcover, 184 pages,
21 x 14,8 cm, 273 g, 89 figures, 28,80 €
March 2008
ISBN 978-3-8322-7059-9, German, Softcover, 184 pages,
21 x 14,8 cm, 273 g, 89 figures, 28,80 €
March 2008
Daniel Große, André Sülflow, Nicole Drechsler (Hrsg.)
EXplayN
Strategieoptimierung und Analyse ausgewählter Spielprobleme
Strategieoptimierung und Analyse ausgewählter Spielprobleme
Technische Informatik
ISBN 978-3-8322-7059-9, German, Softcover, 184 pages,
21 x 14,8 cm, 273 g, 89 figures, 28,80 €
March 2008
ISBN 978-3-8322-7059-9, German, Softcover, 184 pages,
21 x 14,8 cm, 273 g, 89 figures, 28,80 €
March 2008
also available as an online publication
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.)
SATRIX
Algorithmen für Boolesche Erfüllbarkeit
Algorithmen für Boolesche Erfüllbarkeit
Technische Informatik
ISBN 978-3-8322-6408-6, German, Softcover, 138 pages,
21 x 14,8 cm, 203 g, 18 figures, 27,80 €
August 2007
ISBN 978-3-8322-6408-6, German, Softcover, 138 pages,
21 x 14,8 cm, 203 g, 18 figures, 27,80 €
August 2007
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.)
SATRIX
Algorithmen für Boolesche Erfüllbarkeit
Algorithmen für Boolesche Erfüllbarkeit
Technische Informatik
ISBN 978-3-8322-6408-6, German, Softcover, 138 pages,
21 x 14,8 cm, 203 g, 18 figures, 27,80 €
August 2007
ISBN 978-3-8322-6408-6, German, Softcover, 138 pages,
21 x 14,8 cm, 203 g, 18 figures, 27,80 €
August 2007
also available as an online publication
|
|
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
Am Langen Graben 15a
52353 Düren
Germany
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
