Hakutulokset: Kirjoja kirjailijalta Steffen Heinrich
yhteensä 12 hakutulosta
Composing Model-Based Analysis Tools
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the …
Planning Universal On-Road Driving Strategies for Automated Vehicles
Steffen Heinrich describes a motion planning system for automated vehicles. The planning method is universally applicable to on-road scenarios and does not depend on a high-level …
Modeling and Simulating Software Architectures
A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states.Too often, …
Ny Jord 3-4
Ny Jord – Tidsskrift for naturkritik er et multidisciplinært tidsskrift, der orienterer sig på tværs af århundreder og landegrænser og bringer videnskab, litteratur og kunst side …
Modeling and Simulating Software Architectures
A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states.Too often, …
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in …
Planning Universal On-Road Driving Strategies for Automated Vehicles
Steffen Heinrich describes a motion planning system for automated vehicles. The planning method is universally applicable to on-road scenarios and does not depend on a high-level …
Kirche[n]gestalten
Der Sammelband zielt auf den Wechselschritt zweier zu unterscheidender, aber nicht zu trennender Aspekte kirchlicher Selbstgestaltung: Denn es geht zum einen um die Frage nach den …
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in …
Governance-Regime des Transfers von Bildung für nachhaltige Entwicklung
Der Band dokumentiert die Ergebnisse eines vom Bundesministerium für Bildung und Forschung geförderten Verbundprojekts. Am Beispiel des Konzepts ‚Bildung für nachhaltige …
Composing Model-Based Analysis Tools
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the …
Governance-Regime des Transfers von Bildung für nachhaltige Entwicklung
Der Band dokumentiert die Ergebnisse eines vom Bundesministerium für Bildung und Forschung geförderten Verbundprojekts. Am Beispiel des Konzepts ‚Bildung für nachhaltige …