Reliable graphing methods for boolean functions of 2...

Main
Mathematics - Computational Mathematics
Reliable graphing methods for boolean...

Reliable graphing methods for boolean functions of 2 variables

Tupper.

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

Mathematics - Computational Mathematics

Dil:

english

Səhifələr:

10

Fayl:

DJVU, 210 KB

IPFS:

,

english0

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Shmuel Gal (auth.), Willard L. Miranker, Richard A. Toupin (eds.) — Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12–14, 1985 Proceedings

Macleod. — Algorithm 779. Fermi-Dirac functions of orders half to 5 halves

Burden — Numerical Analysis

E. Adams and U. Kulisch (Eds.) — Scientific Computing with Automatic Result Verification

Ulrich W. Kulisch, Willard L. Miranker, Werner Rheinboldt — Computer Arithmetic in Theory and Practice

Ulrich W. Kulisch, Willard L. Miranker — A New Approach to Scientific Computation

Ramon E. Moore — Reliability in Computing. The Role of Interval Methods in Scientific Computing

John Rischard Rice, University of Wisconsin--Madison, 1977 Mathematical Software Symposium, University of Wisconsin--Madison Mathematics Research Center — Mathematical Software. Proceedings of a Symposium Conducted by the Mathematics Research Center, the University of Wisconsin–Madison, March 28–30, 1977

Christian Ullrich — Computer Arithmetic and Self-Validating Numerical Methods

James S. Vandergraft — Introduction to Numerical Computations

Jurg Nievergelt, etc. — Computer approaches to mathematical problems

Martin Charles Golumbic, Irith Ben-Arroyo Hartman — Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications

R. Baker Kearfott — Rigorous global search: continuous problems

— International Symposium on Symbolic and Algebraic Computation 92: July 27-29, Berkeley California

Collins, Krandick. — Hybrid method for polynomial real roots

G. W. Stewart — Afternotes on numerical analysis: a series of lectures on elementary numerical analysis presented at the University of Maryland at College Park and recorded after the fact

Edited by Bo Einarsson — Accuracy and reliability in scientific computing

Joao Manuel RS Tavares, Jorge R.M. Natal — Computational Vision and Medical Image Processing IV: VIPIMAGE 2013

Kulisch, Ulrich — Computer arithmetic and validity: Theory, implementation, and applications

Ulrich Kulisch — Computer Arithmetic and Validity: Theory, Implementation, and Applications

Prof. Dr.-Ing. E. Adams (auth.), Prof. Dr. Götz Alefeld, Prof. Dr. Rolf Dieter Grigorieff (eds.) — Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis)

Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.) — Perspectives on Enclosure Methods

G. Alefeld, J. Rohn, S. M. Rump, T. Yamamoto (auth.), Univ. –Prof. Dr. Götz Alefeld, Prof. Dr. Jiří Rohn, Prof. Dr. Siegfried Rump, Prof. Dr. Tetsuro Yamamoto (eds.) — Symbolic Algebraic Methods and Verification Methods

Christophe Deknudt, Franc̨ois-Xavier Coudoux, Patrick Corlay, Marc Gazalet (auth.), Jacques Blanc-Talon, Andrzej Kasinski, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.) — Advanced Concepts for Intelligent Vision Systems: 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

Christoph W. Ueberhuber (auth.) — Numerical Computation 1: Methods, Software, and Analysis

Dr. Dragutin Petkovic (auth.), Alberto Del Bimbo (eds.) — Image Analysis and Processing: 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume I

Kai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aurélio Campilho (eds.) — Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part I

Açar ifadələr