Skip to main content
Elsevier
View Cart
openUserAccount

Books in Computer science

BooksJournals
11-20 of 220 results in All results

CISSP® Study Guide

  • 4th Edition
  • January 25, 2023
  • Joshua Feldman + 2 more
  • English
  • Paperback
    9 7 8 - 0 - 4 4 3 - 1 8 7 3 4 - 6
  • eBook
    9 7 8 - 0 - 4 4 3 - 1 8 7 3 5 - 3
CISSP® Study Guide, Fourth Edition provides the latest updates on CISSP® certification, the most prestigious, globally-recognized, vendor neutral exam for information security professionals. In this new edition, readers will learn about what's included in the newest version of the exam’s Common Body of Knowledge. The eight domains are covered completely and as concisely as possible. Each domain has its own chapter, including specially designed pedagogy to help readers pass the exam. Clearly stated exam objectives, unique terms/definitions, exam warnings, learning by example, hands-on exercises, and chapter ending questions help readers fully comprehend the material.

Algebraic Theory for True Concurrency

  • 1st Edition
  • January 3, 2023
  • Yong Wang
  • English
  • Paperback
    9 7 8 - 0 - 4 4 3 - 1 8 9 1 2 - 8
  • eBook
    9 7 8 - 0 - 4 4 3 - 1 8 9 1 3 - 5
Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

Differential Equations with Mathematica

  • 5th Edition
  • January 18, 2022
  • Martha L. Abell + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 2 4 1 6 0 - 8
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 8 4 3 6 - 2
Differential Equations with Mathematica, Fifth Edition uses the fundamental concepts of the popular platform to solve (analytically, numerically, and/or graphically) differential equations of interest to students, instructors, and scientists. Mathematica’s diversity makes it particularly well suited to performing calculations encountered when solving many ordinary and partial differential equations. In some cases, Mathematica’s built-in functions can immediately solve a differential equation by providing an explicit, implicit, or numerical solution. In other cases, Mathematica can be used to perform the calculations encountered when solving a differential equation. Because one goal of elementary differential equations courses is to introduce students to basic methods and algorithms so that they gain proficiency in them, nearly every topic covered this book introduces basic commands, also including typical examples of their application. A study of differential equations relies on concepts from calculus and linear algebra, so this text also includes discussions of relevant commands useful in those areas. In many cases, seeing a solution graphically is most meaningful, so the book relies heavily on Mathematica’s outstanding graphics capabilities.

Computer Arithmetic and Formal Proofs

  • 1st Edition
  • November 16, 2017
  • Sylvie Boldo + 1 more
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 1 1 2 - 3
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 1 1 7 0 - 6
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Differential Equations with Mathematica

  • 4th Edition
  • September 13, 2016
  • Martha L. Abell + 1 more
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 4 7 7 7 - 4
Differential Equations with Mathematica, Fourth Edition is a supplementing reference which uses the fundamental concepts of the popular platform to solve (analytically, numerically, and/or graphically) differential equations of interest to students, instructors, and scientists. Mathematica’s diversity makes it particularly well suited to performing calculations encountered when solving many ordinary and partial differential equations. In some cases, Mathematica’s built-in functions can immediately solve a differential equation by providing an explicit, implicit, or numerical solution. In other cases, mathematica can be used to perform the calculations encountered when solving a differential equation. Because one goal of elementary differential equations courses is to introduce students to basic methods and algorithms so that they gain proficiency in them, nearly every topic covered this book introduces basic commands, also including typical examples of their application. A study of differential equations relies on concepts from calculus and linear algebra, so this text also includes discussions of relevant commands useful in those areas. In many cases, seeing a solution graphically is most meaningful, so the book relies heavily on Mathematica’s outstanding graphics capabilities.

Cognitive Computing: Theory and Applications

  • 1st Edition
  • Volume 35
  • September 9, 2016
  • Vijay V Raghavan + 3 more
  • English
  • Hardback
    9 7 8 - 0 - 4 4 4 - 6 3 7 4 4 - 4
  • eBook
    9 7 8 - 0 - 4 4 4 - 6 3 7 5 1 - 2
Cognitive Computing: Theory and Applications, written by internationally renowned experts, focuses on cognitive computing and its theory and applications, including the use of cognitive computing to manage renewable energy, the environment, and other scarce resources, machine learning models and algorithms, biometrics, Kernel Based Models for transductive learning, neural networks, graph analytics in cyber security, neural networks, data driven speech recognition, and analytical platforms to study the brain-computer interface.

Servicing Personal Computers

  • 2nd Edition
  • June 6, 2016
  • Michael Tooley
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 1 - 0 1 0 3 - 3
Servicing Personal Computers, Second Edition focuses on the techniques and processes involved in the repair of personal computers. The book first discusses microcomputer systems. Microprocessors, Z80 support devices, random access memory, parallel input and output, and memory mapped input and output are then explained. The text looks at test equipment, printers and monitors, and tapes and disk drives. The publication also discusses fault diagnosis and considers initial check procedures, testing the CPU board, and miscellaneous faults. The book then underscores the servicing of IBM PC and compatibles. The 8086 and 8088 microprocessors, 8086 registers, 80286 microprocessor, support devices, and useful memory locations are described. The text also presents commonly used symbols, TTL families and device numbering, common TTL pin-outs, RAM data, and equivalent logic functions. The selection is a vital source of information for those interested in personal computer repair.

Newnes Telecommunications Pocket Book

  • 1st Edition
  • June 6, 2016
  • E. A. Edis + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 1 - 0 1 0 1 - 9
Newnes Telecommunications Pocket Book discusses the equipment, systems, and techniques used in the telecommunications network. The book is comprised of 25 chapters that are organized into four parts. The first part covers components of particular relevance to telecommunications. The second part deals with commonly used circuit assemblies such as filters, attenuators, modems, and digitizers. The third part discusses organization and standards. The last part talks about telecommunications network practice, including analogue and digital, fixed and mobile systems. This text will be of great use to professionals in the telecommunications industry.