Berechnen und Denken: Eine Typentheorie für die Informatik von Zhaohui Luo (DE
121,24 €
By Zhaohui Luo. Author Zhaohui Luo. Computation and Reasoning. Short Title COMPUTATION & REASONING - A TY. Starting from introducing the. Detailed explanation of applications. Subtitle A Type Theory for Computer Science.
Jetzt bei Ebay:
![Produktbild - Functions of Matrices: Theory and Computation by Nicholas J. Higham [Hardback]](https://i.ebayimg.com/thumbs/images/g/fgYAAeSw449oSMmZ/s-l140.jpg)
![Produktbild - Modern Language Models and Computation: Theory with Applications [Hardback]](https://i.ebayimg.com/thumbs/images/g/pUQAAeSw29xoMWwD/s-l140.jpg)
![Produktbild - Structural Dynamics: Theory and Computation by Leigh, William [Hardback]](https://i.ebayimg.com/thumbs/images/g/LwUAAeSwd2RoNqMf/s-l140.jpg)
![Produktbild - What Can Be Computed?: A Practical Guide to the Theory of Computation [Hardback]](https://i.ebayimg.com/thumbs/images/g/ONIAAeSwE-9oNoTL/s-l140.jpg)
