Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
sections named: foundations, tools and algorithms, queries, and applications. The book also contains one
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
topics related to the foundations of program and system development and analysis, programming methodology
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's
Yazar
Fricker, Samuel A. editor.
Format:
Electronic Resources
Alıntı:
Requirements Engineering: Foundation for Software Quality 21st International Working Conference
Yazar
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
Format:
Electronic Resources
Alıntı:
Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
computer science and informatics. The papers cover various topics related to the foundations of program and
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
modeling and technology: examples, frameworks and practical experience; challenges and foundations in
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
of research in all aspects of automated deduction, including foundations, applications
Yazar
Bonakdarpour, Borzoo. editor.
Format:
Electronic Resources
Alıntı:
-- Foundations of Boolean Stream Runtime Verification -- Portable Runtime Verification with Smartphones and
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
- Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open
Arama Sonuçlarını Sınırlandır
Daraltılmış: