Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
22 sep 2011
Paperback
Preț: 890.95 lei 1113.69 lei
6-8 săpt.
-20%
Cărți de Martin Hofmann
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Editat de Martin Hofmann
18 mar 2011
Paperback
Preț: 330.54 lei 413.16 lei
6-8 săpt.
-20%
Typed Lambda Calculi and Applications
Editat de Martin Hofmann
27 mai 2003
Paperback
Preț: 376.99 lei
6-8 săpt.
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
Autor Martin Hofmann
31 iul 2022
Paperback
Preț: 368.23 lei
6-8 săpt.
Diktate 3. Klasse
Autor Martin Hofmann
22 ian 2021
Paperback
Preț: 51.86 lei
38-44 zile
Automata Theory and Logic
Autor Martin Hofmann et al.
30 oct 2025
Paperback
Preț: 300.99 lei 376.23 lei
6-8 săpt. | 4-10 zile
-20%
Powerful Arguments: Standards of Validity in Late Imperial China
Martin Hofmann et al.
4 mar 2020
Hardback
Preț: 1051.86 lei 1223.09 lei
6-8 săpt.
-14%
Konzeption eines Prozeßinformations- und -managementsystems
15 mai 1995
Paperback
Preț: 331.51 lei
6-8 săpt.
Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe
Autor Martin Hofmann
11 noi 2019
Paperback
Preț: 335.80 lei
6-8 săpt.
Automatentheorie und Logik
Autor Martin Hofmann et al.
15 mar 2011
Paperback
Preț: 203.86 lei 254.82 lei
6-8 săpt.
-20%