search result

Cover von A Generic Bet-and-Run Strategy for Speeding Up Stochastic Local Search
article in Thirty-First AAAI Conference on Artificial Intelligence
Search for this author
Year: 2017
Publisher: Menlo Park, AAAI Press
Series: AAAI Conference on Artificial Intelligence; 31. 2017 : article
Media group: ARTICLE
Cover von A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software

Year: 2014
Media group: OASICS
Cover von Automated generic integration of flight logbook data into aircraft maintenance systems

Automated generic integration of flight logbook data into aircraft maintenance systems

Year: 2011
Media group: ARTICLE
Cover von A generic approach to schedulability analysis of real-time systems
Author: Fersman, Elena Search for this author
Year: 2003
Publisher: Uppsala, Universitet
Series: Uppsala dissertations from the faculty of science and technology; 49
Media group: DISSERTATION
Cover von A generic fault-tolerant architecture for real-time dependable systems
Search for this author
Year: 2001
Publisher: Boston, Kluwer
Media group: MONOGRAPHIE
Cover von A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic

A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic

Year: 2024
Media group: LIPIcs
Cover von A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems

A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems

Year: 2019
Media group: OASICS
Cover von Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Search for this author
Year: 2016
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Isabelle
a generic theorem proving
Author: Paulson, Lawrence C. Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 828
Media group: MONOGRAPHIE
Cover von Information algebras
generic structures for inference
Author: Kohlas, Jürg Search for this author
Year: 2003
Publisher: New York, Springer
Series: Discrete mathematics and theoretical computer science
Media group: MONOGRAPHIE
OPEN V 11.1.0.0