Liknande böcker

Relational and Algebraic Methods in Computer Science : 13th Internationa...
Bok av Wolfram. Kahl
Deontic Logic in Computer Science : 11th International Conference, DEON...
Bok av Thomas. Ågotnes
Modeling Decisions for Artificial Intelligence : 9th International Confe...
Bok av Vicenç. Torra
Combinatorics on Words : 11th International Conference, WORDS 2017, Mont...
Bok av Srecko Brlek
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International...
Bok av Marcello M. Bonsangue
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International...
Bok av Ichiro Hasuo
Theory and Applications of Satisfiability Testing – SAT 2012 : 15th Inte...
Bok av Alessandro. Cimatti
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher

Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Bok av Corina Cirstea