Mordechai Ben-Ari – författare
Visar alla böcker från författaren Mordechai Ben-Ari. Handla med fri frakt och snabb leverans.
11 produkter
Mathematical Logic for Computer Science
Häftad, 2012
660 kr
Lägg i varukorg
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. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to …
Mathematical Logic for Computer Science
E-bok, 2012
1174 kr
Lägg i varukorg
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 method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet …
Mathematical Logic for Computer Science
E-bok, 2012
877 kr
Lägg i varukorg
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. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to …
Principles of the Spin Model Checker
Häftad, 2008
792 kr
Lägg i varukorg
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. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool …
Principles of the Spin Model Checker
E-bok, 2008
923 kr
Lägg i varukorg
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. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool …
Ada for Software Engineers
Häftad, 2009
961 kr
Lägg i varukorg
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 book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for …
Ada for Software Engineers
E-bok, 2009
1175 kr
Lägg i varukorg
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 book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for …
Mathematical Surprises
Häftad, 2022
443 kr
Lägg i varukorg
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. This book presents a selection of these topics including the …
Mathematische Überraschungen
Häftad, 2025
241 kr
Lägg i varukorg
Dieses Buch ist Open-Access und bietet viele mathematische Überraschungen. Es gibt viele faszinierende Ergebnisse, die nicht in Lehrbüchern erscheinen, obwohl sie mit guten Kenntnissen der Sekundarschulmathematik zugänglich sind. Dieses Buch stellt eine Auswahl dieser Ergebnisse vor, darunter die …
Geometry of Ellipses and Planetary Orbits
Häftad, 2026
443 kr
Lägg i varukorg
This open access book is intended to give a bird's-eye view of ellipses and planetary orbits. The only background required is secondary-school Euclidean geometry, analytic geometry, and trigonometry. That doesn't mean that the theorems and proofs are easy; to the contrary, many are very …
Elements of Robotics
Av Mordechai Ben-Ari, Francesco Mondada
Häftad, 2017
552 kr
Lägg i varukorg
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. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year …
