for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Bemærk: Kan ikke leveres før jul.
This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. extends programming fundamentals to include reading and writing server-based files, command-line interfaces, and an introduction to GD graphics;
Bemærk: Kan ikke leveres før jul.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.
Bemærk: Kan ikke leveres før jul.
Algorithms and Programming is primarily intended for use in a first-year undergraduate course in programming.
Bemærk: Kan ikke leveres før jul.
Information Systems Development: Reflections, Challenges and New Directions, is the collected proceedings of the 20th International Conference on Information Systems Development held in Edinburgh, Scotland, August 24 - 26, 2011.
Bemærk: Kan ikke leveres før jul.
These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.
Bemærk: Kan ikke leveres før jul.
investigates the uses of quantum information, including quantum teleportation, superdense coding, quantum data compression, quantum cloning, quantum negation, and quantumcryptography;
Bemærk: Kan ikke leveres før jul.
This book provides a broad description of the development and (computational) application of many-electron approaches from a multidisciplinary perspective.
Bemærk: Kan ikke leveres før jul.
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test... Læs mere
Bemærk: Kan ikke leveres før jul.
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization.
Bemærk: Kan ikke leveres før jul.
Thiscovers topics such as renewable energy supply, energy storage and e-mobility, efficiencyin data centers and networks, sustainable food and water supply, sustainablehealth, industrial production and quality, etc.
Bemærk: Kan ikke leveres før jul.