Elemente de robotică - Elements of Robotics
Această carte cu acces liber face legătura între joaca cu roboții în școală și studiul roboticii la nivel universitar și...
Principiile verificatorului de model Spin - Principles of the Spin Model Checker
Principles of Spin este o carte introductivă, singura cerință este...
Logică matematică pentru informatică - Mathematical Logic for Computer Science
Mathematical Logic for Computer Science este un manual de matematică cu...
