Filtre: Germană

Cărți de Dirk Siefkes

Formalisieren und Beweisen: Logik für Informatiker

Lehrbuch Informatik

Autor Dirk Siefkes

1990

Preț: 348^.21 lei 435^.25 lei

6-8 săpt.

-20%

Pioniere der Informatik: Ihre Lebensgeschichte im Interview

Editat de Dirk Siefkes et al.

11 dec 1998

Preț: 154^.49 lei

3-5 săpt.

Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

XTheorie der Informatik

Autor Dirk Siefkes

oct 1992

Preț: 435^.80 lei 500^.92 lei

38-44 zile

-13%

Sichtweisen der Informatik

XTheorie der Informatik

Autor Wolfgang Coy et al.

aug 1992

Preț: 451^.51 lei

38-44 zile

Büchi’s Monadic Second Order Successor Arithmetic

Lecture Notes in Mathematics

Autor Dirk Siefkes

Preț: 335^.43 lei

6-8 săpt.

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Lecture Notes in Computer Science, nr. 26

Autor Dirk Siefkes

1975

Preț: 319^.50 lei 399^.38 lei

6-8 săpt.

-20%

Sozialgeschichte der Informatik: Kulturelle Praktiken und Orientierungen

Studien zur Wissenschafts- und Technikforschung

Cu Dirk Siefkes

13 iul 1998

Preț: 311^.27 lei

6-8 săpt.

Grundzüge der Logik

suhrkamp taschenbücher wissenschaft, nr. 65

Autor Willard van Orman Quine et al.

iul 2009

Preț: 142^.40 lei

17-23 zile | 7-11 zile