Yazar
Chivers, Ian. author.
Format:
Electronic Resources
Alıntı:
Fortran -- An Introduction to Algorithms and the Big O Notation -- Operator Overloading -- Generic
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
-- Design for verification, and property based design techniques -- Techniques and algorithms for scaling
Yazar
Kindratenko, Volodymyr. editor.
Format:
Electronic Resources
Alıntı:
numerical algorithms, sharing tips on GPUs that can increase application efficiency. The valuable insights
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage
Yazar
Geshi, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
library BLAS and LAPACK -- Chapter 7: High performance algorithms for numerical linear algebra -- Chapter
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient
Yazar
Nielsen, Frank. author.
Format:
Electronic Resources
Alıntı:
algorithms are introduced for data exploration along with how to program these algorithms on computer
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
-- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal
Arama Sonuçlarını Sınırlandır
Daraltılmış: