Declarative Programming and Knowledge Management: Conference on Declarative Prog
67,86 €
Invited Talks. - GPU-based parallelism for ASP-solving. - A Process Calculus for Formally Verifying Blockchain Consensus Protocols. - Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming.
Jetzt bei Ebay:
