Formalisieren und Beweisen: Logik für Informatiker
Autor Dirk Siefkes
1992
Paperback
Preț: 430.22 lei 537.78 lei
6-8 săpt.
-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
6-8 săpt.
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
Autor J. Richard Büchi et al.
29 iun 2012
Paperback
Preț: 618.50 lei 727.65 lei
6-8 săpt.
-15%
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
6-8 săpt.
-20%
Sichtweisen der Informatik
Autor Wolfgang Coy et al.
aug 1992
Paperback
Preț: 451.51 lei
38-44 zile
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen
Autor Dirk Siefkes
oct 1992
Paperback
Preț: 435.80 lei 500.92 lei
38-44 zile
-13%
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen
Cu Dirk Siefkes
13 iul 1998
Paperback
Preț: 311.27 lei
6-8 săpt.
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
Autor Dirk Siefkes
1975
Paperback
Preț: 319.50 lei 399.38 lei
6-8 săpt.
-20%
Büchi’s Monadic Second Order Successor Arithmetic
Autor Dirk Siefkes
Paperback
Preț: 335.43 lei
6-8 săpt.