Yazar
Gerdt, Vladimir P. editor.
Format:
Electronic Resources
Alıntı:
Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
View Other Search Results
Yazar
Tsai, Wei-Tek. author.
Format:
Electronic Resources
Alıntı:
Algebra for Concurrent Combinatorial Testing -- 5. Algebra Execution with Combinatorial Testing -- 6. Test
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
through refinement and model transformations, synthesis and computer algebra.
Yazar
Valero-Cuevas, Francisco J. author.
Format:
Electronic Resources
Alıntı:
Algebraic geometry.
Yazar
Agre, Gennady. editor.
Format:
Electronic Resources
Alıntı:
Qualitative Constraint Networks -- A Qualitative Spatio-Temporal Framework Based on Point Algebra -- Training
Yazar
Barnes, David J. author.
Format:
Electronic Resources
Alıntı:
as the Maxima algebra system, the PRISM model checker, and the modeling environments Repast Simphony
Yazar
Geshi, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
Techniques for High-Performance Computing -- Chapter 6: Basics and practice of linear algebra calculation
Yazar
Boissonnat, Jean-Daniel. editor.
Format:
Electronic Resources
Alıntı:
Clifford Algebra -- Ridgelet Methods for Linear Transport Equations -- Basis Functions for Scattered Data
Yazar
Bac, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
Algebraic topology.
Yazar
Alhajj, Reda. editor.
Format:
Electronic Resources
Alıntı:
: Past, Present and Future -- Internet, Web 2.0, Web Services and Semantic Web -- Linear Algebra and
Yazar
Pitt-Francis, Joe. author.
Format:
Electronic Resources
Alıntı:
Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming
Arama Sonuçlarını Sınırlandır
Daraltılmış: