Klaus Schneider – författare
Visar alla böcker från författaren Klaus Schneider. Handla med fri frakt och snabb leverans.
15 produkter
Verification of Reactive Systems
Formal Methods and Algorithms
Inbunden, 2003
569 kr
Lägg i varukorg
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 …
Curiosity and Exploration
Av Heidi Keller, Klaus Schneider m. fl.
Häftad, 1994
537 kr
Lägg i varukorg
Exploration and play behaviour form the subject of thisbook, in which a wide range of research activities, boththeoretical and practical, are presented from variousfields. In particular, the emphasis on applications (forexample, in the development of software) demonstrates theintegrated approach to …
Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Av Klaus Schneider, Jens Brandt
Häftad, 2007
569 kr
Lägg i varukorg
This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, …
Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Av Jens Brandt, Klaus Schneider
E-bok, 2007
755 kr
Lägg i varukorg
Brandschutz-, Hilfeleistungs-, Katastrophenschutzgesetz Nordrhein-Westfalen
Häftad, 2016
503 kr
Lägg i varukorg
Brandschutz-, Hilfeleistungs-, Katastrophenschutzgesetz Nordrhein-Westfalen
E-bok, 2016
413 kr
Lägg i varukorg
Das neue Gesetz über den Brandschutz, die Hilfeleistung und den Katastrophenschutz ( BHKG NRW ) ist eine umfassende Weiterentwicklung des bisherigen Gesetzes über den Feuerschutz und die Hilfeleistung ( FSHG ) unter Einbeziehung des Katastrophenschutzes. Da die Bürger sich nicht vor allen denkbaren …
Landesverordnung Freiwillige Feuerwehr Nordrhein-Westfalen
Kommentar für die Praxis
E-bok, 2018
264 kr
Lägg i varukorg
Der Verordnungsgeber in Nordrhein-Westfalen hat am 26.5.2017 eine neue Verordnung über die Laufbahn in der Freiwilligen Feuerwehr als "Landesverordnung Freiwillige Feuerwehr NRW" beschlossen und verkündet. Damit tritt die bisherige "Verordnung über die Laufbahn der ehrenamtlichen Angehörigen der …
Landesverordnung Freiwillige Feuerwehr Nordrhein-Westfalen
Kommentar für die Praxis
E-bok, 2018
270 kr
Lägg i varukorg
Der Verordnungsgeber in Nordrhein-Westfalen hat am 26.5.2017 eine neue Verordnung über die Laufbahn in der Freiwilligen Feuerwehr als "Landesverordnung Freiwillige Feuerwehr NRW" beschlossen und verkündet. Damit tritt die bisherige "Verordnung über die Laufbahn der ehrenamtlichen Angehörigen der …
Verification of Reactive Systems
Formal Methods and Algorithms
Häftad, 2010
569 kr
Lägg i varukorg
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 …
Curiosity and Exploration
Av Bruce Henderson, Klaus Schneider m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
Exploration and play behaviour form the subject of thisbook, in which a wide range of research activities, boththeoretical and practical, are presented from variousfields. In particular, the emphasis on applications (forexample, in the development of software) demonstrates theintegrated approach to …
Verification of Reactive Systems
Formal Methods and Algorithms
E-bok, 2013
739 kr
Lägg i varukorg
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 …
Lexikon Programmusik / Lexikon Programmusik, Band 1
Stoffe und Motive der Instrumentalmusik vom 16. Jahrhundert bis zur Gegenwart
E-bok, 2017
708 kr
Lägg i varukorg
Instrumentalmusik kann als absolute Musik sich selbst genügen. Sie kann aber auch etwas "darstellen", z. B. den Verlauf eines Flusses (Smetana: Die Moldau), ein Kind beim Einschlummern (Schumann: Kinderszenen) oder dramatische Ereignisse an der Frankfurter Börse (Telemann: Ouverture "La Bourse"). …
Lexikon Programmusik / Lexikon Programmusik, Band 2
Figuren und Personen
E-bok, 2017
610 kr
Lägg i varukorg
Aaron, Faust, Don Quijote, Orpheus, Salome, Luther, Casanova, Napoleon, John F. Kennedy ... und mehr als 1500 Figuren in 6300 Werken der programmatischen Instrumentalmusik auffindbar gemacht in diesem ungewöhnlichen Lexikon. Der 2. Band des "Lexikons Programmmusik" enthält Verweise auf rund 6300 …
Memento mori
Niemand ist vor seinem Ende glücklich
E-bok, 2013
83 kr
Lägg i varukorg
Das Buch beschreibt eine Existenz, die bereits zu Beginn morbide Züge aufzeigt. Dies führt zu einem rastlosen, gehetzten Leben, voller Angst und Zweifel. Ein Junge, durch eine Veranlagung in die Rolle eines Außenseiters gedrängt, versteht erst nach Jahrzehnten, als erwachsener Mensch, sich, seine …
