Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings Olivetti Nicola Heftet / 2016 / Engelsk
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings Hespanha Joao Heftet / 2006 / Engelsk
Functional Materials from Carbon, Inorganic, and Organic Sources Methods and Advances Kalyani, N. Thejo Heftet / 2022 / Engelsk
