search result

Cover von Financial Cryptography and Data Security
FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12063
Media group: MONOGRAPHIE
Cover von General Techniques for Approximate Incidences and Their Application to the Camera Posing Problem

General Techniques for Approximate Incidences and Their Application to the Camera Posing Problem

Year: 2019
Media group: LIPIcs
Cover von Mathematical Foundations of Advanced Informatics

Mathematical Foundations of Advanced Informatics

Steffen, Bernhard; Rüthing, Oliver; Huth, Michael R. A.
2018
Berlin, Springer
Media group: GESAMTWERK
Volumes loading
Cover von Current trends in applied machine intelligence
article
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Informatik Spektrum; 42. 2019, 1 : article
Media group: ARTICLE
Cover von Volume 1.; Inductive Approaches
Author: Steffen, Bernhard; Rüthing, Oliver; Huth, Michael R. A. Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Volume 1.
Media group: MONOGRAPHIE
Cover von A Critical Analysis of the Evaluation Practice in Medical Visualization
Search for this author
Year: 2018
Publisher: HAL Inria
Media group: ARTICLE
Cover von Critical Information Infrastructures Security
13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24 - 26, 2018, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11260
Media group: MONOGRAPHIE
Cover von Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 - 9, 2018, Proceedings
2018
Berlin, Springer
Series: Lecture notes in computer science; 11244/11247
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Modeling
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 11244
Media group: MONOGRAPHIE
Cover von Part IV.; Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 - 9, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part IV.
Series: Lecture notes in computer science; 11247
Media group: MONOGRAPHIE
OPEN V 11.1.0.0