Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. It provides a complete description of the modules, types... Læs mere
Bemærk: Kan ikke leveres før jul.
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming... Læs mere
Bemærk: Kan ikke leveres før jul.
This rich mathematical text will help both graduate students and researchers master modern topology and domain theory, the... Læs mere
Bemærk: Kan ikke leveres før jul.
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for... Læs mere
Bemærk: Kan leveres før jul.
This book presents the proceedings of the Ada-Europe International Conference, held in Dublin in 1990. The... Læs mere
Bemærk: Kan ikke leveres før jul.
Professionals learn how to manage business risks, governance and compliance. This updated resource provides a clear guide to ISO/IEC 27000 security standards and their implementation, focusing on the recent ISO/IEC 27001.