Søkt på: Søkeresultat
totalt 5 treff
Elements of Robotics
This open access book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry …
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. Special features of the …
Mathematical Surprises
This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a …
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The …
Principles of the Spin Model Checker
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students …