Søgning på underkategorier- og emner:
This concise textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions.... Læs mere
Presents the new VHDL'92 for the VHDL designer. New features are explained and classified. Examples are also provided, each new feature is given a rationale and its impact on design methodology and performance is analyzed. Where appropriate, pitfalls and traps are explained.
A basic, practical, introductory textbook for professionals and students, this text explains how a designer can be more effective through the use of the Verilog hardware description language to simulate and document a design.
Prescriptions for Quant Traders Using R is a practical, hands-on guide for turning data into trading decisions. This book is written for... Læs mere
This book offers a comprehensive discussion of the growing importance of ethical considerations in algorithmic systems to introduce practical frameworks and tools for identifying ethical risks, ensuring fair outcomes, and maintaining transparency in algorithmic processes.
The interior-point method failed to shake the domination of the simplex method.After years of research and exploration, the author proposes to break out of the simplex and interior-point methods.
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages,... Læs mere
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by... Læs mere
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of... Læs mere