Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10) - Taschenbuch
1992, ISBN: 9780444896865
Netherlands: Philips / Iliffe Books. Very Good with no dust jacket. 1965. UK First. Soft Board. Browning to cover. Internally clean, tight and bright with no marks or inscriptions. Illus… Mehr…
gbr, usa | Biblio.co.uk |
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract: ... A, Computer Science and Technology, A-10) - Taschenbuch
1992, ISBN: 9780444896865
Elsevier Science Ltd, Taschenbuch, 360 Seiten, Publiziert: 1992-06-01T00:00:01Z, Produktgruppe: Buch, 0.51 kg, Verkaufsrang: 18223, Informatik, IT-Ausbildung & -Berufe, Computer & Interne… Mehr…
amazon.de Zubal Books Inc. Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract . a, Computer Science and Technology, a-10) - Taschenbuch
1992, ISBN: 0444896864
[EAN: 9780444896865], Gebraucht, sehr guter Zustand, [PU: North-Holland June 1992], Initials inside front cover. Otherwise like new. All Orders Shipped With Tracking And Delivery Confirma… Mehr…
AbeBooks.de Colorado's Used Book Store, Englewood, CO, U.S.A. [7865742] [Rating: 4 (von 5)] NOT NEW BOOK. Versandkosten: EUR 31.43 Details... |
Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10 - Taschenbuch
1992, ISBN: 9780444896865
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 7 (weekend sale item)* 360 pp., softcover, ex library, else textually clean & tight. - If you are … Mehr…
Biblio.co.uk |
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... a, Computer Science and Technology, a-10) - Taschenbuch
1992, ISBN: 9780444896865
North-Holland, June 1992. Trade Paperback . Very Good. Initials inside front cover. Otherwise like new. All Orders Shipped With Tracking And Delivery Confirmation Numbers., North-Holla… Mehr…
Biblio.co.uk |
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10) - Taschenbuch
1992, ISBN: 9780444896865
Netherlands: Philips / Iliffe Books. Very Good with no dust jacket. 1965. UK First. Soft Board. Browning to cover. Internally clean, tight and bright with no marks or inscriptions. Illus… Mehr…
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands), Melham, T. F. Stavridou, V.:
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract: ... A, Computer Science and Technology, A-10) - Taschenbuch1992, ISBN: 9780444896865
Elsevier Science Ltd, Taschenbuch, 360 Seiten, Publiziert: 1992-06-01T00:00:01Z, Produktgruppe: Buch, 0.51 kg, Verkaufsrang: 18223, Informatik, IT-Ausbildung & -Berufe, Computer & Interne… Mehr…
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract . a, Computer Science and Technology, a-10) - Taschenbuch
1992
ISBN: 0444896864
[EAN: 9780444896865], Gebraucht, sehr guter Zustand, [PU: North-Holland June 1992], Initials inside front cover. Otherwise like new. All Orders Shipped With Tracking And Delivery Confirma… Mehr…
Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10 - Taschenbuch
1992, ISBN: 9780444896865
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 7 (weekend sale item)* 360 pp., softcover, ex library, else textually clean & tight. - If you are … Mehr…
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... a, Computer Science and Technology, a-10) - Taschenbuch
1992, ISBN: 9780444896865
North-Holland, June 1992. Trade Paperback . Very Good. Initials inside front cover. Otherwise like new. All Orders Shipped With Tracking And Delivery Confirmation Numbers., North-Holla… Mehr…
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract: ... A, Computer Science and Technology, A-10)
EAN (ISBN-13): 9780444896865
ISBN (ISBN-10): 0444896864
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Boute, R. T. Elsevier Science Ltd
Buch in der Datenbank seit 2008-07-02T17:25:27+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-08-06T17:57:40+02:00 (Zurich)
ISBN/EAN: 9780444896865
ISBN - alternative Schreibweisen:
0-444-89686-4, 978-0-444-89686-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: design conference international, design from the netherlands, circuit design
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030414061 Semantic Technology: 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Proceedings Xin Wang Editor (Xin Wang; Francesca Alessandra Lisi; Guohui Xiao; Elena Botoeva)
- 9783030414061 Semantic Technology: 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Proceedings Xin Wang Editor (Xin Wang; Francesca Alessandra Lisi; Guohui Xiao; Elena Botoeva)
- 9783030414078 Semantic Technology (Xin Wang; Francesca Alessandra Lisi; Guohui Xiao; Elena Botoeva)
- 9780889863491 Proceedings of the IASTED International Conference on Computer Science and Technology: May 19-21, 2003 Cancun, Mexico (S. Sahni)
- 9780756725594 Eleventh International Conference on Computer Technology in Welding: Proceedings (Thomas A. Siewert, C. Pollock)
- 9780756733995 Ninth International Conference on Computer Technology in Welding: Proceedings (T. Siewert (ed); C. Pollock (ed))
< zum Archiv...