Resettare Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 18.10.2010 Tascabile Fr. 236.00 1-2 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 18.10.2010 Tascabile Fr. 188.00 1-2 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 18.10.2010 Tascabile Fr. 236.00 1-2 settimane (il titolo viene stampato sull'ordine)
Wolfgang Bibel, Klaus P. Jantke - Mathematical Methods of Specification and Synthesis of Software Systems '85
Wolfgang Bibel, Klaus P. Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85 Inglese 31.12.1986 Copertina rigida Fr. 160.00 3-5 settimane
Wolfgang Bibel - Automated Theorem Proving
Wolfgang Bibel Automated Theorem Proving Inglese 01.01.1987 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
Wolfgan Bibel, Wolfgang Bibel - Fundamentals of Artificial Intelligence
Wolfgan Bibel, Wolfgang Bibel Fundamentals of Artificial Intelligence Inglese 22.04.2014 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, KOWALSKI, Kowalski, R. Kowalski - 5th Conference on Automated Deduction
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, KOWALSKI, Kowalski, R. Kowalski 5th Conference on Automated Deduction Inglese 01.01.1960 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Wolfgan Bibel, Wolfgang Bibel, Klaus P Jantke, Klaus P. Jantke, P Jantke, P Jantke - Mathematical Methods of Specification and Synthesis of Software Systems '85
Wolfgan Bibel, Wolfgang Bibel, Klaus P Jantke, Klaus P. Jantke, P Jantke, P Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85 Inglese 01.01.1960 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Wolfgan Bibel, Wolfgang Bibel, A Biermann, A W Biermann, A. W. Biermann, A.W. Biermann... - Fundamentals of Artificial Intelligence
Wolfgan Bibel, Wolfgang Bibel, A Biermann, A W Biermann, A. W. Biermann, A.W. Biermann... Fundamentals of Artificial Intelligence Inglese 29.06.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Ernst A. Heinz, Wolfgang Bibel, Rudolf Kruse - Scalable Search in Computer Chess
Ernst A. Heinz, Wolfgang Bibel, Rudolf Kruse Scalable Search in Computer Chess Inglese 14.12.1999 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 06.12.2012 Copertina rigida Fr. 238.00 2-3 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 29.01.2013 Copertina rigida Fr. 236.00 2-3 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Inglese 06.12.2012 Copertina rigida Fr. 188.00 2-3 settimane (il titolo viene stampato sull'ordine)
W. Bibel, Wolfgang Bibel, P. H. Schmitt, P.H. Schmitt, Peter H. Schmitt - Automated Deduction, 3 Vols.
W. Bibel, Wolfgang Bibel, P. H. Schmitt, P.H. Schmitt, Peter H. Schmitt Automated Deduction, 3 Vols. Inglese 01.03.2013 Libro Fr. 552.00 min. 4 settimane (il titolo viene procurato in modo speciale)
Axe Angeli, Axel Angeli, Robi Gonfalonieri, Ulric Streit, Ulrich Streit, Wolfgan Bibel... - The SAP R/3® Guide to EDI and Interfaces
Axe Angeli, Axel Angeli, Robi Gonfalonieri, Ulric Streit, Ulrich Streit, Wolfgan Bibel... The SAP R/3® Guide to EDI and Interfaces Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel, Rudolf Kruse - The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel, Rudolf Kruse The Efficiency of Theorem Proving Strategies Inglese 28.10.1999 Tascabile Fr. 70.00 6-7 settimane