Formalisieren und Beweisen: Logik für Informatiker
Autor Dirk Siefkes
1990
Paperback
Preț: 348.21 lei 435.25 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.
Pioniere der Informatik: Ihre Lebensgeschichte im Interview
Editat de Dirk Siefkes et al.
11 dec 1998
Hardback
Preț: 154.49 lei
3-5 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%
Sichtweisen der Informatik
Autor Wolfgang Coy et al.
aug 1992
Paperback
Preț: 451.51 lei
38-44 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
6-8 săpt.
-20%
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%
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.
Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen
Cu Dirk Siefkes
13 iul 1998
Paperback
Preț: 311.27 lei
6-8 săpt.
Grundzüge der Logik
Autor Willard van Orman Quine et al.
iul 2009
Paperback
Preț: 142.40 lei
17-23 zile | 6-10 zile