Serie
Atlantis Series in Computing
7 delen · door Jeroen Arnoldus, Jan Bergstra, Fabio Mogavero · 2012–2016
Leesvolgorde
- Code generation with templates deel 1 (2012)
- Instruction sequences for computer science deel 2 (2012)
- Logics in computer science deel 3 (2013)
- Compressed data structures for strings deel 4 (2013)
- Constraints meet concurrency deel 5 (2014)
- Analysis and enumeration deel 6 (2015)
- Type systems for distributed programs: components and sessions deel 7 (2016)
Code generation with templates
Jeroen Arnoldus
Code generation with templates
Jeroen Arnoldus
Paperback · 2012
Instruction sequences for computer science
Jan Bergstra
Instruction sequences for computer science
Jan Bergstra
E-book · 2012
Logics in computer science
Fabio Mogavero
Logics in computer science
Fabio Mogavero
Hardback · 2013
Compressed data structures for strings
Rossano Venturini
Compressed data structures for strings
Rossano Venturini
E-book · 2013
Constraints meet concurrency
Jacopo Mauro
Constraints meet concurrency
Jacopo Mauro
E-book · 2014
Analysis and enumeration
Andrea Marino
Analysis and enumeration
Andrea Marino
Paperback · 2015
Type systems for distributed programs: components and sessions
Ornela Dardha
Type systems for distributed programs: components and sessions
Ornela Dardha
· 2016