Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi / Iida, Shusaku. editor.
Yazar
Leucker, Martin. editor.
Format:
Electronic Resources
Alıntı:
selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata
View Other Search Results
Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata
Yazar
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Alıntı:
programming -- Declarative Programming with Algebra.
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
through refinement and model transformations, synthesis and computer algebra.
Yazar
Bertogna, Marko. editor.
Format:
Electronic Resources
Alıntı:
Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static
Yazar
Chekanov, Sergei V. author.
Format:
Electronic Resources
Alıntı:
-- Linear Algebra and Equations -- Symbolic Computations -- Histograms -- Scientific Visualization -- File
Yazar
Kindratenko, Volodymyr. editor.
Format:
Electronic Resources
Alıntı:
Accelerating Numerical Dense Linear Algebra Calculations with GPUs -- A Guide to Implement
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
-- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and
Arama Sonuçlarını Sınırlandır
Daraltılmış: