Suchen

Treffer: 29

• Monographie

  Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

  Christian Hammer

  Buchdetails

• Monographie

  Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

  Martin Mohr

  Buchdetails

• Monographie

  From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

  Daniel Wasserrab

  Buchdetails

• Monographie

  Eine Architektur für Programmsynthese aus natürlicher Sprache

  Mathias Landhäußer

  Buchdetails

• Monographie

  Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache

  Sebastian Weigelt

  Buchdetails

• Monographie

  Specification and verification of object-oriented software components

  Andreas Roth

  Buchdetails

• Sammelband

  Proceedings of the 2022 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory

  Tim Zander, Jürgen Beyerer (eds.)

  Buchdetails

• Sammelband

  Information Management and Market Engineering. Vol. II

  Christof Weinhardt, Rudi Studer, Jan Krämer, Thomas Dreier (eds.)

  Buchdetails

• Sammelband

  SMART - IWRM : Integrated Water Resources Management in the Lower Jordan Rift Valley; Project Report Phase I

  Heinz Hötzl, Leif Wolf (eds.)

  Buchdetails

• Monographie

  Coupled 3D hydrodynamic models for submarine outfalls. Denvironmental hydraulic design and control of multiport diffusers

  Tobias Bleninger

  Buchdetails

• Sammelband

  1st Workshop Proceedings of the Collaborative Project "Crystalline Rock Retention Processes" (7th EC FP CP CROCK)

  Jorge Molinero, Vanessa Montoya, David Garcia, Thomas Rabung (eds.)

  Buchdetails

• Sammelband

  Highly Precise Positioning and Height Determination using GPS : Results of a PROBRAL project by Universidade Federal do Paraná (UFPR, Curitiba, Brazil) and Karlsruhe Institut für Technologie (KIT, Karlsruhe, Germany).

  Claudia P. Krueger, Bernhard Heck, Michael Mayer (eds.)

  Buchdetails

• Sammelband

  Proceedings of the 10th IEA International Workshop on Beryllium Technology, September 19 - 21, 2012, Karlsruhe, Germany

  Jörg Reimann, Pavel Vladimirov (eds.)

  Buchdetails

• Monographie

  Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

  Joachim Breitner

  Buchdetails

• Sammelband

  Proceedings of the 2018 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory

  Jürgen Beyerer, Miro Taphanel (eds.)

  Buchdetails

• Monographie

  Constitutive modeling of amorphous thermoplastic polymers with special emphasis on manufacturing processes

  Philipp Hempel

  Buchdetails

• Sammelband

  Information Management and Market Engineering. [Vol. I]

  Christof Weinhardt, Rudi Studer, Thomas Dreier (eds.)

  Buchdetails

• Monographie

  Results of the commissioning bundle test QUENCH-L0 performed under LOCA conditions. (KIT Scientific Reports 7657). 2., aktualis. Aufl

  M. Walter, M. Steinbrück, C. Rössger, M. Große, J. Stuckert

  Buchdetails

• Monographie

  Results of the commissioning bundle test QUENCH-L0 performed under LOCA conditions. (KIT Scientific Reports 7571)

  M. Walter, M. Steinbrück, C. Rössger, M. Große, J. Stuckert

  Buchdetails

• Monographie

  Test and simulation results of LIVE-L4 + LIVE-L5L.

  T. Wenz, S. Schmidt-Stiefel, B. Fluhrer, J. Foit, T. Cron, A. Miassoedov, X. Gaus-Liu

  Buchdetails

• Sammelband

  Grundwasser - Mensch - Ökosysteme : 25. Tagung der Fachsektion Hydrogeologie in der DGGV 2016, Karlsruher Institut für Technologie (KIT), 13.-17. April 2016

  Ingrid Stober, Tanja Liesch, Jochen Klinger, Ruth Kaufmann-Knoke, Nadine Göppert, Nico Goldscheider, Philipp Blum (eds.)

  Buchdetails

• Monographie

  Optimierung der Investitions- und Einsatzplanung dezentraler Energiesysteme unter Unsicherheit

  Hannes Schwarz

  Buchdetails

• Monographie

  Im Spannungsfeld brutalistischer Strömungen und Liturgischer Bewegung - Bauten der Nachkriegsmoderne von Klaus Franz

  Anette S. Busse

  Buchdetails

• Monographie

  Modellrechnungen zum thermomechanischen Verhalten und zur Verheilung von Steinsalz: BMWi - Verbundprojekt Ergebnisbericht zum Teilprojekt 3 - 02E10840

  Alexandra Pudewills

  Buchdetails

• Sammelband

  Roboter für Assistenzfunktionen : Konzeptstudien für die Interaktion in der Praxis

  Sven Behnke, Pascal Becker, Arne Rönnau (eds.)

  Buchdetails

• Monographie

  Results of the LIVE-L3A Experiment.

  T. Wenz, S. Schmidt-Stiefel, J. Foit, T. Cron, A. Miassoedov, B. Fluhrer, X. Gaus-Liu

  Buchdetails

• Monographie

  Numerische Integration von Satellitenbahnen unter Berücksichtigung der Anisotropie des Gravitationsfeldes der Erde

  Kurt Seitz, Daniel Koenig

  Buchdetails

• Monographie

  Long-Term Interactions of Full-Scale Cemented Waste Simulates with Salt Brines

  Martina Schlieker, Volker Metz, Christoph Borkel, Bernhard Kienzler

  Buchdetails

• Chapter from Forum Bildverarbeitung 2020

  GANG8412

  Fernando Puente León, Philipp Blättner, Frederick Struckmeier

  Buchdetails