motib/elements-of-robotics

Stars
1
Language
TeX
License
Creative Commons ...
Created about 2 years ago
Updated about 1 year ago

motib/elements-of-robotics

motib

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

LaTeX source of open access book Elements of Robotics

LearnSAT

SAT solver for education

jspin

GUI for running the SPIN model checker

jbaci

Automatically exported from code.google.com/p/jbaci

mathematical-logic

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)

erigone

Erigone Model Checker

gentle-lean

A gentle tutorial on Lean

surprises

Source code of Mathematical Surprises (open access)

mathematics

Learning materials for secondary school mathematics

concurrent-distributed

Principle of Concurrent and Distributed Programming (Second Edition)

daj

Distributed Algorithms in Java

ada-software-engineers

Ada for Software Engineers (Second Edition)

probability-mosteller

Reworking of Mosteller's Challenging Problems in Probability

constructions

LaTeX source for "Surprising Geometric Constructions"

bagrut

Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics

thymio

Documents and programs for the Thymio robot

principles-spin

Source code and update for Principles of Spin