Formalisieren und Beweisen: Logik für Informatiker
Autor Dirk Siefkes
1992
Paperback
Preț: 430.22 lei 537.78 lei
43-57 zile
-20%
Cărți de Dirk Siefkes
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Autor Dirk Siefkes et al.
Paperback
Preț: 263.58 lei
43-57 zile
Finite Automata, Their Algebras and Grammars
Autor J. Richard Büchi et al.
29 iun 2012
Paperback
Preț: 614.81 lei 723.30 lei
43-57 zile
-15%
Pioniere der Informatik: Ihre Lebensgeschichte im Interview
Editat de Dirk Siefkes et al.
5 noi 2012
Paperback
Preț: 123.98 lei
22-36 zile
The Collected Works of J. Richard Büchi
Autor J. Richard Büchi et al.
10 noi 2011
Paperback
Preț: 339.55 lei 424.44 lei
43-57 zile
-20%
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen
Autor Dirk Siefkes
oct 1992
Paperback
Preț: 435.46 lei 500.53 lei
38-44 zile
-13%
Sichtweisen der Informatik
Autor Wolfgang Coy et al.
aug 1992
Paperback
Preț: 451.17 lei
38-44 zile
Büchi’s Monadic Second Order Successor Arithmetic
Autor Dirk Siefkes
Paperback
Preț: 335.43 lei
43-57 zile
GI-4.Jahrestagung
Autor Dirk Siefkes
1975
Paperback
Preț: 324.00 lei 404.99 lei
43-57 zile
-20%
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen
Cu Dirk Siefkes
13 iul 1998
Paperback
Preț: 311.27 lei
43-57 zile