Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 2 from your keywords: author=Große, Daniel
cover
Recent Findings in Boolean Techniques
Comment Share
Drechsler, RolfGroße, Daniel

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.

Edition
-
ISBN/ISSN
978-3-030-68071-8
Collation
vii, 197p.:Ill
Series Title
-
Call Number
511.324 Rec
cover
Languages, Design Methods, and Tools for Electronic System Design
Comment Share
Große, DanielVinco, SaraPatel, Hiren

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verific…

Edition
1
ISBN/ISSN
978-3-030-02215-0
Collation
VII, 130p.:Ill
Series Title
Lecture Notes in Electrical Engineering
Call Number
621.381 5 Lan