Lev D. Beklemishev 
Computer Programming and Formal Systems [PDF ebook] 

Support
Cover of Lev D. Beklemishev: Computer Programming and Formal Systems (PDF)

Computer Programming and Formal Systems

€219.13
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9780080957463 ● Publisher Elsevier Science ● Published 2000 ● Downloadable 6 times ● Currency EUR ● ID 2267043 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Lev D. Beklemishev

49,025 Ebooks in this category

Cover of Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics
Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics
Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …
EPUB
Adobe DRM
€58.86
Cover of G.H Kirov: Approximation with Quasi-Splines
G.H Kirov: Approximation with Quasi-Splines
In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …
EPUB
Adobe DRM
€64.44
Cover of Ming Lu: Development and Application of Discontinuous Modelling for Rock Engineering
Ming Lu: Development and Application of Discontinuous Modelling for Rock Engineering
The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …
EPUB
Adobe DRM
€251.35
Cover of Chris Chatfield: Introduction to Multivariate Analysis
Chris Chatfield: Introduction to Multivariate Analysis
This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple componen …
EPUB
Adobe DRM
€124.19
Cover of Clarence W. (University of British Columbia, Vancouver, Canada) de Silva: Intelligent Control
Clarence W. (University of British Columbia, Vancouver, Canada) de Silva: Intelligent Control
The emergence of fuzzy logic and its applications has dramatically changed the face of industrial control engineering. Over the last two decades, fuzzy logic has allowed control engineers to meet and …
EPUB
Adobe DRM
€238.12
Cover of Carl Faith: Injective Modules and Injective Quotient Rings
Carl Faith: Injective Modules and Injective Quotient Rings
First published in 1982. These lectures are in two parts. Part I, entitled injective Modules Over Levitzki Rings , studies an injective module E and chain conditions on the set A^(E, R) of right idea …
EPUB
Adobe DRM
€276.40
Cover of David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics
David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics
Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …
EPUB
Adobe DRM
€57.99
Cover of Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids
Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids
Linear and Non-Linear Deformations of Elastic Solids aims to compile the advances in the field of linear and non-linear elasticity through discussion of advanced topics. Broadly classified into two p …
EPUB
Adobe DRM
€225.03
Cover of Rupert Lasser: Introduction to Fourier Series
Rupert Lasser: Introduction to Fourier Series
This work addresses all of the major topics in Fourier series, emphasizing the concept of approximate identities and presenting applications, particularly in time series analysis. It stresses through …
EPUB
Adobe DRM
€141.79
Cover of Lakshmikantham: nonlinear analysis and applications
Lakshmikantham: nonlinear analysis and applications
This book attempts to put together the works of a wide range of mathematical scientists. It consists of the proceedings of the Seventh Conference on ‘Nonlinear Analysis and Applications’ including pa …
EPUB
Adobe DRM
€237.52
Next page >>>