Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi / Iida, Shusaku. editor.
Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25
View Other Search Results
Yazar
Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682
Format:
Electronic Resources
Alıntı:
Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014
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
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
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
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and
Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra
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
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization
Arama Sonuçlarını Sınırlandır
Daraltılmış: