Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Zincir-Heywood, Nur. editor.
Format:
Electronic Resources
Alıntı:
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected
Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
Yazar
Gibson-Robinson, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His
Yazar
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648
Format:
Electronic Resources
Alıntı:
Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: