Functional Programming, Concurrency, Simulation and Automated Reasoning by Lauer

Kahn - Functional Programming Languages and Computer Architecture Po - X555z

Jouannaud - Functional Programming Languages and Computer Architecture - X555z

Boscarol - Foundations of Logic and Functional Programming Workshop - X555z

Jaffar - Concurrency and Parallelism Programming Networking and Sec - X555z

Carpin - Simulation Modeling and Programming for Autonomous Robots - X555z

Noda - Simulation Modeling and Programming for Autonomous Robots T - X555z

Brugali - Simulation Modeling and Programming for Autonomous Robots - X555z