.png){kind=logo}
Mathematical foundations
Results 761 - 780 of 1148
Mathematical foundations
Paperback. Editor(s): Lane, Saunders Mac; Siefkes, Dirk. Num Pages: 696 pages, biography. BIC Classification: PBC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1065.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 696
- Condition
- New
- SKU
- V9781461389309
- ISBN
- 9781461389309
Paperback
Condition: New
€ 70.99
€ 70.99
Hardcover. Translated from the French, this book presents an introduction to first-order model theory. Starting from scratch, it reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It introduces logic via the study of the models of arithmetic. Translator(s): Klein, M. Series: Universitext. Num Pages: 474 pages, biography. BIC Classification: HPL; PBCD; PBWH. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 164 x 33. Weight in Grams: 872.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9780387986555
- ISBN
- 9780387986555
Hardback
Condition: New
€ 126.10
€ 126.10
Paperback. This book provides a deeper understanding of L.E.J. Brouwer and his revolutionary ideas on topology and foundations of mathematics (intuitionism). Includes letters and university and faculty correspondence that illustrates his role in the twentieth century. Series: Sources and Studies in the History of Mathematics and Physical Sciences. Num Pages: 540 pages, biography. BIC Classification: PBCD; PBP; PBX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 540
- Condition
- New
- SKU
- V9781447126911
- ISBN
- 9781447126911
Paperback
Condition: New
€ 130.16
€ 130.16
Paperback. Series: Mathematiques et Applications. Num Pages: 230 pages, 1. BIC Classification: PBCN; PBKJ; PBUH. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 330.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540253136
- ISBN
- 9783540253136
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. Series: Theory and Applications of Computability. Num Pages: 212 pages, biography. BIC Classification: PBC; PBK; PBP; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642269967
- ISBN
- 9783642269967
Paperback
Condition: New
€ 127.73
€ 127.73
Hardback. This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. Series: Theory and Applications of Computability. Num Pages: 212 pages, biography. BIC Classification: PBC; PBK; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 164 x 19. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642224140
- ISBN
- 9783642224140
Hardback
Condition: New
€ 127.97
€ 127.97
Paperback. Compact INTRODUCING guide to a boundlessly intriguing topic. Illustrator(s): Pugh, Oliver. Series: Introducing.. Num Pages: 176 pages, B/w throughout. BIC Classification: PBCD; PDZM. Category: (G) General (US: Trade). Dimension: 168 x 119 x 14. Weight in Grams: 162.
- Publisher
- Icon Books United Kingdom
- Number of pages
- 176
- Format
- Paperback
- Publication date
- 2012
- Condition
- New
- SKU
- V9781848314061
- ISBN
- 9781848314061
Paperback
Condition: New
€ 11.99€ 10.89
€ 11.99
€ 10.89
Paperback. Num Pages: 397 pages, biography. BIC Classification: GB; PBCN; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 1987
- Number of pages
- 397
- Condition
- New
- SKU
- V9781461264576
- ISBN
- 9781461264576
Paperback
Condition: New
€ 195.30
€ 195.30
paperback. Series: Springer-Lehrbuch Masterclass. Num Pages: 369 pages, black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBKA; PBW; PHU; TGB. Category: (G) General (US: Trade). Dimension: 244 x 170 x 20. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Spektrum United States
- Edition
- 5. Aufl. 2013
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642347962
- ISBN
- 9783642347962
Paperback
Condition: New
€ 84.91
€ 84.91
Computational Methods for Optimal Design and Control
Borggaard, Jeff; Burns, John (University Of C...
Paperback. Series: Progress in Systems and Control Theory. Num Pages: 460 pages, biography. BIC Classification: GPFC; PBC; PD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 460
- Condition
- New
- SKU
- V9781461272793
- ISBN
- 9781461272793
Paperback
Condition: New
€ 129.53
€ 129.53
Paperback. This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. Series: Universitext. Num Pages: 492 pages, 3 black & white illustrations, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 1520.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 492
- Condition
- New
- SKU
- V9783540423249
- ISBN
- 9783540423249
Paperback
Condition: New
€ 234.26
€ 234.26
Paperback / so. Series: Ergebnisse der Mathematik Und Ihrer Grenzgebiete. Num Pages: 164 pages, black & white illustrations, bibliography. BIC Classification: PBC; PH. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 1934
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 164
- Condition
- New
- SKU
- V9783642471315
- ISBN
- 9783642471315
Paperback
Condition: New
€ 71.33
€ 71.33
Paperback / so. Series: Ergebnisse der Mathematik Und Ihrer Grenzgebiete. Num Pages: 168 pages, black & white illustrations, bibliography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 1974
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540062349
- ISBN
- 9783540062349
Paperback
Condition: New
€ 71.59
€ 71.59
Hardback. A comprehensive introduction to the theory of spline functions. Emphasis is given to new developments, such as the general Birkhoff-type interpolation, the extremal properties of splines, their role in the optimal recovery of functions, and multivariate interpolation by polynomials and splines. Series: Mathematics and its Applications. Num Pages: 278 pages, biography. BIC Classification: PBC; PBKF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 278
- Condition
- New
- SKU
- V9780792322290
- ISBN
- 9780792322290
Hardback
Condition: New
€ 133.41
€ 133.41
hardcover. Finite element methods have become one of the most versatile and powerful methodologies for the approximate numerical solution of PDEs. This book is a thorough yet concise guide to the theory and practice of least-square finite element methods. Series: Applied Mathematical Sciences. Num Pages: 682 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1127.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer United States
- Number of pages
- 682
- Condition
- New
- Edition
- 2009th Edition
- SKU
- V9780387308883
- ISBN
- 9780387308883
Hardback
Condition: New
€ 165.33
€ 165.33
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 645 pages, biography. BIC Classification: PBC; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 971.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 645
- Condition
- New
- SKU
- V9783642780363
- ISBN
- 9783642780363
Paperback
Condition: New
€ 131.15
€ 131.15
Paperback. Series: Grundlehren der Mathematischen Wissenschaften. Num Pages: 489 pages, biography. BIC Classification: PBC; PBKF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- Softcover reprint of the original 1st ed. 1985
- Condition
- New
- SKU
- V9783642649059
- ISBN
- 9783642649059
Paperback
Condition: New
€ 184.91
€ 184.91
Paperback. Series: Applied Optimization. Num Pages: 288 pages, biography. BIC Classification: GPFC; KJT; PBC; PBU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 288
- Condition
- New
- SKU
- V9781461348849
- ISBN
- 9781461348849
Paperback
Condition: New
€ 127.70
€ 127.70
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
€ 258.08
€ 258.08
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