1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /

Full text 
Favorites
Saved in:
2
Theoretical Aspects of Computing – ICTAC 2014 [E-Book] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Table of Contents: “..., grid and cloud computing -- Real-time, embedded, hybrid and cyber-physical systems -- Type and category theory in computer science -- Models for e-learning and education -- Case studies, theories, tools and experiments of verified systems -- Domain-specific...”

Full text 
Favorites
Saved in:

Narrow Search Results