Skip to main content
Elsevier
View Cart

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 35
    • English

  • Discrete Numerical Methods in Physics and Engineering

    • 1st Edition
    • Volume 107
    • Greenspan
    • English

  • An Introduction to Nonlinear Boundary Value Problems

    • 1st Edition
    • Volume 109
    • Lakshmikantham
    • English
    A book on an advanced level that exposes the reader to the fascinating field of differential equations and provides a ready access to an up-to-date state of this art is of immense value. This book presents a variety of techniques that are employed in the theory of nonlinear boundary value problems. For example, the following are discussed: methods that involve differential inequalities; shooting and angular function techniques; functional analytic approaches; topological methods.

  • Bilinear Control Processes: with Applications to Engineering, Ecology, and Medicine

    • 1st Edition
    • Volume 106
    • Mohler
    • English

  • Integral Equations and Stability of Feedback Systems

    • 1st Edition
    • Volume 104
    • Corduneanu
    • English

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 34
    • English

  • Introduction to the Theory and Application of Differential Equations with Deviating Arguments

    • 1st Edition
    • Volume 105
    • L.E. El'sgol'ts + 1 more
    • English
    Introduction to the Theory and Application of Differential Equations with Deviating Arguments 2nd edition is a revised and substantially expanded edition of the well-known book of L. E. El’sgol’ts published under this same title by Nauka in 1964. Extensions of the theory of differential equations with deviating argument as well as the stimuli of developments within various fields of science and technology contribute to the need for a new edition. This theory in recent years has attracted the attention of vast numbers of researchers, interested both in the theory and its applications. The development of the foundations of the theory of differential equations with a deviating argument is still far from complete. This situation, of course, leaves its mark on our suggestions to the reader of the book and prevents as orderly and systematic a presentation as is usual for mathematical literature. However, it is hoped that in spite of these deficiencies the book will prove useful as a first acquaintanceship with the theory of differential equations with a deviating argument.

  • Foundations of the Theory of Learning Systems

    • 1st Edition
    • Volume 101
    • Tsypkin
    • English

  • Random Differential Equations in Science and Engineering

    • 1st Edition
    • Volume 103
    • Soong
    • English

  • Symbolic Logic and Mechanical Theorem Proving

    • 1st Edition
    • Chin-Liang Chang + 1 more
    • English
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Related subjects