| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
| | Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
(Buch) Sprache: English
Veröffentlichung: August 2026 (Vorankündigung)
Einband: Kartoniert | SFr. 55.90
vorbestellen |
 | Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-2
(Buch) Sprache: English
Veröffentlichung: August 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | HANDBOOK OF SATISFIABILITY: Second Edition
(Buch) Sprache: English
Veröffentlichung: Mai 2021
(Auf Bestellung)
Einband: Gebunden | SFr. 389.00
bestellen |
 | Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revise
(Buch) Sprache: English
Veröffentlichung: Juli 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 66.00
bestellen |
 | Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Confe
(Buch) Sprache: English
Veröffentlichung: April 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 55.90
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Confe
(Buch) Sprache: English
Veröffentlichung: April 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 55.90
bestellen |
| Autor von: |
 | Digitaltechnik - Eine praxisnahe Einführung
(Buch) Sprache: Deutsch
Veröffentlichung: Februar 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 40.90
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
