Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Authors:
Chin-Liang Chang, Richard Char-Tung Lee
ISBN13:
9780121703509
Edition:
1
Published:
1973-06-11
Language:
en

A Study Of Computer Software In Secondary School Mathematics: A Study Of The Availability, Use And Effect Of Computer Software In Secondary School Mathematics

A Study Of Computer Software In Secondary School Mathematics: A Study Of The Availability, Use And Effect Of Computer Software In Secondary School Mathematics

Authors:
Kazeem Osuolale
ISBN13:
9783659218958
Edition:
1
Published:
2012-09-07
Language:
en

Chaos and Fractals: the Mathematics Behind the Computer Graphics + Chaos, Fractals and Dynamics: Computer Experiments in Mathematics, With Robert L. Devaney (Science Television Productions)

Chaos and Fractals: the Mathematics Behind the Computer Graphics + Chaos, Fractals and Dynamics: Computer Experiments in Mathematics, With Robert L. Devaney (Science Television Productions)

Authors:
Robert L. Devaney
ISBN13:
9780821801420
Edition:
Har/Vhs
Published:
1989-12-31
Language:
en

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Authors:
Chin-Liang Chang, Richard Char-Tung Lee
ISBN13:
9780080917283
Edition:
1
Published:
2014
Language:
en

Mathematics for Computer Graphics and Game Programming: A Self-Teaching Introduction

Mathematics for Computer Graphics and Game Programming: A Self-Teaching Introduction

Authors:
D. P. Kothari, G. Awari, D. Shrimankar, A. Bhende
ISBN13:
9781683923565
Published:
2019-01-22
Language:
en

Applied Geometry for Computer Graphics and CAD (Springer Undergraduate Mathematics Series)

Applied Geometry for Computer Graphics and CAD (Springer Undergraduate Mathematics Series)

Authors:
Duncan Marsh
ISBN13:
9781852338015
Edition:
2nd
Published:
2005-01-03
Language:
en

The 2. Practice Test for the TestAS Mathematics, Computer Science and Natural Sciences (Preparation Book for the TestAS Mathematics, Computer Science and Natural Sciences 2024)

The 2. Practice Test for the TestAS Mathematics, Computer Science and Natural Sciences (Preparation Book for the TestAS Mathematics, Computer Science and Natural Sciences 2024)

Authors:
edulink GmbH
ISBN13:
9798326006745
Published:
2024-07-09
Language:
en

Discrete Mathematics for Computer Science (with Student Solutions Manual CD-ROM)

Discrete Mathematics for Computer Science (with Student Solutions Manual CD-ROM)

Authors:
Gary Haggard, John Schlipf, Sue Whitesides
ISBN13:
9780534495015
Edition:
1
Published:
2005-02-01
Language:
en

The Experimenter's A-Z of Mathematics: Math Activities with Computer Support

The Experimenter's A-Z of Mathematics: Math Activities with Computer Support

Authors:
Steve Humble
ISBN13:
9781134139460
Edition:
1
Published:
2017
Language:
en

Shape Interrogation for Computer Aided Design and Manufacturing (Mathematics and Visualization)

Shape Interrogation for Computer Aided Design and Manufacturing (Mathematics and Visualization)

Authors:
Nicholas M. Patrikalakis, Takashi Maekawa
ISBN13:
9783540424543
Edition:
2002
Published:
2002-02-14
Language:
en

Some Tapas of Computer Algebra (Algorithms and Computation in Mathematics, 4)

Some Tapas of Computer Algebra (Algorithms and Computation in Mathematics, 4)

Authors:
Arjeh M. Cohen, Hans. Cuypers, Hans. Sterk
ISBN13:
9783540634805
Edition:
1999
Published:
1998-12-15
Language:
en

Algebra 1: Computer Test Generator (Prentice Hall Mathematics) (Book & CD-ROM)

Algebra 1: Computer Test Generator (Prentice Hall Mathematics) (Book & CD-ROM)

Authors:
Prentice Hall
ISBN13:
9780130633927
Published:
2004
Language:
en

Recent Advances In Mathematics, Statistics And Computer Science 2015 - International Conference

Recent Advances In Mathematics, Statistics And Computer Science 2015 - International Conference

Authors:
Arun Kumar Sinha, R Rajesh, Prabhat Ranjan, Rajesh Pratap Singh
ISBN13:
9789814704847
Edition:
1
Published:
2016
Language:
zh

Mathematical Experiments on the Computer, Vol. 105 (Pure and Applied Mathematics)

Mathematical Experiments on the Computer, Vol. 105 (Pure and Applied Mathematics)

Authors:
Ulf Grenander
ISBN13:
9780123017505
Edition:
First Edition
Published:
1982-11-11
Language:
en

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Authors:
Norbert Schorghofer
ISBN13:
9781138070585
Edition:
1
Published:
2018-10-10
Language:
en

Mathematical Structures for Computer Science: A Modern Treatment of Discrete Mathematics

Mathematical Structures for Computer Science: A Modern Treatment of Discrete Mathematics

Authors:
Judith L. Gersting
ISBN13:
9780716743583
Edition:
Fifth
Published:
2002-07-19
Language:
en

Prime Numbers and Computer Methods for Factorization (Progress in Mathematics, 126)

Prime Numbers and Computer Methods for Factorization (Progress in Mathematics, 126)

Authors:
Hans Riesel
ISBN13:
9781461266815
Edition:
Softcover reprint of the original 2nd ed. 1994
Published:
2012-09-30
Language:
en

Introduction to the theory of computation (Computer science and applied mathematics)

Introduction to the theory of computation (Computer science and applied mathematics)

Authors:
Erwin Engeler
ISBN13:
9780122392504
Edition:
First Edition
Published:
1973
Language:
en

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Authors:
Norbert Schorghofer
ISBN13:
9781138070639
Edition:
1
Published:
2018-09-27
Language:
en

Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science, 2122)

Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science, 2122)

ISBN13:
9783540427759
Edition:
2001
Published:
2001-10-24
Language:
en