Jasmin Blanchette

Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich. Provided by Wikipedia
1
Automated Reasoning [E-Book] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Other Personal Name(s): “...Blanchette, Jasmin...”

Full text 
Favorites
Saved in:
2
Interactive Theorem Proving [E-Book] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Other Personal Name(s): “...Blanchette, Jasmin Christian...”

Full text 
Favorites
Saved in:
3
Tests and Proofs [E-Book] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
Other Personal Name(s): “...Blanchette, Jasmin Christian....”

Full text 
Favorites
Saved in:
4
C++ GUI Programmierung mit Qt 4 : die offizielle Einführung /
Book
Other Personal Name(s): “...Blanchette, Jasmin...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
5
C++ GUI programming with Qt 4 /
Book
Other Personal Name(s): “...Blanchette, Jasmin....”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
6
C++ GUI Programmierung mit Qt 4 /
Book
Other Personal Name(s): “...Blanchette, Jasmin...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
7
C++ GUI programming with Qt 4 /
Book
Other Personal Name(s): “...Blanchette, Jasmin....”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
8
C++ GUI programming with Qt 3 /
Book
Other Personal Name(s): “...Blanchette, Jasmin....”
Table of Contents 
Loan/Reservation

Favorites
Saved in: