dierks henning (14 resultados)

Hardback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Broschiert; Condición: Gut. 62 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Insgesamt ordentlicher Erhaltungszustand; Sprache: Deutsch Gewicht in Gramm: 100.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: Wie Neu. Zustandsbeschreibung: leichte Lagerspuren/minor shelfwear. Dynamics of Intellectual Exchange from the Fifteenth to the Early Twentieth Century. Edited by Evelin Dierauff, Dennis Dierks, Barbara Henning, Taisiya Leber and Ani Sargsyan. The volume investigates flows of knowledge that transcended social, cultural, linguistic and political boundaries. Dealing with different sources such as dictionaries, early printed books, political advice literature, and modern periodicals, the case studies in this anthology cover a time frame from the 15th to the early 20th century. Being concerned with a wide variety of geographical areas, including the Ottoman capital Istanbul, provincial settings like Ottoman Palestine, and also Egypt, Bosnia, Crimea, the Persian realm and Poland-Lithuania, this volume gives transepochal and transregional insights in the production, transmission, and translation of knowledge. In so doing it contributes to current debates in transcultural studies, global history, and the history of knowledge. 286 Seiten mit 9 Abb., gebunden (Transottomanica; Band 5/V&R unipress 2021). Statt EUR 45,00. Gewicht: 537 g - Gebunden/Gebundene Ausgabe.

Condición: New.

Condición: New.

Hardcover. Condición: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condición: New. In.

Hardcover. Condición: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Retracing processes of knowledge mobility at the crossroads between Eastern Europe and the Middle East, this book helps to discover unexpected connections between spaces, time periods and discourses.Understanding flows of knowledge in a transcultural sett.

Hardcover. Condición: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand.

Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, time.

Hardcover. Condición: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Hardcover. Condición: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.