Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In...
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of ...
Kerstin Schneider Horst K. Zimmermann K. Schneider
Highly Sensitive Optical Receivers primarily treats the circuit design of optical receivers with external photodiodes. Continuous-mode and burst-mode receivers are compared. The monograph first summarizes the basics of III/V photodetectors, transistor and noise models, bit-error rate, sensitivity and analog circuit design, thus enabling readers to understand the circuits described in the main part of the book. In order to cover the topic comprehensively, detailed descriptions of receivers for optical data communication in general and, in particular, optical burst-mode...
Highly Sensitive Optical Receivers primarily treats the circuit design of optical receivers with external photodiodes. Continuous-...
Five hundred years after Martin Luther nailed his 95 Theses to the door of Wittenberg Castle Church, this book offers readers a chance to explore his work, his journey of faith and questioning, and his legacy. The first part of the book presents ninety-five precious objects that trace the footsteps of the young monk on his route towards the Reformation. The second part shifts focus from things to people, offering accounts of ninety-five people--composers, artists, filmmakers, and more like Martin Luther King Jr., Astrid Lindgren, Sophie Scholl, Pier Paolo Pasolini, and Edward Snowden, to name...
Five hundred years after Martin Luther nailed his 95 Theses to the door of Wittenberg Castle Church, this book offers readers a chance to explore his ...
