Books in Computer science

Fundamentals of Data Science

1st Edition
November 17, 2023
Jugal K. Kalita + 2 more
English
Paperback
9 7 8 0 3 2 3 9 1 7 7 8 0
eBook
9 7 8 0 3 2 3 9 7 2 6 3 5

Fundamentals of Data Science: Theory and Practice presents basic and advanced concepts in data science along with real-life applications. The book provides students, researchers and professionals at different levels a good understanding of the concepts of data science, machine learning, data mining and analytics. Users will find the authors’ research experiences and achievements in data science applications, along with in-depth discussions on topics that are essential for data science projects, including pre-processing, that is carried out before applying predictive and descriptive data analysis tasks and proximity measures for numeric, categorical and mixed-type data. The book's authors include a systematic presentation of many predictive and descriptive learning algorithms, including recent developments that have successfully handled large datasets with high accuracy. In addition, a number of descriptive learning tasks are included.

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.

Annual Review in Automatic Programming

1st Edition
July 29, 2016
Richard Goodman
English
eBook
9 7 8 1 4 8 3 2 2 2 8 2 0

Annual Review in Automatic Programming, Volume 2 is a collection of papers that discusses the controversy about the suitability of COBOL as a common business oriented language, and the development of different common languages for scientific computation. A couple of papers describes the use of the Genie system in numerical calculation and analyzes Mercury autocode in terms of a phrase structure language, such as in the source language, target language, the order structure of ATLAS, and the meta-syntactical language of the assembly program. Other papers explain interference or an "intermediate return" using ALGOL, the National-Elliot 803 Computer, and the MADCAP II. MADCAP II is A version of the automatic programming compiler for MANIAC II. One paper discusses the APT which serves as a common computer language for computational problems. Another paper explains SAKO which can bypass machine language almost entirely in the field of numerical and logical problems, particularly in programs using XYZ and ZAM II. A report of the Working Committee of the British Computer Society Discussion Group No. 5 concludes that COBOL is unnecessarily complex due to its close machine orientation. Computer engineers, computer instructors, programmers, and students of computer science will find the collection highly valuable.

Programming—ALGOL

1st Edition
June 6, 2016
D. J. Malcolme-Lawes
English
eBook
9 7 8 1 4 8 3 1 5 4 8 8 6

Programming—ALGOL is an instructional book on how to write programs using the Algol language. The book starts with an introduction to computers. The Algol language, which runs on instructions typed or punched on strips of paper by the flexowriter, is explained. The text also compares the instructions used in Algol with words in the English language. The command instructions, calculation of numbers, and printing the output are discussed. After a brief introduction into what a program is, the book gives other commands to be added and improve the program. A sample program for repeating calculations is shown with different variables inputted to the program, and then arranging these for the output. The text then introduces the label and the block parts of the program, especially in procedures when several similar sets of commands are required. After the Algol syntax is explained, the different techniques used in programming are considered. In getting a problem into a form and making translation to Algol easier, the flow diagram is introduced. The process of actually running the program by compiling it, using data and program tapes, then begins. The text makes for interesting reading for computer programming instructors, students of introductory programing, and for readers who are interested in the history of computer programming.

Real Time Programming 1977

1st Edition
June 6, 2016
C. H. Smedema
English
eBook
9 7 8 1 4 8 3 1 5 4 5 8 9

Real Time Programming 1977 covers the proceedings of the IFAC/IFIP Workshop, held in Eindhoven, Netherlands, on June 20-22, 1977. The book focuses on the languages, methods, and techniques in real time programming, including debugging systems, hardware, parallel programs, and multi-processor systems. The selection first discusses experience with the programming language modula; flexible approaches to process communication; and high level process control “Esprit“ and its source level debugging system “Solda“. The book then takes a look at software tools for designing and realizing distributed systems in process control and steps in implementing a parallel code executor, including system decomposition, challenge of the new hardware, and situation of real-time programming. The publication reviews software specification language for sequential processes and petri nets for proving correctness of parallel programs. Concerns include state graphs as a model for automata and petri net application to programs. The text also focuses on real-time distributed processing system using GEC 4000 series computers; integration of high-level interpretive software with microprocessor-based distributed control systems; and software approach for multi-processor systems. The selection is a vital reference for readers interested in real-time programming.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Computer science

Fundamentals of Data Science

CISSP® Study Guide

Algebraic Theory for True Concurrency

Differential Equations with Mathematica

Computer Arithmetic and Formal Proofs

Differential Equations with Mathematica

Cognitive Computing: Theory and Applications

Annual Review in Automatic Programming

Programming—ALGOL

Real Time Programming 1977