Saeed Nejati - Bücher - alle Infos bei Yasni.de

(1 - 4 von 5

)

Online Judge

onlinejudge.org

Online Judge

Principles and Practice of Constraint Programming: 24th International...

books.google.is

This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille,...

Theory and Applications of Satisfiability Testing – SAT 2017: 20th ...

books.google.is

251 Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine Gebotys, Pascal Poupart, and Vijay Ganesh Quantified Boolean Formulas Shortening ...

Verified Software. Theories, Tools, and Experiments: 9th...

books.google.is

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and...

Verwandte Suchanfragen zu Saeed Nejati

Personen
Vorname "Saeed" (649)
Name "Nejati" (51)

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 Saeed Nejati

Online Judge

Principles and Practice of Constraint Programming: 24th International...

Theory and Applications of Satisfiability Testing – SAT 2017: 20th ...

Verified Software. Theories, Tools, and Experiments: 9th...