Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany
View Other Search Results
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Botana, Francisco. editor.
Format:
Electronic Resources
Alıntı:
Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata
Yazar
Horská, Anna. author.
Format:
Electronic Resources
Alıntı:
Constructive Ordinals Horská, Anna. author.
Yazar
Wachsmuth, Henning. author.
Format:
Electronic Resources
Alıntı:
learning and other areas of artificial intelligence, novel pipeline construction and execution algorithms
Arama Sonuçlarını Sınırlandır
Daraltılmış: