Dalibor Topic - Bücher - alle Infos bei Yasni.de

(1 - 5 von 6

)

Dalibor Topic | Oracle Blogs

blogs.oracle.com

Dalibor Topic. Principal Product Manager. Dalibor Topić lives in Hamburg, Germany, and works as principal product manager for Oracle. He joined the OpenJDK project in order to help make it a successful open source project, and stayed for anchoring Java in Linux distributions, and as an all around Java F/OSS community guy.

Automated Deduction - CADE-16: 16th International Conference ...google.it

books.google.it

... , Christian Theobalt, and Dalibor Topic K K : A Theorem Prover for K Andrei Voronkov System Description: CYNTHIA ...

Automated Deduction - CADE-21: 21st International Conference ...google.it

books.google.it

... Dalibor Topic Author Index Games, Automata and Matching Colin Stirling School of Informatics ...

Dunkelkinder: Thriller - Google Books-Ergebnisseitegoogle.it

books.google.it

... Dalibor Topic. Außerdem standen mir für dieses Buch wieder die Vietnam-Experten Kirsten Endres, Ngo Thi Bich Thu, Martin Großheim und Christian Oster mit ...

Recent Trends in Algebraic Development Techniques: 18th ...google.it

books.google.it

... Dalibor Topic. The central feature shortening the search space is the selection of axioms and proved goals that are included in the theory sent to the ATP ...

Verwandte Suchanfragen zu Dalibor Topic

Person "Topic" (1)
Vorname "Dalibor" (730)
Name "Topic" (196)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Dalibor Topic

Dalibor Topic | Oracle Blogs

Automated Deduction - CADE-16: 16th International Conference ...google.it

Automated Deduction - CADE-21: 21st International Conference ...google.it

Dunkelkinder: Thriller - Google Books-Ergebnisseitegoogle.it

Recent Trends in Algebraic Development Techniques: 18th ...google.it