Knygos pagal Martin Hofmann
Extensional Constructs in Intensional Type Theory
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Construction of XSL-Templates: An Inductive Programming Approach
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją