Deklarative Programmierung und Wissensmanagement: Konferenz zu Deklarativen
70,08 €
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:
