Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
3 Products
3 Products Page
of 1
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics Theoretical Computer Science and General Issues
Stefan Berghofer
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Interactive Theorem Proving
Interactive Theorem Proving
ITP
Paperback
£44.99
Print on demand - Usually dispatched within 7-10 days
Experimentelle Analyse, Modellierung und Berechnung von kondensationsinduzierten Druckstößen
Experimentelle Analyse, Modellierung und Berechnung von kondensationsinduzierten Druckstößen
Christian Urban
Paperback
£44.89
Print on demand - Usually dispatched within 7-10 days