Logic in Computer Science: Modelling and Reasoning about Systems, Paperback - Michael Huth

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern comput...

Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of...

This textbook introduces the basic concepts of mathematical modelling when applied to natural systems. It focuses on tackling real-world problems f...

The eagerly anticipated updated resource on one of the most important areas of research and development: multi-agent systemsMulti-agent systems all...

Publisher: Elsevier Science Publishing Co IncIllustration(s): Approx. 100 illustrations; Illustrations, unspecifiedNumber of pages: 388Publication ...

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verifi...

Publisher: Koros Press LimitedPublication date: 2015Dimensions: 165 x 245 x 21Cover type: HardbackRedescopera farmecul lecturii si alege-ti de pe e...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Publisher: John Wiley & Sons IncAuthor(s): Mike BursellNumber of pages: 352Publication date: 2021Dimensions: 193 x 243 x 27Cover type: HardbackRede...

Tackling A Level projects in Computer Science for AQA 7517 is the essential student guide for completing the project and, in particular, the report...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Develop understanding of computer systems, the internet and emerging technologies with further practise questions and activities. This Workbook pro...

DescriptionResilience engineering has consistently argued that safety is more than the absence of failures. Since the first book was published in 2...

Tackling A Level projects in Computer Science for OCR H446 is the essential student guide for completing the project and, in particular, the report...

Reducere. A high-level overview of networking, data science and computer security. Designed for readers who don't care for academic formalities, it's a fast ...

This textbook is ideally suited for an undergraduate course in database systems. The discipline of database systems design and management is discus...

By building from plant-fungal structure-function relationships and evolution, this volume provides descriptions of how mycorrhizae work, and how to...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

My Microsoft(R) Windows(R) 10 for Seniors is an easy, full-color tutorial on the latest operating system from Microsoft. Veteran author Michael Mil...

DescriptionThis is the era of Big Data and computational social science. It is an era that requires tools which can do more than visualise data but...

- Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study. - Motivation is gi...

The Gift Of Logic (tm) Critical Thinking & Logical Reasoning Series is a set of twelve workbooks written with the goal of establishing a basic stan...

Reducere. A high-level overview of networking, data science and computer security. Designed for readers who don't care for academic formalities, it's a fast ...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

While simulation has a vast area of application, this textbook focuses on the use of simulation to analyse business processes.Publisher: Taylor & F...

DescriptionAn introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications ra...

Contributor(s): Author: Michael SellersIn Advanced Game Design, pioneering game designer and instructor Michael Sellers situates game design practi...

This book is intended for graduates and professionals working towards the development of sustainable built environment using renewable energy sourc...

This book researches the networked delay compensation and event-triggered control approaches for a series of CPSs subject to network-induced uncert...

Focusing on how visual information is represented, stored and extracted in the human brain, this book uses cognitive neural modeling in order to sh...

Reducere. Guided by 20th century theories of language, Hansen's novel approach to interpretive theory launched the modern analytical study of Ancient Chinese...