Filtre: Tipărit la comandă

Cărți de Thomas Studer

Advances in Proof Theory

Progress in Computer Science and Applied Logic, nr. 28

Editat de Reinhard Kahle et al.

27 mai 2018

Preț: 622^.42 lei 732^.26 lei

43-57 zile

-15%

Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14672

Editat de George Metcalfe et al.

8 iun 2024

Preț: 402^.90 lei 503^.62 lei

43-57 zile

-20%

Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL

Autor Thomas Studer

29 oct 2019

Preț: 235^.19 lei 293^.98 lei

43-57 zile

-20%

Logics of Proofs and Justifications

Autor Roman Kuznets et al.

2 apr 2019

Preț: 144^.66 lei

43-57 zile