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
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS
Yazar
James, Phillip. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated deduction -- Including foundations -- Applications.-Implementations -- Practical
Yazar
Phillips, Iain. editor.
Format:
Electronic Resources
Alıntı:
papers are organized in the following topical sections: foundations; reversible circuit synthesis
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
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems
Yazar
An, Bo. editor. (orcid)0000-0002-7064-7438
Format:
Electronic Resources
Alıntı:
research in several domains, ranging from foundations of agent theory and engineering aspects of agent
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
submissions. Topics covered range from mathematical foundations to applications as conceptual and
Yazar
Grünbacher, Paul. editor.
Format:
Electronic Resources
Alıntı:
Requirements Engineering: Foundation for Software Quality 23rd International Working Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: