21 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Transactions on Foundations for Mastering Change I Steffen, Bernhard. editor.
Yazar
Bencomo, Nelly. editor.
Format:
Electronic Resources
Alıntı:
Models@run.time Foundations, Applications, and Roadmaps / Bencomo, Nelly. editor.
View Other Search Results
Yazar
Zincir-Heywood, Nur. editor.
Format:
Electronic Resources
Alıntı:
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada
Yazar
Wąsowski, Andrzej. editor.
Format:
Electronic Resources
Alıntı:
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF
Yazar
Taentzer, Gabriele. editor.
Format:
Electronic Resources
Alıntı:
Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS
Yazar
Quintão Pereira, Fernando Magno. editor.
Format:
Electronic Resources
Alıntı:
theoretical foundations -- Program analysis and verification -- Programming language design and implementation.
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
theory of order, abstract state machines, formal methods, foundations of computer science, security, and
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification
Yazar
Lujak, Marin. editor.
Format:
Electronic Resources
Alıntı:
organized in the following topical sections: AT foundations and modelling of reasoning agents; argumentation
Yazar
Silva, Josep. editor.
Format:
Electronic Resources
Alıntı:
generation; debugging and testing; and foundations of functional logic programming. .
Yazar
Spohrer, Kai. author.
Format:
Electronic Resources
Alıntı:
Introduction -- Theoretical Foundations -- Research Design -- Findings -- Discussion of Findings
21 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: