30 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and
View Other Search Results
Yazar
Dinh, Thang N. editor.
Format:
Electronic Resources
Alıntı:
-- Computational Geometry and Computational Biology -- Logic, Algebra and Automata.
Yazar
Pardo, Alberto. editor.
Format:
Electronic Resources
Alıntı:
algorithms, analysis of algorithms, computational algebra, applications to bioinformatics, budget problems
Yazar
Kari, Jarkko. editor.
Format:
Electronic Resources
Alıntı:
: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
: sampling and randomized methods; logic, algebra and automata; database and data structures; parameterized
Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
Non-denoting Terms -- Ordinals in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's
Yazar
Casadio, Claudia. editor.
Format:
Electronic Resources
Alıntı:
groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof
Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Basic Linear Algebra Subprograms: A Performance Study -- Synthesis and Optimization by Quantum Circuit
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
-- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an
30 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: