Yazar
Lee, Kent D. author.
Format:
Electronic Resources
Alıntı:
Foundations of Programming Languages Lee, Kent D. author.
Yazar
Lee, Kent D. author.
Format:
Electronic Resources
Alıntı:
Foundations of Programming Languages Lee, Kent D. author.
View Other Search Results
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Transactions on Foundations for Mastering Change I Steffen, Bernhard. editor.
Yazar
Guttman, Joshua D. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A
Yazar
Seidl, Martina. editor.
Format:
Electronic Resources
Alıntı:
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil
Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse
Yazar
Cornélio, Márcio. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL
Yazar
Zincir-Heywood, Nur. editor.
Format:
Electronic Resources
Alıntı:
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada
Yazar
Cabot, Jordi. editor.
Format:
Electronic Resources
Alıntı:
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF
Arama Sonuçlarını Sınırlandır
Daraltılmış: