Wolfgang Bibel – författare
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
2 789 kr
Skickas inom 10-15 vardagar
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
2 789 kr
Skickas inom 10-15 vardagar
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
2 159 kr
Skickas inom 10-15 vardagar
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
2 599 kr
Skickas inom 5-8 vardagar
1 049 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
659 kr
Skickas inom 10-15 vardagar
659 kr
Skickas inom 5-8 vardagar
729 kr
Skickas inom 10-15 vardagar
789 kr
Skickas inom 10-15 vardagar
659 kr
Skickas inom 5-8 vardagar
599 kr
Skickas inom 5-8 vardagar
599 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 5-8 vardagar
1 439 kr
Skickas inom 5-8 vardagar
729 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
599 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
749 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
789 kr
Skickas inom 10-15 vardagar
2 789 kr
Skickas inom 10-15 vardagar
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
2 789 kr
Skickas inom 10-15 vardagar