Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
Yazar
Hooker, John. editor. (orcid)0000-0003-3169-1871
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
View Other Search Results
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard
Yazar
Giustolisi, Rosario. author.
Format:
Electronic Resources
Alıntı:
Data Structures and Information Theory. http://scigraph.springernature.com/things/product-market
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid
Yazar
van der Aalst, Wil. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017
Yazar
Clerbout, Nicolas. author.
Format:
Electronic Resources
Alıntı:
Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France
Arama Sonuçlarını Sınırlandır
Daraltılmış: