Search Results

Author: Siefkes Dirk
Decidable Theories

Decidable Theories

Siefkes, Dirk
EnglishEbook
Springer Berlin Heidelberg
ISBN: 9783540362524
Available online
Available online
€34.51 -10%
Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Siefkes, Dirk
GermanEbook
Vieweg+teubner Verlag
ISBN: 9783322849236
Available online
Available online
€46.28 -10%
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Siefkes, Dirk
GermanEbook
Springer Berlin Heidelberg
ISBN: 9783662366783
Available online
Available online
€48.02 -10%
Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes, Dirk
GermanEbook
Vieweg+teubner Verlag
ISBN: 9783322856210
Available online
Available online
€42.51 -10%
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Siefkes Dirk
GermanPaperback / softback
Springer, Berlin
ISBN: 9783662358481
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€50.15 -10%
GI-4.Jahrestagung

GI-4.Jahrestagung

Siefkes, Dirk
GermanEbook
Springer Berlin Heidelberg
ISBN: 9783662400876
Available online
Available online
€48.02 -10%
Decidable Theories

Decidable Theories

Siefkes Dirk
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540049098
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€26.79 -10%
Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Siefkes Dirk
GermanPaperback / softback
Vieweg+Teubner
ISBN: 9783528051990
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€75.12 -10%
Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes Dirk
GermanPaperback / softback
Vieweg+Teubner
ISBN: 9783528047573
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€48.82 -10%
Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes Dirk
GermanPaperback / softback
Vieweg+Teubner Verlag
ISBN: 9783528147570
On order
Delivery on Friday, 21. of February 2025
On order
Delivery on Friday, 21. of February 2025
€87.91 -10%
GI-4.Jahrestagung

GI-4.Jahrestagung

Siefkes Dirk
GermanPaperback / softback
Springer, Berlin
ISBN: 9783662391044
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€50.15 -10%
Formalisieren und Beweisen

Formalisieren und Beweisen

Siefkes, Dirk
GermanEbook
Vieweg+teubner Verlag
ISBN: 9783322917690
Available online
Available online
€42.51 -10%
Sichtweisen der Informatik

Sichtweisen der Informatik

Coy Wolfgang
GermanPaperback / softback
Vieweg+Teubner
ISBN: 9783528052638
On order
Delivery on Tuesday, 4. of March 2025
On order
Delivery on Tuesday, 4. of March 2025
€68.86 -10%
Sichtweisen der Informatik

Sichtweisen der Informatik

Coy, Wolfgang
GermanEbook
Vieweg+teubner Verlag
ISBN: 9783322849267
Available online
Available online
€46.28 -10%