Søgning på underkategorier- og emner:
A guide to applying software design principles and coding practices to VHDL to improve the readability, maintainability, and quality of VHDL code.
Introduktion til webudvikling er bogen for dig, der gerne vil have et overblik over alle de grundlæggende aspekter og begreber inden for webudvikling. Bogen er ikke en... Læs mere
This book presents the proceedings of the Ada-Europe International Conference, held in Dublin in 1990. The... Læs mere
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
Software product lines have many potential benefits, but they also present many challenges. The AMPLE approach tackles these challenges... Læs mere
The multidisciplinary nature of learning-games development is key to successful projects. In this book,... Læs mere
Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.
This rich mathematical text will help both graduate students and researchers master modern topology and domain theory, the... 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
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
This book explains what affects the opinions posted online and how organizations can use social media data to inform their strategies.