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.

Books Journals

Discrete Numerical Methods in Physics and Engineering
1st Edition
Volume 107
Greenspan
English
Bilinear Control Processes: with Applications to Engineering, Ecology, and Medicine
1st Edition
Volume 106
Mohler
English
Advances in Electronics and Electron Physics
1st Edition
Volume 34
English
Integral Equations and Stability of Feedback Systems
1st Edition
Volume 104
Corduneanu
English
Automation Theory and Modeling of Biological Systems
1st Edition
Volume 102
Tsetlin
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.
Methods of Nonlinear Analysis
1st Edition
Volume 61B
Bellman
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Computer science

Discrete Numerical Methods in Physics and Engineering

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

Advances in Electronics and Electron Physics

Integral Equations and Stability of Feedback Systems

Automation Theory and Modeling of Biological Systems

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

Foundations of the Theory of Learning Systems

Random Differential Equations in Science and Engineering

Symbolic Logic and Mechanical Theorem Proving

Methods of Nonlinear Analysis

Related subjects