.png){kind=logo}
Mathematical foundations
Results 801 - 820 of 1148
Mathematical foundations
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 208 pages, biography. BIC Classification: PBC; PBKS; UMB; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 352.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 1995. Softcover reprint of the original 2
- Number of pages
- 208
- Condition
- New
- SKU
- V9783642792373
- ISBN
- 9783642792373
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 292 pages, biography. BIC Classification: PBC; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 16. Weight in Grams: 523.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642753596
- ISBN
- 9783642753596
Paperback
Condition: New
€ 139.26
€ 139.26
Hardback. Proceedings of the NATO Advanced Study Institute, Calgary, Canada, August 26-September 2, 1978 Editor(s): Sahney, Badri N. Series: NATO Science Series C. Num Pages: 322 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 1979
- Publisher
- Springer Netherlands
- Number of pages
- 322
- Condition
- New
- SKU
- V9789027709844
- ISBN
- 9789027709844
Hardback
Condition: New
€ 200.50
€ 200.50
Hardback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 339 pages, 139 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783662479667
- ISBN
- 9783662479667
Hardback
Condition: New
€ 79.44
€ 79.44
Paperback. This book is the first ever to deal exclusively with this class of operations. It offers an introduction to Fuzzy Implications, an analytical study of them, and an algebraic exploration into the structures that exist on the set of all FIs. Series: Studies in Fuzziness and Soft Computing. Num Pages: 310 pages, 27 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642088612
- ISBN
- 9783642088612
Paperback
Condition: New
€ 194.37
€ 194.37
Hardback. This book is the first ever to deal exclusively with this class of operations. It offers an introduction to Fuzzy Implications, an analytical study of them, and an algebraic exploration into the structures that exist on the set of all FIs. Series: Studies in Fuzziness and Soft Computing. Num Pages: 310 pages, 27 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783540690801
- ISBN
- 9783540690801
Hardback
Condition: New
€ 200.54
€ 200.54
Hardback. This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics. Series: Trends in Logic. Num Pages: 290 pages, biography. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 159 x 24. Weight in Grams: 568.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 290
- Condition
- New
- SKU
- V9789400703193
- ISBN
- 9789400703193
Hardback
Condition: New
€ 133.42
€ 133.42
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 60.48
€ 60.48
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
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
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. 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
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. 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
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
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
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
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. 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. 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