Suchen

Treffer: 26

• Monographie

  A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

  Andreas Lochbihler

  Buchdetails

• Monographie

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

  Daniel Wasserrab

  Buchdetails

• Monographie

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

  Joachim Breitner

  Buchdetails

• Monographie

  Relational exploration. Combining description logics and formal concept analysis for knowledge specification

  Sebastian Rudolph

  Buchdetails

• Monographie

  Specification and verification of object-oriented software components

  Andreas Roth

  Buchdetails

• Monographie

  Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

  Fouad ben Nasr Omri

  Buchdetails

• Monographie

  Raumplanung in Deutschland - Formeller Aufbau und zukünftige Aufgaben. Spatial planning in Germany - Formal structure and future tasks

  Bernd Scholl, Hany Elgendy, Markus Nollert

  Buchdetails

• Monographie

  Global integrability of field theories. Proceedings of GIFT 2006, Cockcroft Institute, Daresbury (UK), November 1-3, 2006

  R.W. Tucker, W.M. Seiler, Jacques Calmet

  Buchdetails

• Monographie

  Innovative tools and design strategies. The case of Eclectic Architecture in Buenos Aires

  Federico Andrés Garrido

  Buchdetails

• Monographie

  An Access Definition and Query Language : Towards a Unified Access Control Model

  Andreas Sonnenbichler

  Buchdetails

• Monographie

  Ontologie-basierte Monosemierung

  Joachim Kleb

  Buchdetails

• Monographie

  Towards automated restructuring of object oriented systems

  Adrian Ioan Alexandru Trifu

  Buchdetails

• Monographie

  Knowledge-Driven Harmonization of Sensor Observations: Exploiting Linked Open Data for IoT Data Streams

  Matthias T. Frank

  Buchdetails

• Monographie

  Steuerungssysteme anthropomorpher Roboterhände für humanoide Roboter

  Dirk Osswald

  Buchdetails

• Monographie

  Verification-based software-fault detection

  Christoph David Gladisch

  Buchdetails

• Monographie

  Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

  Benjamin Weiß

  Buchdetails

• Monographie

  Anonymous Point Collection - Improved Models and Security Definitions

  Matthias Nagel

  Buchdetails

• Monographie

  View-based textual modelling

  Thomas Goldschmidt

  Buchdetails

• Monographie

  Musterbasierte Kontrollflusssemantik für Geschäftsprozessmodellierungssprachen

  Andreas Drescher

  Buchdetails

• Monographie

  Adaptivität und semantische Interoperabilität von Manufacturing Execution Systemen (MES)

  Miriam Schleipen

  Buchdetails

• Monographie

  Identifikation des menschlichen Bewegungsverhaltens auf der Basis von Primitiven

  Gunter Diehm

  Buchdetails

• Monographie

  Kooperative Regelungskonzepte auf Basis der Spieltheorie und deren Anwendung auf Fahrerassistenzsysteme

  Michael Flad

  Buchdetails

• Monographie

  Vacuum gas carburizing - fate of hydrocarbons

  Rafi Ullah Khan

  Buchdetails

• Chapter from Proceedings – 32. Workshop Computational Intelligence: Berlin, 1. – 2. Dezember 2022

  Comparison between Pole Region Designand Model Reference Control forMultivariable TS Fuzzy Systems

  Horst Schulte

  Buchdetails

• Chapter from Forum Bildverarbeitung 2024

  The future of machine vision: AI software designed with users in mind

  Katrin Götzer, Henning Frechen, Jonas Meier, Markus Schatzl

  Buchdetails

• Chapter from Proceedings – 30. Workshop Computational Intelligence : Berlin, 26. – 27. November 2020

  Application of various balancing methods to DCNN regarding acoustic data

  Andreas Wenzel, Maria Schweigel, Manuel Schneider, Dominic Schneider

  Buchdetails