for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Object-oriented database management systems will serve developing areas such as engineering design, office information systems, imaging systems, and hypermedia. These proceedings of a NATO Advanced Research Workshop cover all aspects of such systems.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages,... Læs mere
Experten aus Wissenschaft und Praxis diskutieren Fragen rund um das Mobile Enterprise ebenso, wie die Gestaltung... Læs mere
Outlines and compares various techniques to assess, identify, and manage security risks and vulnerabilities, with step-by-step... Læs mere
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.
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;
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.
Algorithms and Programming is primarily intended for use in a first-year undergraduate course in programming.