search result

Cover von Künstliche Intelligenz in der Forschung
Neue Möglichkeiten und Herausforderungen für die Wissenschaft
Author: Gethmann, Carl Friedrich Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Ethics of Science and Technology Assessment; 48
Media group: MONOGRAPHIE
Cover von Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
Author: Hillmich, Stefan; Wille, Robert Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Synthesis Lectures on Engineering, Science, and Technology
Media group: MONOGRAPHIE
Cover von The Ethics of Biomedical Big Data
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Law, Governance and Technology Series; 29
Media group: MONOGRAPHIE
Cover von Constructing correct software
the basics
Author: Cooke, John Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Formal approaches to computing and information technology : Facit
Media group: MONOGRAPHIE
Cover von Corpus-based methods in language and speech processing
Search for this author
Year: 1997
Publisher: Boston, Kluwer
Series: Text, speech and language technology; 2
Media group: MONOGRAPHIE
Cover von A theory and practice of program development
Author: Andrews, Derek John Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Formal approaches to computing and information technology : FACIT
Media group: MONOGRAPHIE
Cover von The B language and method
a guide to practical formal development
Author: Lano, Kevin Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: FACIT : Formal approaches to computing and information technology
Media group: MONOGRAPHIE
Cover von Formal object-oriented development
Author: Lano, Kevin Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: FACIT : Formal approaches to computing and information technology
Media group: MONOGRAPHIE
Cover von On the refinement calculus
Search for this author
Year: 1995
Publisher: London, Springer
Series: FACIT : Formal approaches to computing and information technology
Media group: MONOGRAPHIE
Cover von Notations for software design
Author: Feijs, Loe M.; Jonkers, Hans B.; Middelburg, Cornelis A. Search for this author
Year: 1994
Publisher: London, Springer
Series: FACIT : Formal approaches to computing and information technology
Media group: MONOGRAPHIE
OPEN V 11.1.0.0