Mathematical foundations
Results 361 - 384 of 1129
Mathematical foundations
Hardcover. Presenting historical perspective and notes on important figures in mathematics, covering current activity in the mathematical community, and raising famous and lesser-known questions, this book shows that abstract mathematics is a vibrant, dynamic enterprise. Series: Undergraduate Texts in Mathematics. Num Pages: 406 pages, 45 black & white tables, biography. BIC Classification: PBC; PBX. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 28. Weight in Grams: 764.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9781461466352
- ISBN
- 9781461466352
Hardback
Condition: New
€ 66.16
€ 66.16
Paperback. The book systematically develops nonlinear potential theory and the Sobolev space theory covers results concerning approximation, extension, and interpolation, Sobolev and Poincare inequalities, Maz'ya type embedding theorems, and isoperimetric inequalities. Series: Lecture Notes in Mathematics. Num Pages: 180 pages, biography. BIC Classification: PBCH; PBKF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 157 x 235 x 14. Weight in Grams: 318.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540675884
- ISBN
- 9783540675884
Paperback
Condition: New
€ 56.90
€ 56.90
Hardback. Contains introductory surveys as well as articles containing research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. Editor(s): Koslowski, Jurgen; Melton, Austin. Series: Trends in Mathematics. Num Pages: 281 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9780817641863
- ISBN
- 9780817641863
Hardback
Condition: New
€ 127.00
€ 127.00
Hardcover. * Enforces the fundamental rule that you are not allowed to use any results that you have not proved yet, and consequently starts with an axiomatic system and builds from there * Introduces proof methods in a separate section of the Logic chapter to facilitate the development of proof writing skills. Num Pages: 338 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 162 x 22. Weight in Grams: 622.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9780470551387
- ISBN
- 9780470551387
Hardback
Condition: New
€ 106.05
€ 106.05
Paperback. Series: Annals of Mathematics Studies. Num Pages: 352 pages, 22 line illus. 8 tables. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 237 x 155 x 25. Weight in Grams: 514.
- Publisher
- Princeton University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- Reprint
- Condition
- New
- SKU
- V9780691166919
- ISBN
- 9780691166919
Paperback
Condition: New
€ 88.89€ 67.89
€ 88.89
€ 67.89
Hardback. Series: Annals of Mathematics Studies. Num Pages: 352 pages, 22 line illus. 8 tables. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 163 x 27. Weight in Grams: 634.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691166902
- ISBN
- 9780691166902
Hardback
Condition: New
€ 193.20€ 144.23
€ 193.20
€ 144.23
Hardback. This title presents a step-by-step development of a framework for the specification and verification of concurrent systems. "Petri Net Algebra" takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 389 pages, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1620.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 389
- Condition
- New
- SKU
- V9783540673989
- ISBN
- 9783540673989
Hardback
Condition: New
€ 193.49
€ 193.49
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 389 pages, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 389
- Condition
- New
- SKU
- V9783642086779
- ISBN
- 9783642086779
Paperback
Condition: New
€ 185.51
€ 185.51
Paperback. Num Pages: 145 pages, 1 black & white illustrations, biography. BIC Classification: PBC; PDA; YQS. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 1967
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1967
- Number of pages
- 145
- Condition
- New
- SKU
- V9789401757492
- ISBN
- 9789401757492
Paperback
Condition: New
€ 62.84
€ 62.84
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
€ 246.34
€ 246.34
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
€ 122.29
€ 122.29
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
€ 176.53
€ 176.53
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
€ 125.19
€ 125.19
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
€ 127.92
€ 127.92
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
€ 68.33
€ 68.33
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
€ 68.45
€ 68.45
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
€ 223.25
€ 223.25
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
€ 124.06
€ 124.06
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
€ 80.97
€ 80.97
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
€ 186.98
€ 186.98
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€ 9.85
€ 11.99
€ 9.85
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
€ 122.76
€ 122.76
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
€ 121.80
€ 121.80
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
€ 65.65
€ 65.65