Trefferliste "Arie Gurfinkel" - alle Bücher und LPs

Ihre Suche nach "Arie Gurfinkel" (Bücher und LPs) ergab 7 Treffer.

Ansicht:

Computer Aided Verification

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24¿27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24¿27, 2024.The p…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24¿27, 2024.The p…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Squarepusher
Feed Me Weird Things (remastered) (Limited 25th Anniversary Edition) (Clear Vinyl)

Die komplette Reissue wurde von Original-DATs remastered und enthält 2 rare Bonustracks der japanischen Originalpressung sowie ein 16-seitiges Booklet mit persönlichen Fotos, Ephemera und Notizen. Wie der…

lieferbar innerhalb 1-2 Wochen
2 LPs, Single 10"
 
Aktueller Preis: EUR 44,99
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.