.png){kind=logo}
Mathematical foundations
Results 1041 - 1060 of 1148
Mathematical foundations
Paperback. The P=NP question is one of the great problems of science, which has intrigued computer scientists and mathematicians for decades. This guide, originating from a weblog written by the author, covers historical developments and latest approaches to the problem. Num Pages: 252 pages, biography. BIC Classification: PBC; PBKS; UMB; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781489992727
- ISBN
- 9781489992727
Paperback
Condition: New
€ 127.78
€ 127.78
The Parametric Lambda Calculus. A Meta-Model for Computation.
Ronchi Della Rocca, Simona; Paolini, Luca
Hardback. Contains a presentation of classical results in the field of Lambda Calculus. This text presents a calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 262 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540200321
- ISBN
- 9783540200321
Hardback
Condition: New
€ 72.22
€ 72.22
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 248 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 174 x 234 x 15. Weight in Grams: 392. Series: Texts in Theoretical Computer Science: An EATCS Series. 267 pages, black & white illustrations. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 174 x 234 x 15. Weight: 392.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Number of pages
- 267
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642057465
- ISBN
- 9783642057465
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): McGuinness, B. F.; Oliveri, Gianluigi. Series: Synthese Library. Num Pages: 394 pages, biography. BIC Classification: CFA; HPJ; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 229 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 394
- Condition
- New
- SKU
- V9789048143894
- ISBN
- 9789048143894
Paperback
Condition: New
€ 195.25
€ 195.25
Hardcover. This book takes the reader on a journey around the globe and through centuries of history, exploring the transformations that mathematical proof has undergone from its inception at the time of Euclid and Pythagoras to its versatile, present-day use. Num Pages: 264 pages, 83 black & white illustrations, 5 colour illustrations, biography. BIC Classification: PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 260 x 180 x 17. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2011th Edition
- Number of pages
- 281
- Condition
- New
- SKU
- V9780387489087
- ISBN
- 9780387489087
Hardback
Condition: New
€ 53.99€ 45.30
€ 53.99
€ 45.30
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 300 pages, biography. BIC Classification: PBC; PBKS; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642644733
- ISBN
- 9783642644733
Paperback
Condition: New
€ 67.12
€ 67.12
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 70.39
€ 70.39
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 69.52
€ 69.52
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Hardback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642227165
- ISBN
- 9783642227165
Hardback
Condition: New
€ 68.44
€ 68.44
The Schrodinger-Virasoro Algebra. Mathematical Structure and Dynamical...
Unterberger, Jeremie; Roger, Claude
Paperback. The first current, self-contained presentation of the newly discovered structure of the Schrodinger-Virasoro algebra, this book explains the role this algebra of non-relativistic conformal symmetries plays in some models of non-equilibrium statistical physics. Series: Theoretical and Mathematical Physics. Num Pages: 344 pages, biography. BIC Classification: PBC; PBG; PHS; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642269592
- ISBN
- 9783642269592
Paperback
Condition: New
€ 67.41
€ 67.41
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: Nijhoff International Philosophy Series. Num Pages: 410 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 410
- Condition
- New
- SKU
- V9789401067225
- ISBN
- 9789401067225
Paperback
Condition: New
€ 68.15
€ 68.15
Hardback. Steiner's Problem concerns finding a shortest interconnecting network for a finite set of points in a metric space. A solution must be a tree, which is called a Steiner Minimal Tree (SMT), and may contain vertices different from the points which are to be connected. This book concentrates on investigating the Steiner ratio. Editor(s): Cieslik, Dietmar. Series: Combinatorial Optimization. Num Pages: 256 pages, biography. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780792370154
- ISBN
- 9780792370154
Hardback
Condition: New
€ 132.74
€ 132.74
Hardback. Translator(s): Greenlinger, M. Series: Mathematics and its Applications. Num Pages: 369 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 1988
- Publisher
- Springer Netherlands
- Number of pages
- 369
- Condition
- New
- SKU
- V9789027727732
- ISBN
- 9789027727732
Hardback
Condition: New
€ 201.76
€ 201.76
Hardback. Kurschak formally introduced the concept of a valuation of a field, as being real valued functions on the set of non-zero elements of the field satisfying certain properties, like the p-adic valuations. Ostrowski, Hasse, Schmidt and others developed this theory. These are the topics which are the object of this book. Series: Springer Monographs in Mathematics. Num Pages: 414 pages, biography. BIC Classification: PBC; PBF; PBKQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 414
- Condition
- New
- SKU
- V9780387985251
- ISBN
- 9780387985251
Hardback
Condition: New
€ 135.92
€ 135.92
Paperback. Series: Synthese Library. Num Pages: 216 pages, biography. BIC Classification: HP; PBCD; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1981
- Number of pages
- 216
- Condition
- New
- SKU
- V9789400984035
- ISBN
- 9789400984035
Paperback
Condition: New
€ 127.18
€ 127.18
Hardcover. Provides an in-depth treatment of the Traveling Salesman problem--the archetypical problem in combinatorial optimization. Each chapter deals with a different aspect of the problem, and has been written by an acknowledged expert in the field. Focusses on the essential ideas in a self-contained manner. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 476 pages, illustrations, bibliography. BIC Classification: PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 236 x 161 x 32. Weight in Grams: 876.
- Format
- Hardback
- Publication date
- 1985
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 476
- Condition
- New
- SKU
- V9780471904137
- ISBN
- 9780471904137
Hardback
Condition: New
€ 508.93
€ 508.93
The Universe as Automaton. from Simplicity and Symmetry to Complexity....
Mainzer, Klaus; Chua, Leon O.
Paperback. Going beyond the numerical experiments of Steven Wolfram, this book argues that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellular automata. Series: SpringerBriefs in Complexity. Num Pages: 116 pages, 30 colour illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 189.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 116
- Condition
- New
- SKU
- V9783642234767
- ISBN
- 9783642234767
Paperback
Condition: New
€ 76.28
€ 76.28
Hardback. Offers a historical survey of important work on the foundations of mathematics. This title provides an introduction to Chaitins ideas, and includes software that enables users to interact with the authors proofs. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 133 pages, biography. BIC Classification: 3JJ; PBB; PBC. Category: (P) Professional & Vocational. Dimension: 245 x 167 x 19. Weight in Grams: 392.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 133
- Condition
- New
- SKU
- V9789814021722
- ISBN
- 9789814021722
Hardback
Condition: New
€ 207.47
€ 207.47
Paperback. Translator(s): Brewer, William D. Series: The Frontiers Collection. Num Pages: 163 pages, 23 black & white illustrations, biography. BIC Classification: PBC; PDA; PDX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 163
- Condition
- New
- SKU
- V9783319386379
- ISBN
- 9783319386379
Paperback
Condition: New
€ 65.53
€ 65.53