Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
View Other Search Results
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
Format:
Electronic Resources
Alıntı:
Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.
Arama Sonuçlarını Sınırlandır
Daraltılmış: