Type-Driven Development with Idris /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
New York:
Manning,
2017
|
| Colecção: | Software Development
|
| Assuntos: | |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: Type-Driven Development with Idris /
- Input-output analysis foundations and extensions
- Nepriame súvislosti v ekonomike: ako ich odhaliť a preskúmať?
- Identifikácia kvantitatívnych markerov vo veľkých dátových populáciách
- Dynamické input-output modely
- Productivity Change in a Multisectoral Economic System
- Svetové input-output tabuľky a ich možné využitie v praxi