Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
View Other Search Results
Yazar
O’Sullivan, Barry. editor.
Format:
Electronic Resources
Alıntı:
, environments, languages, models, systems, and applications such as decision making, resource allocation, and
Yazar
Pesant, Gilles. editor.
Format:
Electronic Resources
Alıntı:
, algorithms, environments, languages, models, systems, and applications such as decision making, resource
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic
Yazar
Rueher, Michel. editor.
Format:
Electronic Resources
Alıntı:
computing with constraints, including theory, algorithms, environments, languages, models, systems, and
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Meduna, Alexander. author.
Format:
Electronic Resources
Alıntı:
Theory of Computation.
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
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
Format:
Electronic Resources
Alıntı:
, symbolic dynamics, numeration systems, text processing, number theory, etc.
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
Constructivizations -- Immune Systems in Computer Virology -- ITRM-Recognizability from Random Oracles -- Systems with
Arama Sonuçlarını Sınırlandır
Daraltılmış: