for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The book is a valuable compendium comprising several optimization applications-based case studies. Chapters are written in a reader-friendly manner; theoretical concepts with applications have also been discussed.
Bemærk: Kan ikke leveres før jul.
The practical orientation of the topics chosen and a wealth of useful examples also make the book suitable as a reference work for practitioners in the field.In this second edition the authors have added sections on recent innovations, techniques, and methodologies.
Bemærk: Kan leveres før jul.
If you have ever wondered what quaternions are — then look no further, John Vince will show you how simple and useful they are.
Bemærk: Kan ikke leveres før jul.
Advanced security topics such as secure remote work, data security, network security, application and device security, cloud security, and cyber risk and privacy are presented in this book.
Bemærk: Kan leveres før jul.
Unlike similar texts, it treats the MDA problems as optimization problems on matrix manifolds defined by the MDA model parameters, allowing them to be solved using (free) optimization software Manopt.
Bemærk: Kan leveres før jul.
The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and network thinking.
Bemærk: Kan leveres før jul.
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
Bemærk: Kan ikke leveres før jul.
However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also called manifold learning, has become a hot topic.... Læs mere
Bemærk: Kan ikke leveres før jul.
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography.
Bemærk: Kan ikke leveres før jul.
The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the... Læs mere
Bemærk: Kan ikke leveres før jul.
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for... Læs mere
Bemærk: Kan ikke leveres før jul.
An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.