![book Introduction to Compilers and Language Design](/covers/files_170/3126000/f5d61c221e657dd8d7f3d6778abaf7d1-g.jpg)
- Author: Douglas Thain
- Language: English
- Year: 2020
![book Crafting Interpreters](/covers/files_170/3067000/451283f53f10f462b447ecdb5d3244f0-g.jpg)
- Author: Robert Nystrom
- Language: English
- Year: 2021
![book Systems Software: Essential Concepts](/covers/files_170/3063000/15b1c5aee2c2a49c513a31625fff1931-g.jpg)
- Author: Eurípides Montagne
- Language: English
- Year: 2021
![book Engineering a Compiler](/covers/files_170/3040000/0d3f0615c4692f7599fb73589d721339-g.jpg)
- Author: Keith Cooper Linda Torczon
- Language: English
- Year: 2011
![book Introduction to Automata Theory, Formal Languages and Computation](/covers/files_170/3039000/6a076b6cc8efb1ec186bba066b9674ad-g.jpg)
- Author: Shyamalendu Kandar
- Language: English
- Year: 2016
![book Type Theory and Formal Proof: An Introduction](/covers/files_170/3019000/db5fd04d3ab9ecd89e5cfb7a2a9d0268-g.jpg)
- Author: Professor Rob Nederpelt Professor Herman Geuvers
- Language: English
- Year: 2014
![book The Functional Approach to Programming](/covers/files_170/3012000/b375d2c0cf0f64e8b24066c6b1386144-g.jpg)
- Author: Cousineau G. Mauny M.
- Language: English
- Year: 1998
![book Using ld, the GNU Linker](/covers/files_170/3001000/282ef292f8aeebb9c1798932cfeaef73-g.jpg)
- Author: Steve ChamberlainIan Lance Taylor
- Language: English
- Year: 2003
![book Elementi di teoria dei linguaggi formali](/covers/files_170/2987000/9f8177aca54f232deec4185e43cd68f5-g.jpg)
- Author: Semeraro Giovanni
- Language: Italian
- Year: 2017