2.736 resultat (0,33179 sekunder)

Visa alla filter

Märke

Butik

Pris (EUR)

Visa alla

Nollställ filter

Produkter
Från
Butiker

Guide to Software Verification with Frama-C - Core Components, Usages, and Applications - Bok av Nikolai Kosmatov - Inbunden

Guide to Software Verification with Frama-C - Core Components, Usages, and Applications - Bok av Nikolai Kosmatov - Inbunden

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a..

SEK 767.00
1

Learning C# Through Small Projects - Bok av Denis Panjuta - Häftad

Learning C# Through Small Projects - Bok av Denis Panjuta - Häftad

Learning C# Through Small Projects offers you a hands-on approach to understanding advanced C# concepts through engaging projects and minigames. The rationale is simple: learning by doing. You dive straight into the action, building eleven distinct projects that range from an interactive storytelling program to a responsive Discord chatbot. Each project is meticulously designed to introduce and reinforce specific C# concepts, ensuring that you not only understand the theory but can also apply it..

SEK 851.00
1

Parallel C++ - Efficient and Scalable High-Performance Parallel Programming Using Hpx - Bok av Patrick Diehl - Häftad

Parallel C++ - Efficient and Scalable High-Performance Parallel Programming Using Hpx - Bok av Patrick Diehl - Häftad

This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language features in the C++ 17 and C++ 20 standards, covering both single node and distributed systems. It shows that with the parallel features in the C++ 17 and C++ 20 standards, learning meta-languages like OpenMP is no longer necessary. Using the C++ standard library for parallelism and concurrency (HPX), the same language features can be extended to distributed..

SEK 921.00
1

Cartesian Meditations - An Introduction to Phenomenology - Bok av Edmund Husserl - Häftad

Cartesian Meditations - An Introduction to Phenomenology - Bok av Edmund Husserl - Häftad

The Cartesian Meditations translation is based primarily on the printed text, edited by Professor S. Strasser and published in the first volume of Husserliana: Cartesianische Meditationen und Pariser Vortrage, ISBN 90-247-0214-3. Most of Husserl's emendations, as given in the Appendix to that volume, have been treated as if they were part of the text. The others have been translated in footnotes. Secondary consideration has been given to a typescript (cited as Typescript C) on which Husserl wrote..

SEK 1370.00
1