Ihre Suche nach "SMT solving" ergab 195 Treffer

Ansicht:
: Tools and Algorithms for the Construction and Analysis of Systems, Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science -Band 14571

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Tools and Algorithms for the Construction and Analysis of Systems, Buch

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science -Band 14570

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
U2: Songs Of Innocence  (Limited Deluxe Edition), CD,CD

U2
Songs Of Innocence (Limited Deluxe Edition)

»Songs Of Innocence«: U2 auf autobiografischen Pfaden Der PR-Coup für »Songs Of Innocence« ist U2 auf jeden Fall gelungen: Die Band trat bei der Produktpräsentation von Apple Anfang September 2014 auf, …

umgehend lieferbar, Bestand beim Lieferanten vorhanden
2 CDs
 
EUR 22,99*
Kiefer Sutherland: Reckless & Me, LP

Kiefer Sutherland
Reckless & Me

»Reckless & Me«, das zweite Album von Kiefer Sutherland nach seinem von der Kritik hochgelobten 2016er Debüt »Down In The Hole«, erscheint auf BMG. Das 10-Song-Album, wieder produziert von Kiefers musikal…

LP
Hiatus Kaiyote: Mood Valiant (Deluxe Edition) (Glow In The Dark Vinyl), LP

Hiatus Kaiyote
Mood Valiant (Deluxe Edition) (Glow In The Dark Vinyl)

Die bereits zweimal für den Grammy nominierte Gruppe Hiatus Kaiyote aus Melbourne meldet sich zurück und kündigt ihr neues Album Mood Valiant an. Bestehend aus Naomi "Nai Palm" Saalfield (Gitarre, Gesang)…

lieferbar innerhalb 1-2 Wochen
LP
 
EUR 34,99*
Bob Dylan: The Complete Budokan 1978 (Limited Deluxe Edition Box Set), LP,LP,LP,LP,LP,LP,LP,LP

Bob Dylan
The Complete Budokan 1978 (Limited Deluxe Edition Box Set)

Das volle Programm Nach 45 Jahren werden nun endlich die gesamten Aufnahmen von Bob Dylans gefeierten Japan-Konzerten als »The Complete Budokan 1978« veröffentlicht. Damals startete der Singer-Songwrit…

8 LPs
Udo Lindenberg: Live (Deluxe Box), CD,CD,CD,CD,CD,CD
-14%

Udo Lindenberg
Live (Deluxe Box)

Wann genau dieser historische Moment war, an dem das Panikorchester zum ersten Mal aufspielte, weiß heute niemand konkret zu sagen. Steffi Stephan, einer der Mitbegründer, meinte einmal in einem Interview…

Artikel am Lager
EUR 49,99**
6 CDs
 
EUR 42,99*
The Outlaws (Southern Rock): Dixie Highway (Colored Vinyl), LP,LP

The Outlaws
Dixie Highway (Colored Vinyl)

Ursprünglich verband der Dixie Highway – die erste wichtige Durchgangsstraße zwischen dem Mittleren Westen und dem Süden Amerikas – die Städte Chicago und Miami, bevor er in den späten 1920er Jahren durch…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
2 LPs
 
EUR 34,99*
Eagles: Desperado, CD

Eagles
Desperado

Heute vor 45 Jahren brachten die Eagles ihr zweites Album heraus, und obwohl es sich nicht gerade an die Spitze der Charts schwang, wie es die "Adler" suggerieren, die der Band ihren Namen gaben, war es d…

Artikel am Lager
CD
 
EUR 7,99*
Gregory Porter: All Rise (Audiophile Edition) (Half Speed Mastering) (180g), LP,LP,LP

Gregory Porter (geb. 1971)
All Rise (Audiophile Edition) (Half Speed Mastering) (180g)

Beinahe vier Jahre sind verstrichen, seit Gregory Porter mit »Take Me To The Alley« sein letztes Album mit frischem Eigenmaterial herausgebracht hat. Vier Jahre, in denen der Sänger natürlich nicht untäti…

lieferbar innerhalb 1-2 Wochen
3 LPs
 
EUR 118,99*
Ace Frehley: Spaceman, CD

Ace Frehley
Spaceman

Es gibt einige Dinge, die man über Ace Frehley sicherlich bereits wusste: Er ist der originale Leadgitarrist von KISS (die er 1973 mit gegründet hat). Er war immer einer ihrer Besten – seine Song-in-Song-…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
CD
 
EUR 10,99*
Eric Clapton: I Still Do, CD

Eric Clapton
I Still Do

Eric Clapton macht es immer noch Dass Eric Clapton es nach wie vor drauf hat, daran bestand nie auch nur der geringste Zweifel. Erst im vergangenen Jahr hatte Mr. Slowhand seinen 70. Geburtstag mit gle…

CD
Ace Frehley: Origins Vol.2, CD
-21%

Ace Frehley
Origins Vol.2

Ace Frehley, Mitbegründer der legendären KISS und seit 2014 Mitglied in der »Rock'n'Roll Hall Of Fame«, setzt mit »Origins Vol. 2« den privaten Rückblick auf sein Musikerleben fort. Coverversionen sin…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
EUR 13,99**
CD
 
EUR 10,99*
Ace Frehley: Spaceman (180g) (Limited Edition) (Colored Vinyl), LP

Ace Frehley
Spaceman (180g) (Limited Edition) (Colored Vinyl)

Es gibt einige Dinge, die man über Ace Frehley sicherlich bereits wusste: Er ist der originale Leadgitarrist von KISS (die er 1973 mit gegründet hat). Er war immer einer ihrer Besten – seine Song-in-Song-…

LP
Ace Frehley: Origins Vol.2 (180g) (Red & Green Vinyl) (45 RPM), LP,LP

Ace Frehley
Origins Vol.2 (180g) (Red & Green Vinyl) (45 RPM)

Ace Frehley, Mitbegründer der legendären KISS und seit 2014 Mitglied in der »Rock'n'Roll Hall Of Fame«, setzt mit »Origins Vol. 2« den privaten Rückblick auf sein Musikerleben fort. Coverversionen sin…

Artikel am Lager
2 LPs
 
EUR 34,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.