search result

Cover von Curves and surfaces for CAGD
a practical guide
Author: Farin, Gerald Search for this author
Year: 2002
Publisher: San Francisco, Morgan Kaufmann
Series: Morgan Kaufmann series in computer graphics and geometric modeling
Media group: MONOGRAPHIE
Cover von Advanced RenderMan
creating CGO for motion pictures
Author: Apodaca, Anthony A.; Gritz, Larry Search for this author
Year: 2000
Publisher: San Francisco, Morgan Kaufmann
Series: Morgan Kaufmann series in computer graphics and geometric modeling
Media group: MONOGRAPHIE
Cover von Talking to the semantic web
natural language query interfaces for casual end-users
Author: Kaufmann, Esther A. Search for this author
Year: 2007
Publisher: Zurich, Universität
Media group: DISSERTATION
Cover von Guess and Prove

Guess and Prove

A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification
Year: 2025
Media group: LIPIcs
Cover von EDIS
eine objektorientierte Software-Architektur für graphische Editoren
Author: Kaufmann, Hermann-Josef Search for this author
Year: 1993
Publisher: Paderborn, Universität
Media group: DISSERTATION
Cover von Fuzzy mathematical models in engineering and management science
Author: Kaufmann, Arnold; Gupta, Madan M. Search for this author
Year: 1991
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Formalizing the dynamics of information
Search for this author
Year: 2000
Publisher: Stanford, Center for the Study of Language and Information
Series: CSLI lecture notes series; 91
Media group: MONOGRAPHIE
Cover von Adapting hardware systems by means of multi-objective evolution
Author: Kaufmann, Paul Search for this author
Year: 2013
Publisher: Paderborn, Universität
Media group: DISSERTATION
Cover von Computer-Aided Reasoning
ACL2 Case Studies
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Advances in formal methods; 4
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
First International Conference, Edinburgh, UK, July 11 - 14, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6172
Media group: MONOGRAPHIE
OPEN V 11.1.0.0