Mathematical foundations
Results 697 - 712 of 712
Mathematical foundations
Paperback. .
- Publisher
- American Mathematical Society United States
- Format
- Paperback
- Publication date
- 1984
- Condition
- New
- SKU
- V9780821850275
- ISBN
- 9780821850275
Paperback
Condition: New
€ 172.31
€ 172.31
Paperback. Num Pages: 380 pages, 2 line illustrations. BIC Classification: HP; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 216 x 142 x 23. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1969
- Publisher
- Harvard University Press United States
- Edition
- Rev ed
- Number of pages
- 380
- Condition
- New
- SKU
- V9780674802070
- ISBN
- 9780674802070
Paperback
Condition: New
€ 47.99€ 39.97
€ 47.99
€ 39.97
Paperback. This is a fully revised and updated second edition of the introduction to structured and unstructured grid methods in scientific computing. It formulates basic local and integral grid quality measures and reviews fresh approaches to mesh generation. Series: Scientific Computation. Num Pages: 408 pages, 48 black & white illustrations, biography. BIC Classification: PBCN; PHU; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 2nd ed. 2010
- Number of pages
- 408
- Condition
- New
- SKU
- V9789400730786
- ISBN
- 9789400730786
Paperback
Condition: New
€ 143.91
€ 143.91
Hardcover. Num Pages: 224 pages. BIC Classification: PBCD; UYM. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119193180
- ISBN
- 9781119193180
Hardback
Condition: New
€ 128.63
€ 128.63
Hardcover. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 365
- Condition
- New
- SKU
- V9780471570356
- ISBN
- 9780471570356
Hardback
Condition: New
€ 205.35
€ 205.35
Paperback. This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. Editor(s): De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 295
- Condition
- New
- SKU
- V9789402406870
- ISBN
- 9789402406870
Paperback
Condition: New
€ 153.14
€ 153.14
Paperback. The first English edition of a well-known Russian monograph. This book presents the method of difference potentials first proposed by the author in 1969, and contains illustrative examples and new algorithms for solving applied problems of gas dynamics, diffraction, scattering theory, and active noise screening. Translator(s): Kulman, N.K. Series: Springer Series in Computational Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCN; PBK; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642627156
- ISBN
- 9783642627156
Paperback
Condition: New
€ 124.42
€ 124.42
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Paperback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642269592
- ISBN
- 9783642269592
Paperback
Condition: New
€ 64.74
€ 64.74
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Hardback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642227165
- ISBN
- 9783642227165
Hardback
Condition: New
€ 65.72
€ 65.72
Paperback. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642096273
- ISBN
- 9783642096273
Paperback
Condition: New
€ 156.79
€ 156.79
Hardback. Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. This book covers the necessary logical machinery behind the proof interpretations that are used in applications as well as - via extended case studies - carrying out some of these applications in detail. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 164 x 36. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540775324
- ISBN
- 9783540775324
Hardback
Condition: New
€ 163.75
€ 163.75
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 403 pages, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 403
- Condition
- New
- SKU
- V9783642023477
- ISBN
- 9783642023477
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback. .
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 182
- Format
- Paperback
- Publication date
- 2005
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568812380
- ISBN
- 9781568812380
Paperback
Condition: New
€ 48.52
€ 48.52
Paperback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400734357
- ISBN
- 9789400734357
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 339 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400700017
- ISBN
- 9789400700017
Hardback
Condition: New
€ 126.25
€ 126.25
Paperback. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: HPK; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 220
- Condition
- New
- SKU
- V9789048151875
- ISBN
- 9789048151875
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. .
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 250
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107044241
- ISBN
- 9781107044241
Hardback
Condition: New
€ 66.30
€ 66.30
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Condition
- New
- SKU
- V9783642078996
- ISBN
- 9783642078996
Paperback
Condition: New
€ 241.72
€ 241.72
Hardcover. Suitable for set theorists, this book covers major advances in various areas of set theory. Series: Springer Monographs in Mathematics. Num Pages: 786 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 168 x 50. Weight in Grams: 1288.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540440857
- ISBN
- 9783540440857
Hardback
Condition: New
€ 243.44
€ 243.44
Paperback. Num Pages: 364 pages, 379 black & white illustrations, 4 black & white tables. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 204 x 18. Weight in Grams: 760.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 364
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781466567917
- ISBN
- 9781466567917
Paperback
Condition: New
€ 72.46
€ 72.46
Hardback. The book extends the development of probability logic-a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives "not," "and," and "or" are described in depth to include quantified formulas. Also discussed is the notion of the suppositional and resolution of the paradox of confirmation. Num Pages: 126 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (G) General (US: Trade). Dimension: 239 x 162 x 14. Weight in Grams: 342.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Lehigh University Press United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9781611460100
- ISBN
- 9781611460100
Hardback
Condition: New
€ 104.61
€ 104.61
Paperback. Written for engineering students, this textbook on numerical methods stresses the typical methods that engineers use in daily practice. A chapter on design introduces problems which bring relevance to the use of this tool in engineering situations. Num Pages: 410 pages, bibliography, index. BIC Classification: PBC; PDE; TBJ. Category: (UU) Undergraduate. Dimension: 238 x 191 x 24. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471575238
- ISBN
- 9780471575238
Paperback
Condition: New
€ 280.55
€ 280.55
Paperback. Editor(s): Hansson, Sven Ove. Series: Outstanding Contributions to Logic. Num Pages: 445 pages, 16 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 445
- Condition
- New
- SKU
- V9789402406634
- ISBN
- 9789402406634
Paperback
Condition: New
€ 186.38
€ 186.38
Hardback. David Makinson on Classical Methods for Non-Classical Problems Editor(s): Hansson, Sven Ove. Series: Outstanding Contributions to Logic. Num Pages: 433 pages, black & white illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 830.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 433
- Condition
- New
- SKU
- V9789400777583
- ISBN
- 9789400777583
Hardback
Condition: New
€ 188.28
€ 188.28