search result

Cover von Knowledge Representation for Health-Care
Data, Processes and Guidelines : AIME 2009 Workshop, Verona, Italy, July 19, 2009, Revised Selected and Invited Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5943
Media group: MONOGRAPHIE
Cover von Knowledge Engineering and Knowledge Management
18th International Conference, EKAW 2012, Galway City, Ireland, October 8 - 12, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 7603
Media group: MONOGRAPHIE
Cover von The Semantic Web

The Semantic Web

Research and Applications : 7th Extended Semantic Web Conference, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings
2010
Berlin, Springer
Series: Lecture notes in computer science; 6088/6089
Media group: GESAMTWERK
Volumes loading
Cover von Data Consistency in Distributed Systems; 2
Algorithms, Programs, and Databases : pp. 101-121
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Theorem proving in higher order logics
17th international conference, Park City, Utah, USA, September 14 - 17, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3223
Media group: MONOGRAPHIE
Cover von Symmetry Classes of Hamiltonian Cycles

Symmetry Classes of Hamiltonian Cycles

Year: 2025
Media group: LIPIcs
Cover von Bicriterial Approximation for the Incremental Prize-Collecting Steiner-Tree Problem

Bicriterial Approximation for the Incremental Prize-Collecting Steiner-Tree Problem

Year: 2024
Media group: LIPIcs
Cover von LoRe

LoRe

A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)
Year: 2023
Media group: LIPIcs
Cover von Partitioning Vectors into Quadruples

Partitioning Vectors into Quadruples

Worst-Case Analysis of a Matching-Based Algorithm
Year: 2018
Media group: LIPIcs
Cover von New Challenges in Parallelism; 11
pp. 1-27
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0