Mathematical foundations
Results 261 - 268 of 268
Mathematical foundations
Hardcover. Scaling Analysis in Modeling Transport and Reaction Processes is the first book to provide in-depth information on systematic scaling analysis in diverse disciplines. It is logically divided into chapters on the use of systematic scaling analysis in fluid dynamics, heat transfer, mass transfer, and reaction processes. Num Pages: 530 pages, illustrations. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 235 x 162 x 32. Weight in Grams: 904.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 530
- Condition
- New
- SKU
- V9780471772613
- ISBN
- 9780471772613
Hardback
Condition: New
€ 185.30
€ 185.30
Hardcover. Praise for William Dunham s Journey Through Genius The Great Theorems of Mathematics "Dunham deftly guides the reader through the verbal and logical intricacies of major mathematical questions and proofs, conveying a splendid sense of how the greatest mathematicians from ancient to modern times presented their arguments. Num Pages: 320 pages, illustrations; portraits. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 158 x 28. Weight in Grams: 638.
- Publisher
- Wiley
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 1990
- Edition
- 1st
- Condition
- New
- SKU
- V9780471500308
- ISBN
- 9780471500308
Hardback
Condition: New
€ 40.99€ 28.64
€ 40.99
€ 28.64
Hardback. Num Pages: 272 pages, 42 line illus. BIC Classification: PBC; PHU; PHVB; PHVG. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 187 x 261 x 22. Weight in Grams: 756.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780691170602
- ISBN
- 9780691170602
Hardback
Condition: New
€ 88.33€ 68.86
€ 88.33
€ 68.86
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.27
€ 259.27
Paperback. The axiomatic theory of sets is a vibrant part of pure mathematics, and is also viewed as a foundation of mathematics. This book addresses both pure math and the fundamentals. The new edition is reworked and expanded for improved presentation. Series: Undergraduate Texts in Mathematics. Num Pages: 290 pages, biography. BIC Classification: PBCH. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 160 x 22. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd
- Number of pages
- 292
- Condition
- New
- SKU
- V9780387287232
- ISBN
- 9780387287232
Paperback
Condition: New
€ 86.57
€ 86.57
Paperback. This fresh edition of the straightforward introduction to modern mathematical logic retains its appeal to the intuition of working mathematicians, yet along with the material from the first edition, it has fresh chapters, one of which deals with Model Theory. Translator(s): Koblitz, Neal. Series: Graduate Texts in Mathematics. Num Pages: 402 pages, 12 black & white illustrations, 4 black & white tables, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Condition
- New
- SKU
- V9781461424796
- ISBN
- 9781461424796
Paperback
Condition: New
€ 84.62
€ 84.62
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 148.65
€ 148.65
Hardcover. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic.. ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 272 pages, index. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780471060260
- ISBN
- 9780471060260
Hardback
Condition: New
€ 212.06
€ 212.06