Résultat de la recherche
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
18.10.2010
Livre de poche
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
18.10.2010
Livre de poche
Fr. 188.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
18.10.2010
Livre de poche
Fr. 236.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
Anglais
31.12.1986
Livre Relié
Fr. 160.00
Mathematical Methods of Specification and Synthesis of Software Systems '85
Anglais
01.01.1960
Livre de poche
Fr. 69.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
06.12.2012
Livre Relié
Fr. 238.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
29.01.2013
Livre Relié
Fr. 236.00
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Anglais
06.12.2012
Livre Relié
Fr. 188.00