nikolaj bjorner
FM 2015: Formal Methods
Print on DemandThis book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...
Distributed Computing and Internet Technology
Print on DemandThis bookconstitutes the proceedings of the 12th International Conference on DistributedC...
Perspectives of System Informatics
Print on DemandThis book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informa...
Automated Deduction - CADE-23
Besorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 23rd International Conference on Automated ...
Logic for Programming, Artificial Intelligence, and Reasoning
Besorgungstitel - wird vorgemerktThis book constitutes the proceedings of the 18th International Conference on Logic for Programmi...
- 1