19 resultat (0,20258 sekunder)

Visa alla filter

Märke

Butik

Pris (EUR)

Nollställ filter

Produkter
Från
Butiker

Handbook of Truly Concurrent Process Algebra - Bok av Yong (Associate Professor of Computer Science and Technology Wang - Häftad

Handbook of Truly Concurrent Process Algebra - Bok av Yong (Associate Professor of Computer Science and Technology Wang - Häftad

Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors ¿ A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony,..

SEK 4177.00
1

Elsevier's Dictionary of Mathematics - In English, German, French and Russian - Bok av H.-J. (Potsdam Vogel, R. (Montreal Lozanov, m.fl. - Inbunden

Elsevier's Dictionary of Mathematics - In English, German, French and Russian - Bok av H.-J. (Potsdam Vogel, R. (Montreal Lozanov, m.fl. - Inbunden

Contains 11,652 entries with more than 4,750 cross-references in mathematics. This dictionary covers major branches from elementary to advanced subjects: arithmetic, algebra, geometry, set theory, discrete mathematics, logic, Boolean algebra, matrix algebra, calculus, differential equations, vector algebra, and probability theory and statistics.

SEK 3081.00
1

Constructivism in Mathematics, Vol 2 - Bok av A.S. Troelstra - Inbunden

Constructivism in Mathematics, Vol 2 - Bok av A.S. Troelstra - Inbunden

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra,..

SEK 831.00
1

Synthetic Data and Generative AI - Bok av Vincent Granville - Häftad

Synthetic Data and Generative AI - Bok av Vincent Granville - Häftad

Synthetic Data and Generative AI covers the foundations of machine learning with modern approaches to solving complex problems and the systematic generation and use of synthetic data. Emphasis is on scalability, automation, testing, optimizing, and interpretability (explainable AI). For instance, regression techniques - including logistic and Lasso - are presented as a single method without using advanced linear algebra. Confidence regions and prediction intervals are built using parametric bootstrap..

SEK 1617.00
1

Many-Sorted Algebras for Deep Learning and Quantum Technology - Bok av Charles R. Giardina - Häftad

Many-Sorted Algebras for Deep Learning and Quantum Technology - Bok av Charles R. Giardina - Häftad

Many-Sorted Algebras for Deep Learning and Quantum Technology presents a precise and rigorousdescription of basic concepts in quantum technologies and how they relate to deep learning and quantum theory. Current merging of quantum theory and deep learning techniques provides the need for a source that gives readers insights into the algebraic underpinnings of these disciplines. Although analytical, topological, probabilistic, as well as geometrical concepts are employed in many of these areas, algebra..

SEK 1936.00
1