Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
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
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Yazar
Sikos, Jennifer. editor.
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the
Yazar
Montano, Ulianov. author.
Format:
Electronic Resources
Alıntı:
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics Montano, Ulianov. author.
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030