search result

Cover von Binary quadratic forms
an algorithmic approach
Author: Buchmann, Johannes A.; Vollmer, Ulrich Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Algorithms and computation in mathematics; 20
Media group: MONOGRAPHIE
Cover von Special issue on data stream processing; 4
S. 317-403
Search for this author
Year: 2004
Publisher: Heidelberg, Springer
VLDB journal
Count: 4
Media group: SPECIAL ISSUE
Cover von Component-oriented enterprise applications
proceedings of the conference on component-oriented enterprise applications : Erfurt, 20. September 2005
Search for this author
Year: 2005
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 70
Media group: MONOGRAPHIE
Cover von Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns

Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns

article
Year: 2006
Media group: ARTICLE
Cover von Software engineering
principles and practice
Author: Vliet, Johannes C. van Search for this author
Year: 2008
Publisher: New York, Wiley
Media group: MONOGRAPHIE
Cover von Verifying Datalog Reasoning with Lean

Verifying Datalog Reasoning with Lean

Year: 2025
Media group: LIPIcs
Cover von A Verified Cost Model for Call-By-Push-Value

A Verified Cost Model for Call-By-Push-Value

Year: 2025
Media group: LIPIcs
Cover von A Taxonomy of LCP-Array Construction Algorithms

A Taxonomy of LCP-Array Construction Algorithms

Year: 2025
Media group: OASICS
Cover von From Planar via Outerplanar to Outerpath – Engineering NP-Hardness Constructions (Poster Abstract)

From Planar via Outerplanar to Outerpath – Engineering NP-Hardness Constructions (Poster Abstract)

Year: 2024
Media group: LIPIcs
Cover von Fault tolerance through program transformation
Author: Nieuwenhuis, Lambertus Johannes Maria Search for this author
Year: 1991
Publisher: Leidschendam, PTT Research
Media group: DISSERTATION
OPEN V 11.1.0.0