Mathematical foundations
Results 161 - 180 of 268
Mathematical foundations
Mathematical Logic and Model Theory: A Brief Introduction (Universitex...
Prestel, Alexander, Delzell, Charles N.
Paperback. This book presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. Includes a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. Series: Universitext. Num Pages: 204 pages, biography. BIC Classification: PBCD; PBF; PBWH. Category: (P) Professional & Vocational. Dimension: 236 x 162 x 12. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9781447121756
- ISBN
- 9781447121756
Paperback
Condition: New
€ 83.54
€ 83.54
Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2012
- Edition
- 3rd ed. 2012
- Condition
- New
- SKU
- V9781447141280
- ISBN
- 9781447141280
Paperback
Condition: New
€ 78.70
€ 78.70
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
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Heijmans, Henk J. A. M.; Roerdink, J...
Hardback. The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Editor(s): Heijmans, Henk J. A. M.; Roerdink, Jos B. T. M. Series: Computational Imaging and Vision. Num Pages: 452 pages, biography. BIC Classification: PBC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 452
- Condition
- New
- SKU
- V9780792351337
- ISBN
- 9780792351337
Hardback
Condition: New
€ 136.67
€ 136.67
Paperback. Num Pages: 424 pages, illustrations. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College). Dimension: 275 x 215 x 15. Weight in Grams: 880.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 422
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9781292040646
- ISBN
- 9781292040646
Paperback
Condition: New
€ 101.53
€ 101.53
Hardcover. Editor(s): Milosav, Peter; Ercegovaca, Irene. Num Pages: 271 pages, tables & illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 261 x 185 x 21. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 271
- Condition
- New
- SKU
- V9781606928622
- ISBN
- 9781606928622
Hardback
Condition: New
€ 276.75€ 190.29
€ 276.75
€ 190.29
Paperback. Series: Prelude Science Classics. BIC Classification: PBC; PDZM. Category: (G) General (US: Trade). .
- Publisher
- Prelude
- Format
- Paperback
- Publication date
- 2017
- Condition
- New
- SKU
- V9781911440581
- ISBN
- 9781911440581
Paperback
Condition: New
€ 14.99€ 12.28
€ 14.99
€ 12.28
Hardback. Points out gaps in the way data fusion problems are conceptually treated and addresses this issue by exhibiting mathematical tools which treat combination of evidence in the presence of uncertainty in a more systematic way. This book offers research progress on data fusion and serves as an introduction to powerful techniques. Series: Theory and Decision Library B. Num Pages: 508 pages, biography. BIC Classification: PBCH; TBJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 906.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 508
- Condition
- New
- SKU
- V9780792346746
- ISBN
- 9780792346746
Hardback
Condition: New
€ 160.10
€ 160.10
Hardcover. Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties. The comprehensive text is supplemented with summaries, proofs and exercises. Num Pages: 296 pages, biography. BIC Classification: PBC; PBD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 22. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642298394
- ISBN
- 9783642298394
Hardback
Condition: New
€ 101.32
€ 101.32
Hardcover. Mathematics, Computer Science and Logic - A Never Ending Story Editor(s): Paule, Peter. Num Pages: 113 pages, 35 black & white illustrations, biography. BIC Classification: PBC; PBKS; UFM; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 239 x 162 x 14. Weight in Grams: 364.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 124
- Condition
- New
- SKU
- V9783319009650
- ISBN
- 9783319009650
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback / so. Series: Mathematisch-Physikalische Bibliothek. Num Pages: colour illustrations, bibliography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 203 x 127 x 4. Weight in Grams: 77.
- Format
- Paperback
- Publication date
- 1927
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Condition
- New
- SKU
- V9783663153054
- ISBN
- 9783663153054
Paperback
Condition: New
€ 70.07
€ 70.07
Paperback / so. Series: Mathematik Kompakt. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser United States
- Edition
- 2
- Condition
- New
- SKU
- V9783319441795
- ISBN
- 9783319441795
Paperback
Condition: New
€ 28.26
€ 28.26
Paperback. This short guide to modern error analysis is primarily intended to be used in undergraduate laboratories in the physical sciences. No prior knowledge of statistics is assumed. The necessary concepts are introduced where needed and illustrated graphically. The book emphasises the use of computers for error calculations and data fitting. Num Pages: 160 pages, 75 b/w line illustrations. BIC Classification: PBC; PDDM. Category: (UU) Undergraduate. Dimension: 244 x 189 x 9. Weight in Grams: 354.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 152
- Format
- Paperback
- Publication date
- 2010
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780199566334
- ISBN
- 9780199566334
Paperback
Condition: New
€ 36.50
€ 36.50
Paperback. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Num Pages: 302 pages, Ill. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 136 x 209 x 18. Weight in Grams: 354. An Introduction to the Metatheory of Standard First Order Logic. 302 pages, Ill. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 136 x 209 x 18. Weight: 338.
- Publisher
- University of California Press
- Number of pages
- 302
- Format
- Paperback
- Publication date
- 1996
- Edition
- New Ed
- Condition
- New
- SKU
- V9780520023567
- ISBN
- 9780520023567
Paperback
Condition: New
€ 38.99€ 28.50
€ 38.99
€ 28.50
Paperback. Tries to display the value (and joy!) of starting from a mathematically amorphous problem and combining ideas from diverse sources to produce new and significant mathematics - mathematics unforeseen from the motivating problem. This book focuses on aperiodic tilings; the best-known example is the 'kite and dart' tiling. Series: Student Mathematical Library. Num Pages: 128 pages, illustrations, references, index. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 217 x 140 x 7. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821819333
- ISBN
- 9780821819333
Paperback
Condition: New
€ 59.01
€ 59.01
Hardback. Since the 1960s, comparisons have been made between Frege's semantic views and Husserl's theory of intentional acts concerning the foundations of logic and mathematics. This book brings together a number of articles by well-known authors and gives a survey of recent developments in the field. Editor(s): Haaparanta, Leila. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792327035
- ISBN
- 9780792327035
Hardback
Condition: New
€ 133.49
€ 133.49
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Campbell, Stephen L., Chancelier, Jean-Philip...
Hardcover. Scilab is a free open-source software package for scientific computation. This is the first book to focus on simulation and modeling, and to put a major emphasis on Scicos and discuss it in depth. This new edition includes expanded chapters and major rewrites. Num Pages: 330 pages, 9 black & white tables, biography. BIC Classification: PBC; PBK; UY. Category: (P) Professional & Vocational. Dimension: 265 x 188 x 25. Weight in Grams: 790.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 2nd ed. 2010
- Number of pages
- 341
- Condition
- New
- SKU
- V9781441955265
- ISBN
- 9781441955265
Hardback
Condition: New
€ 75.87
€ 75.87
Hardcover. Suited for use as a textbook or for self-study, this work provides an understanding of the theorems of set theory and of their basic importance in the study of mathematics. Series: Undergraduate Texts in Mathematics. Num Pages: 111 pages, 1 black & white illustrations, biography. BIC Classification: PBCH; PBKF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 162 x 12. Weight in Grams: 318.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 111
- Format
- Hardback
- Publication date
- 1974
- Edition
- 1974th Edition
- Condition
- New
- SKU
- V9780387900926
- ISBN
- 9780387900926
Hardback
Condition: New
€ 116.00
€ 116.00
Hardback. .
- Publisher
- CLANRYE INTERNATIONAL
- Format
- Hardback
- Publication date
- 2015
- Condition
- New
- SKU
- V9781632403780
- ISBN
- 9781632403780
Hardback
Condition: New
€ 149.16
€ 149.16
Hardcover. This reference is the first rigorous application of algebraic topology and one of the earliest applications of graph theory to ecology. Num Pages: 224 pages. BIC Classification: PBCD; PSVS. Category: (G) General (US: Trade). Dimension: 230 x 150 x 18. Weight in Grams: 422.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- J. Ross Publishing
- Condition
- New
- SKU
- V9781604271287
- ISBN
- 9781604271287
Hardback
Condition: New
€ 144.12
€ 144.12