.png){kind=logo}
Mathematical foundations
Results 1121 - 1140 of 1148
Mathematical foundations
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 69.38
€ 69.38
Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statist...
. Ed(S): Ayyub, Bilal M.; Gupta, Madan M.
paperback. Editor(s): Ayyub, Bilal M.; Gupta, Madan M. Series: International Series in Intelligent Technologies. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBKA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 371
- Condition
- New
- SKU
- V9781461375005
- ISBN
- 9781461375005
Paperback
Condition: New
€ 250.36
€ 250.36
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1999
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790824643
- ISBN
- 9783790824643
Paperback
Condition: New
€ 126.74
€ 126.74
hardcover. This work presents an overview of the development of basic ideas and mathematical results regarding measures/principles of uncertainty-based information within the framework of classical set theory, probability theory, fuzzy set theory, possibility theory and the Dempster-Shafer theory of evidence. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790812428
- ISBN
- 9783790812428
Hardback
Condition: New
€ 131.32
€ 131.32
Series: Chapman & Hall Pure and Applied Mathematics. Num Pages: 320 pages, 56 black & white illustrations. BIC Classification: PBCH; PBF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 236 x 165 x 22. Weight in Grams: 594.
- Publication date
- 2011
- Publisher
- Taylor & Francis Ltd United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9781439851296
- ISBN
- 9781439851296
Hardback
Condition: New
€ 143.32
€ 143.32
Paperback. This book features a collection of papers from Paul Hertz to Dov Gabbay -- through Tarski, Godel, Kripke -- that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence. Editor(s): Beziau, Jean-Yves (University of Neuchatel). Series: Studies in Universal Logic. Num Pages: 428 pages, 155 black & white illustrations, biography. BIC Classification: HPL; PBC; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 169 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2012th Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9783034601443
- ISBN
- 9783034601443
Paperback
Condition: New
€ 68.74
€ 68.74
Paperback. Series: Theory and Decision Library B. Num Pages: 268 pages, black & white illustrations. BIC Classification: KJT; PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 268
- Condition
- New
- SKU
- V9789401737838
- ISBN
- 9789401737838
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Series: Progress in Nonlinear Differential Equations and Their Applications. Num Pages: 171 pages, biography. BIC Classification: MB; PBCN; PBKJ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 171
- Condition
- New
- SKU
- V9783034897297
- ISBN
- 9783034897297
Paperback
Condition: New
€ 126.56
€ 126.56
Hardback. Offers a systematic description of the variational theory of splines in Hilbert spaces. This book discusses central aspects in the general form: existence, uniqueness, characterization, convergence, error estimations, vector and tensor hybrids in splines, and dimensional reducing (traces of splines onto manifolds). Num Pages: 280 pages, biography. BIC Classification: PBC; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 19. Weight in Grams: 1770.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9780306466427
- ISBN
- 9780306466427
Hardback
Condition: New
€ 136.50
€ 136.50
Paperback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 3rd ed. 2009
- Number of pages
- 526
- Condition
- New
- SKU
- V9781447125136
- ISBN
- 9781447125136
Paperback
Condition: New
€ 107.99
€ 107.99
Paperback / so. Num Pages: 232 pages, black & white illustrations, bibliography. BIC Classification: GB; PBCN; PD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783034871242
- ISBN
- 9783034871242
Paperback
Condition: New
€ 83.18
€ 83.18
Hardback. Vortex wakes of Aircrafts provides mathematical modeling methods for high and low altitude take-off-landing regimes. Integral methods are combined with an extensive application of the discrete vortices technique, resulting in a time-efficient approach. Series: Foundations of Engineering Mechanics. Num Pages: 169 pages, 162 black & white illustrations, biography. BIC Classification: PBCN; PHDF; TRC. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 16. Weight in Grams: 404.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 169
- Condition
- New
- SKU
- V9783642017599
- ISBN
- 9783642017599
Hardback
Condition: New
€ 130.94
€ 130.94
Paperback / so. In 2. Auflage noch ubersichtlicher: Erneut fuhrt der Autor praxisorientiert in die Begriffe und Werkzeuge der Wahrscheinlichkeitsrechnung ein. Zur Diskussion und grafischen Visualisierung zentraler Begriffe und Methoden verwendet er MATLAB. Mit uber 100 Ubungen " Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: PBCN; PBT; TBC; TJF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 156 x 22. Weight in Grams: 767.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783540721550
- ISBN
- 9783540721550
Paperback
Condition: New
€ 74.97
€ 74.97
Wavelets, Approximation, and Statistical Applications
Hardle, Wolfgang; Kerkyacharian, Gerard; Pica...
Paperback. This volume presents wavelet theory and applications for a statistical audience. The first part summarizes material scattered in several sources, while the second part presents very recent research results. Series: Lecture Notes in Statistics. Num Pages: 283 pages, biography. BIC Classification: PBC; PBKF; PBT; PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 283
- Condition
- New
- SKU
- V9780387984537
- ISBN
- 9780387984537
Paperback
Condition: New
€ 149.81
€ 149.81
Hardback. Editor(s): Valle, Manel del; Guerrero, Roberto Munoz; Gutierrez Salgado, Juan Manuel. Num Pages: Illustrations. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 261 x 185 x 27. Weight in Grams: 916.
- Publisher
- Nova Science Publishers Inc United States
- Format
- Hardback
- Publication date
- 2012
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781621002529
- ISBN
- 9781621002529
Hardback
Condition: New
€ 242.56€ 165.61
€ 242.56
€ 165.61
Paperback. Series: Operator Theory: Advances and Applications. Num Pages: 367 pages, biography. BIC Classification: PBCN; PBK; PBKA. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 634.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 367
- Condition
- New
- SKU
- V9783034896610
- ISBN
- 9783034896610
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Series: SpringerBriefs in Philosophy. Num Pages: 77 pages, biography. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 4. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 77
- Condition
- New
- SKU
- V9783319021706
- ISBN
- 9783319021706
Paperback
Condition: New
€ 90.27
€ 90.27
Hardcover. An exploration of number systems that extend and generalise the real numbers, of interest to students, mathematics teachers and enthusiasts. Series: Classroom Resource Materials. Num Pages: 229 pages, Illustrations. BIC Classification: PBCN. Category: (U) Tertiary Education (US: College). Dimension: 236 x 155 x 17. Weight in Grams: 430. Series: Classroom Resource Materials. 229 pages, illustrations. An exploration of number systems that extend and generalise the real numbers, of interest to students, mathematics teachers and enthusiasts. Cateogry: (U) Tertiary Education (US: College). BIC Classification: PBCN. Dimension: 236 x 155 x 17. Weight: 430.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Mathematical Association of America
- Number of pages
- 229
- Condition
- New
- SKU
- V9780883857779
- ISBN
- 9780883857779
Hardback
Condition: New
€ 70.47
€ 70.47
Hardcover. Num Pages: 215 pages, 54 black & white illustrations, biography. BIC Classification: PBB; PBC; PBX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 497.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319173672
- ISBN
- 9783319173672
Hardback
Condition: New
€ 116.88
€ 116.88
Microfilm. Editor(s): Brauer, Wilfried; Freksa, Christian. Num Pages: 544 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; PBCD; UF; UG; UYM; UYQE; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 244 x 170 x 29. Weight in Grams: 875.
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783540518389
- ISBN
- 9783540518389
Hardback
Condition: New
€ 76.12
€ 76.12