Søgning på underkategorier- og emner:
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
The reader will find chapters on Cognitive Optical Network, 5G Cognitive Wireless, LTE, Data Analysis and Natural Language Processing. Moreover, some data analysis techniques and Brazilian Portuguese natural language processing technologies are also described here.
Compared to other books, this work provides a much more compact view of the language, while also placing the language-elements in a more applied setting, by providing examples related to numerical computing and more advanced Input/Output facilities for Earth system sciences.
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs.
Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering.
PHP is gaining positive reputation for its system administration and client-side application development capabilities.
Functional programming (FP) is the future of .NET programming, and F# is much more than just an FP language.
Discrete Mathematics for Data Science provides an early course in both Data Science and Discrete Mathematics, focusing on how a deeper understanding of the former can unlock a more effective implementation of the latter.