.png){kind=logo}
Mathematics
Results 17401 - 17424 of 18715
Mathematics
Paperback. The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath. Editor(s): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: PBW; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540664635
- ISBN
- 9783540664635
Paperback
Condition: New
€ 71.66
€ 71.66
hardcover. Editor(s): McFaden, H. H. Series: Problem Books in Mathematics. Num Pages: 356 pages, biography. BIC Classification: PBK. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 25. Weight in Grams: 670.
- Format
- Hardback
- Publication date
- 1982
- Publisher
- Springer United States
- Number of pages
- 356
- Condition
- New
- Edition
- 1982nd Edition
- SKU
- V9780387906386
- ISBN
- 9780387906386
Hardback
Condition: New
€ 118.51
€ 118.51
Paperback. Aims to give an essentially self-contained introduction to the basic regularity theory for energy minimizing maps, including developments concerning the structure of the singular set and asymptotics on approach to the singular set. Series: Lectures in Mathematics. ETH Zurich. Num Pages: 152 pages, 6 black & white illustrations, biography. BIC Classification: PBKJ; PBKQ; PBMP. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 8. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Birkhäuser
- Edition
- 1996th Edition
- Condition
- New
- SKU
- V9783764353971
- ISBN
- 9783764353971
Paperback
Condition: New
€ 84.94
€ 84.94
Hardcover. The primary purpose of this text is to introduce math majors, who have completed a calculus sequence, to the axiomatic makeup of modern mathematics. Heavy emphasis is placed on the writing of clear and understandable proofs. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 318 pages, , black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 20. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 318
- Condition
- New
- SKU
- V9780470042953
- ISBN
- 9780470042953
Hardback
Condition: New
€ 168.73
€ 168.73
Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319467498
- ISBN
- 9783319467498
Paperback
Condition: New
€ 68.53
€ 68.53
Hardback. .
- Publisher
- Apple Academic Press Inc.
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781771880336
- ISBN
- 9781771880336
Hardback
Condition: New
€ 142.59€ 22.27
€ 142.59
€ 22.27
Paperback. Series: Natural Computing Series. Num Pages: 186 pages, biography. BIC Classification: PBCD; PSAK1. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 186
- Condition
- New
- SKU
- V9783642085048
- ISBN
- 9783642085048
Paperback
Condition: New
€ 126.69
€ 126.69
Theoretical Approaches to Non-numerical Problem Solving
. Ed(S): Banerji, R.B.; Mesarovic, Mihajlo D.
Paperback. Editor(s): Banerji, R.B.; Mesarovic, Mihajlo D. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 477 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 24. Weight in Grams: 826.
- Format
- Paperback
- Publication date
- 1970
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1970
- Number of pages
- 477
- Condition
- New
- SKU
- V9783540049005
- ISBN
- 9783540049005
Paperback
Condition: New
€ 131.75
€ 131.75
Paperback. Editor(s): Dwoyer, Douglas L.; Hussaini, M. Y. (NASA Langley Research Center, Hampton, VA, USA); Voigt, R.G. Series: Applied Mathematical Sciences. Num Pages: 392 pages, biography. BIC Classification: PB; TGMF2. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 392
- Condition
- New
- SKU
- V9780387961910
- ISBN
- 9780387961910
Paperback
Condition: New
€ 132.81
€ 132.81
Paperback. Editor(s): Ciobanu, Gabriel; Mery, Dominique. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 496 pages, 97 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319108810
- ISBN
- 9783319108810
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Series: Natural Computing Series. Num Pages: 509 pages, 15 black & white tables, biography. BIC Classification: KJT; PBKS; PHS; PSA; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 711.
- 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
- 509
- Condition
- New
- SKU
- V9783642086762
- ISBN
- 9783642086762
Paperback
Condition: New
€ 196.15
€ 196.15
Hardback. Local search has been applied successfully to a diverse collection of optimization problems. However, results are scattered throughout the literature. This book provides the reader with a coherent overview of the achievements obtained so far, and serves as a source of inspiration for the development of novel results in the field of local search. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 246 pages, 70 black & white illustrations, 3 black & white tables, biography. BIC Classification: PBU; PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783540358534
- ISBN
- 9783540358534
Hardback
Condition: New
€ 128.36
€ 128.36
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 246 pages, 70 black & white illustrations, 3 black & white tables, biography. BIC Classification: PBU; PBV. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 13. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 246
- Condition
- New
- SKU
- V9783642071485
- ISBN
- 9783642071485
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Editor(s): Matsui, Tomoko. Series: SpringerBriefs in Statistics. Num Pages: 115 pages, 11 black & white illustrations, 5 colour illustrations, 3 black & white tables, 5 colour. BIC Classification: PBT; PBWH; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 115
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9784431553359
- ISBN
- 9784431553359
Paperback
Condition: New
€ 78.77
€ 78.77
Paperback. Editor(s): Diaz, Josep; Sangiorgi, Davide. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 57 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783662446010
- ISBN
- 9783662446010
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Includes Parallel program schemata; Theory of automata; and, Computational complexity of combinatorial and graph-theoretic problems. Editor(s): Preparata, Franco P. Series: CIME Summer Schools. Num Pages: 188 pages, 85 black & white illustrations, biography. BIC Classification: PBUH; UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 296.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 188
- Condition
- New
- SKU
- V9783642111181
- ISBN
- 9783642111181
Paperback
Condition: New
€ 38.28
€ 38.28
Hardcover. This introduction to a wide range of theoretical studies in fluid dynamics, covers a great deal of material and offers updated information on topics such as stability and turbulence. It surveys nearly the entire field of classical fluid dynamics and discusses the various conceptual and analytical models of fluid flow. Num Pages: 556 pages, Illustrations. BIC Classification: PBKS; PHDF; PHDS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 163 x 38. Weight in Grams: 966.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2nd Edition
- Number of pages
- 556
- Condition
- New
- SKU
- V9780471056591
- ISBN
- 9780471056591
Hardback
Condition: New
€ 254.89
€ 254.89
Hardcover. ?? Provides a concise but rigorous account of the theoretical background of FDA. ?? Introduces topics in various areas of mathematics, probability and statistics from the perspective of FDA. ?? Presents a systematic exposition of the fundamental statistical issues in FDA. Series: Wiley Series in Probability and Statistics. Num Pages: 384 pages. BIC Classification: PBKF. Category: (P) Professional & Vocational. Dimension: 238 x 158 x 24. Weight in Grams: 590.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9780470016916
- ISBN
- 9780470016916
Hardback
Condition: New
€ 87.18
€ 87.18
Paperback. Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Scientific Affairs Division, Germany, 1981 Editor(s): Broy, Manfred; Schmidt, G. Series: NATO Science Series C. Num Pages: 672 pages, biography. BIC Classification: PB. Category: (G) General (US: Trade). Dimension: 235 x 155 x 34. Weight in Grams: 1030.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1982
- Number of pages
- 672
- Condition
- New
- SKU
- V9789027714626
- ISBN
- 9789027714626
Paperback
Condition: New
€ 70.75
€ 70.75
Theoretical Foundations of Quantum Information Processing and Communic...
. Ed(S): Bruning, Erwin; Petruccione, Frances...
Hardback. This text on the theoretical foundations of quantum information processing and communication covers an array of topics. It is based on eight lectures selected given at the renowned Chris Engelbrecht Summer School in Theoretical Physics in South Africa. Editor(s): Bruning, Erwin; Petruccione, Francesco. Series: Lecture Notes in Physics. Num Pages: 267 pages, 48 black & white illustrations, biography. BIC Classification: PBW; PDE; PHJ; PHQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642028700
- ISBN
- 9783642028700
Hardback
Condition: New
€ 67.75
€ 67.75
Theoretical Foundations of Synchrotron and Storage Ring RF Systems
Klingbeil, Harald; Laier, Ulrich; Lens, Diete...
Paperback. Series: Particle Acceleration and Detection. Num Pages: 466 pages, 92 black & white illustrations, 2 colour illustrations, biography. BIC Classification: PBWH; PDDM; PHP; TBN; TJFN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 466
- Condition
- New
- SKU
- V9783319383255
- ISBN
- 9783319383255
Paperback
Condition: New
€ 129.08
€ 129.08
Theoretical Foundations of Synchrotron and Storage Ring RF Systems
Klingbeil, Harald; Laier, Ulrich; Lens, Diete...
Hardback. Theoretical Foundations of Synchrotron and Storage Ring RF Systems Series: Particle Acceleration and Detection. Num Pages: 466 pages, 92 black & white illustrations, 2 colour illustrations, biography. BIC Classification: PBWH; PDDM; TBN; TJFN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 859.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 466
- Condition
- New
- SKU
- V9783319071879
- ISBN
- 9783319071879
Hardback
Condition: New
€ 151.20
€ 151.20
Hardback. This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program. Series: Texts in Applied Mathematics. Num Pages: 641 pages, biography. BIC Classification: PBCN; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 163 x 42. Weight in Grams: 1078.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2009
- Edition
- 3rd ed. 2009
- Condition
- New
- SKU
- V9781441904577
- ISBN
- 9781441904577
Hardback
Condition: New
€ 131.87
€ 131.87
Theoretical, Experimental, and Numerical Contributions to the Mechanic...
. Ed(S): Casey, James; Crochet, Marcel J.
Paperback. Editor(s): Casey, James; Crochet, Marcel J. Num Pages: 862 pages, biography. BIC Classification: PBCN; PHD; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 43. Weight in Grams: 1306.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 862
- Condition
- New
- SKU
- V9783034899543
- ISBN
- 9783034899543
Paperback
Condition: New
€ 254.95
€ 254.95