Søgning på underkategorier- og emner:
Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over... Læs mere
This revised and expanded new edition includes supplementary web-based teaching resources and a new conceptual approach to parsing algorithms that applies to extended Backus-Naur Form grammars. It delivers inclusive, practicable coverage of the field.
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in... Læs mere
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading... Læs mere
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
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming... Læs mere
This rich mathematical text will help both graduate students and researchers master modern topology and domain theory, the... Læs mere
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.