Mathematical foundations
Results 1081 - 1100 of 1213
Mathematical foundations
Automated Deduction in Geometry: 10th International Workshop, ADG 2014...
. Ed(S): Botana, Francisco; Quaresma, Pedro
paperback. Editor(s): Botana, Francisco; Quaresma, Pedro. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: PBCD; PBMS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 190
- Condition
- New
- SKU
- V9783319213613
- ISBN
- 9783319213613
Paperback
Condition: New
€ 52.60
€ 52.60
Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 247.61
€ 247.61
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 248.70
€ 248.70
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 240.18
€ 240.18
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 501
- Condition
- New
- SKU
- V9789048150502
- ISBN
- 9789048150502
Paperback
Condition: New
€ 240.66
€ 240.66
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 65.42
€ 65.42
Paperback. This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). Editor(s): Ausiello, G. Num Pages: 804 pages, biography. BIC Classification: PBC. Category: (P) Professional & Scholarly; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 40. Weight in Grams: 1106.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540513711
- ISBN
- 9783540513711
Paperback
Condition: New
€ 126.49
€ 126.49
paperback. "Aspects of Mathematical Logic". Series: CIME Summer Schools. Num Pages: 292 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Reprint of the 1st. ed. C.I.M.E., Ed. Cremonese, R
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642110788
- ISBN
- 9783642110788
Paperback
Condition: New
€ 61.77
€ 61.77
Paperback. This book collects previously unpublished papers exploring the theory of oppositions based on Aristotelian foundations of logic, reflecting renewed interest and challenging re-interpretations which extend the original theory in breadth and depth. Editor(s): Beziau, Jean-Yves (University of Neuchatel); Jacquette, Dale. Series: Studies in Universal Logic. Num Pages: 389 pages, 133 black & white illustrations, 19 colour illustrations, 36 black & white tables, biogra. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 663.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Number of pages
- 389
- Condition
- New
- SKU
- V9783034803786
- ISBN
- 9783034803786
Paperback
Condition: New
€ 65.57
€ 65.57
Paperback. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 349 pages, biography. BIC Classification: GPFC; PBCD; PD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 2003
- Number of pages
- 349
- Condition
- New
- SKU
- V9781461348467
- ISBN
- 9781461348467
Paperback
Condition: New
€ 123.07
€ 123.07
Hardback. Presents both a comprehensive framework for characterizing various forms of systems problems, and a set of specific methodologies for some key problems. These methodologies are based on a combination of classical and fuzzy set theories, probability and possibility theories, graph and hypergraph theories, and information theory, among others. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 349 pages, biography. BIC Classification: GPFC; PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 27. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Science+Business Media United States
- Edition
- 2nd ed. 2003
- Number of pages
- 349
- Condition
- New
- SKU
- V9780306473579
- ISBN
- 9780306473579
Hardback
Condition: New
€ 124.28
€ 124.28
Hardcover. This volume contains surveys written by leading experts, along with research papers on the developments in approximation theory and in the theory and application of curves and surfaces. Topics include: biharmonic splines, exterior BVPs, financial optimization, framelets and wavelet packets. Editor(s): Chui, Charles K.; Schumaker, Larry L.; Stockler, Joachim. Series: Innovations in Applied Mathematics S. Num Pages: 440 pages, Illustrations. BIC Classification: PBC; PBW. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 229 x 152 x 33. Weight in Grams: 839.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Vanderbilt University Press
- Edition
- y First edition
- Condition
- New
- SKU
- V9780826514165
- ISBN
- 9780826514165
Hardback
Condition: New
€ 100.24€ 90.54
€ 100.24
€ 90.54
Hardcover. This volume contains surveys written by leading experts, along with research papers on the developments in approximation theory and in the theory and application of curves and surfaces. Topics include: approximation of eigenvalues, nonlinear approximation and uni-modular polynomials. Editor(s): Chui, Charles K.; Schumaker, Larry L.; Stockler, Joachim. Series: Innovations in Applied Mathematics S. Num Pages: 370 pages, illustrations. BIC Classification: PBC; PBW. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 229 x 152 x 28. Weight in Grams: 721.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Vanderbilt University Press
- Condition
- New
- SKU
- V9780826514158
- ISBN
- 9780826514158
Hardback
Condition: New
€ 100.24€ 90.54
€ 100.24
€ 90.54
Hardcover. Volume 2 in a two volume selection of papers from the Ninth International Symposium on Approximation Theory, held in January, 1998. In the INNOVATIONS IN APPLIED MATHEMATICS series, it is aimed at mathematicians, engineers and computer scientists working in approximation theory, wavelets, computer-aided geometric design and numerical analysis. Series: Innovations in Applied Mathematics S. Num Pages: 472 pages, illustrations. BIC Classification: PBC; PBK; PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 152 x 27. Weight in Grams: 699.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Vanderbilt University Press
- Condition
- New
- SKU
- V9780826513267
- ISBN
- 9780826513267
Hardback
Condition: New
€ 100.24€ 90.54
€ 100.24
€ 90.54
Hardcover. Volume 1 in a two volume selection of papers from the Ninth International Symposium on Approximation Theory, held in January, 1998. In the INNOVATIONS IN APPLIED MATHEMATICS series, it is aimed at mathematicians, engineers and computer scientists working in approximation theory, wavelets, computer-aided geometric design and numerical analysis. Series: Innovations in Applied Mathematics S. Num Pages: 576 pages, illustrations. BIC Classification: PBC; PBK; PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 152 x 25. Weight in Grams: 667.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Vanderbilt University Press
- Condition
- New
- SKU
- V9780826513250
- ISBN
- 9780826513250
Hardback
Condition: New
€ 100.24€ 90.54
€ 100.24
€ 90.54
Paperback. Offers an elementary introduction to a classical area of mathematics - approximation theory - in a way that naturally leads to the modern field of wavelets. This book features classical, illustrative examples and constructions, exercises, and a discussion of the role of wavelets to areas such as digital signal processing and data compression. Series: Applied and Numerical Harmonic Analysis. Num Pages: 156 pages, 5 black & white illustrations, biography. BIC Classification: PBC; PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 156 x 12. Weight in Grams: 262.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Birkhauser Boston Inc United States
- Edition
- 6
- Number of pages
- 156
- Condition
- New
- SKU
- V9780817636005
- ISBN
- 9780817636005
Paperback
Condition: New
€ 74.99
€ 74.99
Paperback. Num Pages: 538 pages, biography. BIC Classification: PBC; PBF; PBK; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 538
- Condition
- New
- SKU
- V9781461271123
- ISBN
- 9781461271123
Paperback
Condition: New
€ 124.74
€ 124.74
Hardback. Editor(s): Georgoulis, Emmanuil H.; Iske, Armin; Levesley, Jeremy. Series: Springer Proceedings in Mathematics. Num Pages: 320 pages, 9 black & white tables, biography. BIC Classification: PBC; PBKJ; PBKS; PBW; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 637.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642168758
- ISBN
- 9783642168758
Hardback
Condition: New
€ 186.95
€ 186.95
Paperback. Editor(s): Matsakis, Pascal; Sztandera, Les M. Series: Studies in Fuzziness and Soft Computing. Num Pages: 205 pages, 170 black & white illustrations, 16 black & white tables. BIC Classification: PBC; UYQ; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 205
- Condition
- New
- SKU
- V9783662002940
- ISBN
- 9783662002940
Paperback
Condition: New
€ 63.55
€ 63.55
Applied Theory of Functional Differential Equations (Mathematics and i...
Kolmanovskii, V., Myshkis, A.
Hardcover. Provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. This book deals with problems and methods relating to systems having a memory (hereditary systems). Series: Mathematics and its Applications. Num Pages: 234 pages, biography. BIC Classification: PBC; PBWH; PDE; TBJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 167 x 241 x 23. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Springer
- Edition
- 1992nd Edition
- Condition
- New
- SKU
- V9780792320135
- ISBN
- 9780792320135
Hardback
Condition: New
€ 190.87
€ 190.87