search result

Cover von Differential Privacy in Artificial Intelligence: From, Theory to Practice
Search for this author
Year: 2025
Publisher: Bingley, Emerald Publishing Limited
Media group: OPENACCESS
Cover von A Survey of Relaxations and Approximations of the Power Flow Equations
Author: Molzahn, Daniel K.; Hiskens, Ian A. Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Media group: OPENACCESS
Cover von Behavioral Types in Programming Languages
Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2026, 2-3
Media group: MONOGRAPHIE
Cover von Active Object Languages: Current Research Trends
Current Research Trends
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14360
Media group: MONOGRAPHIE
Cover von Principles and practice of constraint programming
Search for this author
Year: 1995
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von Static analysis
4th international symposium : Paris, France, September 8 - 10, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1302
Media group: MONOGRAPHIE
Cover von Theoretische Informatik
eine problemorientierte Einführung
Author: Sperschneider, Volker; Hammer, Barbara Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Springer-Lehrbuch
Media group: MONOGRAPHIE
Cover von Constraint satisfaction in logic progamming
Author: Hentenryck, Pascal van Search for this author
Year: 1989
Publisher: Cambridge, MIT Pr.
Series: Logic programming
Media group: MONOGRAPHIE
Cover von The Logic of Software
A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 13360
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13241
Media group: MONOGRAPHIE
OPEN V 11.1.0.0