Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Mathematical Logic For Computer Science Mathematical Logic for Computer Science is a mathematics textbook with theoremsand proofs but the choice of topics has been guided by the needs of computersc... »
Ada For Software Engineers Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Thi... »