Mordechai Ben-Ari
- Auteur
Boeken van Mordechai Ben-Ari
Mordechai Ben-Ari
Francesco Mondada
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 and research.
Meer
Mordechai Ben-Ari
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 students of computer science.
Meer
Mordechai Ben-Ari
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.
Meer
Mordechai Ben-Ari
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 good knowledge of secondary-school mathematics.
Meer
Mordechai Ben-Ari
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 and programmers.
Meer