.png){kind=logo}
Mathematical foundations
Results 321 - 340 of 1149
Mathematical foundations
Discrepancy of Signed Measures and Polynomial Approximation
Andrievskii, Vladimir; Blatt, Hans-Peter
paperback. Series: Springer Monographs in Mathematics. Num Pages: 452 pages, biography. BIC Classification: PBC; PBKD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 452
- Condition
- New
- SKU
- V9781441931467
- ISBN
- 9781441931467
Paperback
Condition: New
€ 200.31
€ 200.31
Hardback. Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics. Editor(s): Indrzejczak, Andrzej. Series: Trends in Logic. Num Pages: 506 pages, 20 black & white tables, biography. BIC Classification: HPL; PBC; PBKS; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 506
- Condition
- New
- SKU
- V9789048187843
- ISBN
- 9789048187843
Hardback
Condition: New
€ 302.61
€ 302.61
Paperback. Translator(s): Wojtasiewicz, Olgierd; Zawadowski, Waclaw. Series: Synthese Library. Num Pages: 612 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 31. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1974
- Number of pages
- 612
- Condition
- New
- SKU
- V9789401021142
- ISBN
- 9789401021142
Paperback
Condition: New
€ 141.71
€ 141.71
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
Paperback. This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational. Series: Cognitive Technologies. Num Pages: 437 pages, 12 black & white tables, biography. BIC Classification: HPL; PBCD; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642261657
- ISBN
- 9783642261657
Paperback
Condition: New
€ 195.54
€ 195.54
Hardback. Editor(s): Aguirre, Anthony; Foster, Brendan; Merali, Zeeya. Series: The Frontiers Collection. Num Pages: 10 black & white illustrations, biography. BIC Classification: PBC; PBWH; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319274942
- ISBN
- 9783319274942
Hardback
Condition: New
€ 106.25
€ 106.25
Hardback. Lectures on Functor Homology Editor(s): Touze, Antoine; Franjou, Vincent. Series: Progress in Mathematics. Num Pages: 155 pages, 139 black & white illustrations, 1 colour illustrations, 1 black & white tables, biograph. BIC Classification: PBC; PBG; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 403.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319213040
- ISBN
- 9783319213040
Hardback
Condition: New
€ 127.37
€ 127.37
Paperback / so. Num Pages: 511 pages, black & white illustrations, bibliography. BIC Classification: KCA; KJQ; MBNS; PBCN; PBF; PBW; PHD; PN. Category: (G) General (US: Trade). Dimension: 234 x 156 x 28. Weight in Grams: 744.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783540591511
- ISBN
- 9783540591511
Paperback
Condition: New
€ 63.79
€ 63.79
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
Hardback. Suitable for mathematicians, geologists, engineers and, in general, researchers and post graduate students involved in spline function theory, surface fitting problems or variational methods. Num Pages: 263 pages, 51 black & white illustrations, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 571.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 263
- Condition
- New
- SKU
- V9781402077869
- ISBN
- 9781402077869
Hardback
Condition: New
€ 128.72
€ 128.72
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 740 pages, biography. BIC Classification: PBC; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 740
- Condition
- New
- SKU
- V9783642781629
- ISBN
- 9783642781629
Paperback
Condition: New
€ 132.09
€ 132.09
Hardback. This 'excursion' through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein's division theorem. Series: Science Networks. Historical Studies. Num Pages: 452 pages, 21 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBCH; PBX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 842.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Basel Switzerland
- Number of pages
- 452
- Condition
- New
- SKU
- V9783034802239
- ISBN
- 9783034802239
Hardback
Condition: New
€ 130.14
€ 130.14
Hardback. Num Pages: 256 pages, 47 color illus. 4 line illus. 2 tables. BIC Classification: PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 165 x 243 x 20. Weight in Grams: 656.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780691163062
- ISBN
- 9780691163062
Hardback
Condition: New
€ 89.18€ 68.86
€ 89.18
€ 68.86
Paperback. Num Pages: 160 pages, black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBK. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 235.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Number of pages
- 160
- Condition
- New
- SKU
- V9788847000797
- ISBN
- 9788847000797
Paperback
Condition: New
€ 27.53
€ 27.53
Paperback. Einstein's equations stem from General Relativity. In the context of Riemannian manifolds, an independent mathematical theory has developed around them. This volume offers an introduction to modern Riemannian geometry through topics like homogeneous spaces, submersions, or Riemannian functionals. Series: Classics in Mathematics. Num Pages: 510 pages, biography. BIC Classification: PBC; PBMS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 160 x 31. Weight in Grams: 810.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2007
- Edition
- Reprint of the 1st ed. Berlin Heidelberg New York
- Condition
- New
- SKU
- V9783540741206
- ISBN
- 9783540741206
Paperback
Condition: New
€ 80.28
€ 80.28
Hardcover. Explains how computers have brought a fresh practicality to mathematics and mathematical applications. This book explains fuzzy logic, a technique that allows computers to work with imprecise terms. It also discusses 'genetic algorithms' and 'neural networks'. It is intended for both specialists and the general reader. Num Pages: 200 pages, 25 line drawings 1 table. BIC Classification: PBB; PBCD; PBWX; PD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 22. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Princeton University Press
- Number of pages
- 208
- Condition
- New
- SKU
- V9780691001449
- ISBN
- 9780691001449
Hardback
Condition: New
€ 69.99
€ 69.99
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
Hardback. Series: Artificial Intelligence: Foundations, Theory, and Algorithms. Num Pages: 358 pages, 119 black & white illustrations, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 358
- Condition
- New
- SKU
- V9783319423357
- ISBN
- 9783319423357
Hardback
Condition: New
€ 228.81
€ 228.81
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. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 68.00
€ 68.00