Raamatud Martin Hofmann
Extensional Constructs in Intensional Type Theory
-30% koodiga BOOKS
Meie tarnija laos
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-30% koodiga BOOKS
Meie tarnija laos
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-30% koodiga BOOKS
Meie tarnija laos
Automated Construction of XSL-Templates: An Inductive Programming Approach
-30% koodiga BOOKS
Meie tarnija laos
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, Proceedi
-30% koodiga BOOKS
Meie tarnija laos