Yazar
Chamberlain, Roger. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
View Other Search Results
Yazar
Koch, Fernando. editor. (orcid)0000-0001-7136-3253
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI
Yazar
Thachuk, Chris. editor.
Format:
Electronic Resources
Alıntı:
Computer communication systems.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security. https://scigraph.springernature.com/ontologies/product-market-codes/I
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: