Author books / Книги автора Cezary Kaliszyk Edwin Brady Andrea Kohlhase Claudio Sacerdoti Coen » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Cezary Kaliszyk Edwin Brady Andrea Kohlhase Claudio Sacerdoti Coen

book Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

pdf

Author: Cezary Kaliszyk Edwin Brady Andrea Kohlhase Claudio Sacerdoti Coen
Language: English
Year: 2019

00

30.01.2024

0

0

book Type-driven Development with Idris

Type-driven Development with Idris

pdf

Author: Edwin Brady
Language: English
Year: 2017

00

29.01.2024

0

0

book Type-driven Development with Idris

Type-driven Development with Idris

epub

Author: Edwin Brady
Language: English
Year: 2017

00

29.01.2024

0

0

book Type-driven Development with Idris

Type-driven Development with Idris

pdf

Author: Edwin Brady
Language: English
Year: 2017

00

28.01.2024

0

0