development  (42.731 Angebote unter 30.859.471 Artikeln)

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, is an ind...

In dem Vierteljahrhundert seit dem Ende der DDR ist auch über den Protestantismus in der DDR viel geschrieben worden. Im Zuge dessen ist es zu ganz unterschiedlichen Einschätzungen gekommen. Sie re...

This volume provides updates and informs the reader about the development of the current empirical research on the flow experience. It opens up some new research questions at the frontiers of the f...

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks wer...

Politisch steht unsere Welt am Scheideweg: Die eine Hälfte der Menschheit lebt aktuell in Demokratien, die andere in Autokratien oder failed states. Der Systemkonflikt wird nicht mehr zwischen link...

Der »Sommer der Migration« 2015 transformierte die europäische Migrationspolitik. Judith Kopp analysiert anhand des Fluchtursachen-Diskurses, wie gesellschaftliche Akteur*innen strategisch darum ri...

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, forma...

French Urbanism in Foreign Lands

In his thesis Jonas Hannestad describes the evolving field of DNA nanotechnology in a lucid and easily accessible way. A central theme in the thesis is how biological structures and mechanisms cons...

This book provides the state-of-the-art development on security and privacy for fog/edge computing, together with their system architectural support and applications. This book is organized into fi...

Optical frequency measurement is an extremely challenging field of experimental physics which is presently undergoing a renaissance driven by the needs of modern high density optical communication ...

The application of fluorescence in drug discovery, high-throughout screenings in genomics and proteomics is and will be evidently successful. The increased use of fluorescence techniques is greatly...

34 Fragen, die mich nachts wachhalten. Limitierte Erstauflage mit Farbschnitt!

Praxisideen zur nachhaltigen Wertebildung

.For there to be progress in science, there must first be communication between experts of different disciplines. This is particularly true of modern biology which is becoming more and more of an i...