search result

Cover von Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16040
Media group: MONOGRAPHIE
Cover von Scar

Scar

Verification-Based Development of Smart Contracts (Tool Paper)
Year: 2025
Media group: OASICS
Cover von A Practical Notion of Liveness in Smart Contract Applications

A Practical Notion of Liveness in Smart Contract Applications

Year: 2024
Media group: OASICS
Cover von Types for proofs and programs
international workshop : Kloster Irsee, Germany, March 27 - 31, 1998 : selected papers
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1657
Media group: MONOGRAPHIE
Cover von Requirements targeting software and systems engineering
international workshop : Bernried, Germany, October 12 - 14, 1997 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1526
Media group: MONOGRAPHIE
Cover von First-order knowledge discovery in databases
special issue
Search for this author
Year: 1998
Publisher: London, Hemisphere
Series: Applied artificial intelligence : 12. 1998, 5
Media group: SPECIAL ISSUE
Cover von Semantics in databases
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1358
Media group: MONOGRAPHIE
Cover von Übungen zur Einführung in die Informatik
strukturierte Aufgabensammlung mit Musterlösungen
Author: Broy, Manfred; Rumpe, Bernhard Search for this author
Year: 1997
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Databases and information systems

Databases and information systems

proceedings of the second international Baltic workshop, Tallinn, June 12 - 14, 1996
1996
Tallinn, Institute of Cybernetics
Media group: GESAMTWERK
Volumes loading
Cover von Universal algebra and its links with logic, algebra, combinatorics and computer science
Proceedings of the 25. Arbeitstagung über allgemeine Algebra, Darmstadt 1983
Search for this author
Year: 1984
Publisher: Berlin, Heldermann
Series: Research and exposition in mathematics; 4
Media group: MONOGRAPHIE
OPEN V 11.1.0.0