Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Caires, Luís. editor. (orcid)0000-0002-3215-6734
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
View Other Search Results
Yazar
Wang, K. C. author.
Format:
Electronic Resources
Alıntı:
Design and Implementation of the MTX Operating System Wang, K. C. author.
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Ölveczky, Peter Csaba. editor.
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Alferes, José Júlio. editor.
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005