This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Meer
Excel Basics to Blackbelt is intended to serve as an accelerated guide to decision support designs. Its structure is designed to enhance the skills in Excel of those who have never used it for anything but possibly storing phone numbers, enabling them to reach a level of mastery that will allow them to develop user interfaces and automated applications. Meer
Randomization and probabilistic techniques play an important role in modern computer science, with applications ranging from combinatorial optimization and machine learning to communication networks and secure protocols. Meer
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. Meer
Teaches students how to solve ethical dilemmas in the field of computing, taking a philosophical, rather than a legal, approach to the topic. It first examines the principles of Idealism, Realism, Pragmatism, Existentialism, and Philosophical Analysis, explaining how each of them might be adopted as a basis for solving computing dilemmas. Meer
A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars. Meer
Deductive Databases and their Applications is an introductory text aimed at undergraduate students with some knowledge of database and information systems. Meer
€ 98,58
Levertijd ongeveer 11 werkdagen | Gratis verzonden
This handy textbook covers all you need to know about word processing.
Learning Made Simple books give you skills without frills. They are matched to the main qualifications, and written by experienced teachers and authors to make often tricky subjects simple to learn. Meer
€ 29,28
Levertijd ongeveer 11 werkdagen | Gratis verzonden
This fundamental monograph introduces both the probabilistic and algebraic aspects of information theory and coding. It has evolved from the authors' years of experience teaching at the undergraduate level, including several Cambridge Maths Tripos courses. Meer
In this text, students of applied mathematics, science and engineering are introduced to fundamental ways of thinking about the broad context of parallelism. Meer
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. Meer
Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. Meer
This guide unlocks the secrets of successful online collecting, buying and selling, for the enthusiastic beginner to the seasoned professional. It includes real-life stories of the eBay experience. Meer
€ 28,81
Levertijd ongeveer 16 werkdagen | Gratis verzonden
The book is aimed at Project Management Professionals who are casual or new users and understand the software basics but require a short and snappy guide. Meer
Investigative Data Mining for Security and Criminal Detection is the first book to outline how data mining technologies can be used to combat crime in the 21st century. Meer
BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications.
This book caters for one of the most popular pathways in the BTEC National specifications, bringing together all the key specialist units for students who have chosen the business route, including the core units specific to this pathway that aren't covered in the core unit book. Meer
€ 64,64
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books