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
View Other Search Results
Yazar
Cuppens, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Foundations and Practice of Security 9th International Symposium, FPS 2016, Québec City, QC, Canada
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I /
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II /
Yazar
Berry, Stuart. editor.
Format:
Electronic Resources
Alıntı:
Simulation Foundations, Methods and Applications,
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated deduction -- Including foundations -- Applications.-Implementations -- Practical
Yazar
Roman, Adam. author.
Format:
Electronic Resources
Alıntı:
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams /
Yazar
Zeume, Thomas. author.
Format:
Electronic Resources
Alıntı:
foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic
Yazar
Brimkov, Valentin E. editor.
Format:
Electronic Resources
Alıntı:
theoretical foundations and theory of applications, namely: discrete geometry and topology; tilings and
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
Yazar
Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122
Format:
Electronic Resources
Alıntı:
from the foundations of evolutionary computation algorithms and other search heuristics, to their
Arama Sonuçlarını Sınırlandır
Daraltılmış: