Catalog > Sains > Matematika > E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 (PDF)

E. Borger & W. Oberschelp
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 [PDF ebook]
Part 2: Computation and Proof Theory

Dukung

Sampul E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 (PDF)

€43.72

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format PDF ● ISBN 9783540391197 ● Editor E. Borger & W. Oberschelp ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2006 ● Diunduh 3 kali ● Mata uang EUR ● ID 6593103 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

E. Borger W. Oberschelp M. M. Richter B. Schinzel W. Thomas

48,795 Ebooks dalam kategori ini

Sampul Jianqing Fan: Local Polynomial Modelling and Its Applications

Jianqing Fan: Local Polynomial Modelling and Its Applications

Data-analytic approaches to regression problems, arising from many scientific disciplines are described in this book. The aim of these nonparametric methods is to relax assumptions on the form of a r …

Sampul Borko Furht & Darko Kirovski: Multimedia Encryption and Authentication Techniques and Applications

Borko Furht & Darko Kirovski: Multimedia Encryption and Authentication Techniques and Applications

Intellectual property owners must continually exploit new ways of reproducing, distributing, and marketing their products. However, the threat of piracy looms as a major problem with digital distribu …

Sampul Alain Berard & Alphonse Charlier: Tensors and the Clifford Algebra

Alain Berard & Alphonse Charlier: Tensors and the Clifford Algebra

This practical reference and text presents the applications of tensors, Lie groups and algebra to Maxwell, Klein-Gordon and Dirac equations, making elementary theoretical physics comprehensible and h …

Sampul Gregory S. (Johns Hopkins University, Baltimore, Maryland, USA) Chirikjian & Alexander B. Kyatkin: Engineering Applications of Noncommutative Harmonic Analysis

Gregory S. (Johns Hopkins University, Baltimore, Maryland, USA) Chirikjian & Alexander B. Kyatkin: Engineering Applications of Noncommutative Harmonic Analysis

First published in 2001. The classical Fourier transform is one of the most widely used mathematical tools in engineering. However, few engineers know that extensions of harmonic analysis to function …

Sampul Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …

Sampul Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

This book describes different mathematical modeling and soft computing techniques used to solve practical engineering problems. It gives an overview of the current state of soft computing techniques …

Sampul Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

From the Reviews ‘[This book] contains an excellent blend of both Shiny-specific topics … and practical advice from software development that fits in nicely with Shiny apps. You will find many nugget …

Sampul Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Driven by the advancement of industrial mathematics and the need for impact case studies, Inverse Problems with Applications in Science and Engineering thoroughly examines the state-of-the-art of som …

Sampul Sunil Jacob John: Handbook of Research on Generalized and Hybrid Set Structures and Applications for Soft Computing

Sunil Jacob John: Handbook of Research on Generalized and Hybrid Set Structures and Applications for Soft Computing

Sampul Gennadiy Vladimirovich Zhizhin: Geometry of Higher-Dimensional Polytopes

Gennadiy Vladimirovich Zhizhin: Geometry of Higher-Dimensional Polytopes

Halaman selanjutnya >>>