Название: Model Checking Quantum Systems: Principles and Algorithms
Автор: Mingsheng Ying, Yuan Feng
Издательство: Cambridge University Press
Год: 2021
Формат: epub
Страниц: 220
Размер: 10 Mb
Язык: English

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.

Название: Computational Logic. Logic Programming and Beyond
Автор: Maurice Bruynooghe, Maarten Emden (auth.), Fariba Sadri (eds.), Jörg H. Siekmann, Antonis C. Kakas, Luís Moniz Pereira
Издательство: Springer
Год: 2002
Формат: pdf
Страниц: 684
Размер: 10 Mb
Язык: English

This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre.

Название: 3D game engine design. A practical approach to real-time computer graphics
Автор: David H. Eberly
Издательство: Morgan Kaufmann Publishers
Год: 2000
Формат: pdf
Страниц: 586
Размер: 74 Mb
Язык: English

Now considered an essential reference in the game industry, 3D Game Engine Design is the first book to go beyond basic descriptions of algorithms and accurately demonstrate the complex engineering process required to design and build a real-time graphics engine to support physical realism. Faster algorithms will always win out over faster processors and assembly-language optimization techniques. Implementing those algorithms, however, can be a challenge for even experienced programmers.

Название: Sorting. A distribution theory
Автор: Hosam M. Mahmoud
Издательство: Wiley
Год: 2000
Формат: pdf
Страниц: 405
Размер: 14 Mb
Язык: English

A cutting-edge look at the emerging distributional theory of sorting. Research on distributions associated with sorting algorithms has grown dramatically over the last few decades, spawning many exact and limiting distributions of complexity measures for many sorting algorithms. Yet much of this information has been scattered in disparate and highly specialized sources throughout the literature. In Sorting: A Distribution Theory, leading authority Hosam Mahmoud compiles, consolidates, and clarifies the large volume of available research, providing a much-needed, comprehensive treatment of the entire emerging distributional theory of sorting.

Название: Introduction to Java Programming and Data Structures, Comprehensive Version, 12th Edition
Автор: Y. Daniel Liang
Издательство: Pearson Education
Год: 2020
Страниц: 1717
Размер: 166,44 МБ
Формат: PDF
Язык: English

Introduction to Java Programming and Data Structures seamlessly integrates programming, data structures, and algorithms into one text. With a fundamentals-first approach, the text builds a strong foundation of basic programming concepts and techniques before teaching students object-oriented programming and advanced Java programming. Liang explains programming in a problem-driven way that focuses on problem solving rather than syntax, illustrating basic concepts by example and providing a large number of exercises with various levels of difficulty for students to practice.

Название: Introduction to Visual Studio and C#: An Introduction to Object-Oriented Programming
Автор: Еngr. Michаеl Dаvid
Издательство: Independently published
Год: 2021
Язык: английский
Формат: pdf (true), azw3, mobi, epub
Размер: 10.1 MB

In this Book we will use Visual Studio and C#. C# is the programming language, while Visual Studio is the development environment. Microsoft Visual Studio is an integrated development environment (IDE) from Microsoft. It can be used to develop console and graphical user interface applications along with Windows Forms applications, web sites, web applications, and web services in both native code together with managed code for all platforms supported by Microsoft Windows, Windows Phone, Windows CE, .NET Framework, .NET Compact Framework and Microsoft Silverlight.

Название: Rust Programming: Rust Programming Foundations, 3nd edition
Автор: Claudia Alves, Rufus Stewart
Издательство: Memlnc
Год: 2021.01.24
Страниц: 336
Язык: английский
Формат: pdf, azw3, rtf, epub
Размер: 10.1 MB

After reading this book, you'll be ready to build Rust applications! Rust is a statically and strongly typed systems programming language. statically means that all types are known at compile-time, strongly means that these types are designed to make it harder to write incorrect programs. A successful compilation means you have a much better guarantee of correctness than with a cowboy language like C. systems means generating the best possible machine code with full control of memory use. So the uses are pretty hardcore: operating systems, device drivers and embedded systems that might not even have an operating system. However, it's actually a very pleasant language to write normal application code in as well.

Название: SPSS Statistics For Dummies, 4th Edition
Автор: Jesus Salcedo, Keith McCormick
Издательство: Wiley
Год: 2020
Формат: true pdf, epub
Страниц: 480
Размер: 46.8 Mb, 24.2 Mb
Язык: English

DESCRIPTION
The fun and friendly guide to mastering IBM’s Statistical Package for the Social Sciences
Written by an author team with a combined 45 years of experience using SPSS, this updated guide takes the guesswork out of the subject and helps you get the most out of using the leader in predictive analysis.
Covering the latest release and updates to SPSS 25.0, and including over 100 pages of basic statistical theory, it helps you understand the mechanics behind the calculations, perform predictive analysis, produce informative graphs, and more. You’ll even dabble in programming as you expand SPSS functionality to suit your specific needs.

Название: Introduction to Python for Engineers and Scientists: Open Source Solutions for Numerical Computation
Автор: Sandeep Nagar
Издательство: Apress
Год: 2018
Страниц: 254
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English

Familiarize yourself with the basics of Python for engineering and scientific computations using this concise, practical tutorial that is focused on writing code to learn concepts. Introduction to Python is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.

Название: Programming In Ansi C, 8th Edition
Автор: E. Balagurusamy
Издательство: McGraw Hill Education
Год: 2019
Страниц: 102
Язык: английский
Формат: pdf
Размер: 10.1 MB

The book "Programming in ANSI C" has been developed specifically to meet the needs of a first-time learner who is keen to be a programmer. Distinguished as one of the bestsellers in the market, the book is taking forward another step in pursuit of perfection with this new edition. It follows a hierarchical approach by explaining the concepts from elementary to advanced level. The exhaustive coverage of critical concepts, such as Arrays, Strings, Functions, Pointers, Self-referential Structures, Dynamic Memory Allocation, etc. makes this title a complete reference guide for the beginners as well as life-long learners. Rich pedagogy, challenging programming problems, and concretely curated appendices enhance the utility of the book and make it a lasting resource for students and instructors.