Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words.
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International
Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
-- Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II -- Multivariate Dimension
Yazar
Ouaknine, Joël. editor.
Format:
Electronic Resources
Alıntı:
Coding and Information Theory.
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
Yazar
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
Format:
Electronic Resources
Alıntı:
, symbolic dynamics, numeration systems, text processing, number theory, etc.
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The
Arama Sonuçlarını Sınırlandır
Daraltılmış: