.png){kind=logo}
Mathematical foundations
Results 961 - 980 of 1149
Mathematical foundations
Hardcover. Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level. Series: Algorithms and Computation in Mathematics. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 165 x 12. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2000th Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540667520
- ISBN
- 9783540667520
Hardback
Condition: New
€ 131.15
€ 131.15
Paperback. Editor(s): Fontana, Marco; Frisch, Sophie; Glaz, Sarah. Num Pages: 383 pages, 20 black & white illustrations, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 383
- Condition
- New
- SKU
- V9781493947416
- ISBN
- 9781493947416
Paperback
Condition: New
€ 128.33
€ 128.33
hardcover. Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000 Editor(s): Hommel, Gunter. Num Pages: 196 pages, biography. BIC Classification: PBC; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer United States
- Edition
- 2000th Edition
- Number of pages
- 196
- Condition
- New
- SKU
- V9780792361732
- ISBN
- 9780792361732
Hardback
Condition: New
€ 131.66
€ 131.66
Paperback. Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000 Editor(s): Hommel, Gunter. Num Pages: 196 pages, biography. BIC Classification: PBC; PBW; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 196
- Condition
- New
- SKU
- V9789048153992
- ISBN
- 9789048153992
Paperback
Condition: New
€ 127.78
€ 127.78
Combinatorics, Computability and Logic: Proceedings of the Third Inter...
. Ed(S): Calude, Cristina S.; Dinneen, M. J.;...
paperback. This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS'01) conference, These papers cover topics such as abstract data types and specifications algorithms and data structures automata and formal languages computability among others. Editor(s): Calude, Cristina S.; Dinneen, M. J.; Sblurlan, S. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 251 pages, biography. BIC Classification: PBCD; PBV; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 251
- Condition
- New
- SKU
- V9781852335267
- ISBN
- 9781852335267
Paperback
Condition: New
€ 127.49
€ 127.49
Hardcover. This introduction to modern set theory opens the way to advanced current research. Coverage includes the axiom of choice and Ramsey theory, and a detailed explanation of the sophisticated technique of forcing. Offers notes, related results and references. Series: Springer Monographs in Mathematics. Num Pages: 472 pages, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational. Dimension: 243 x 169 x 33. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781447121725
- ISBN
- 9781447121725
Hardback
Condition: New
€ 185.75
€ 185.75
Hardcover. Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive introduction to the concepts and methodology of beginning combinatorics. Num Pages: 488 pages, illustrations. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 32. Weight in Grams: 874.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9781118652183
- ISBN
- 9781118652183
Hardback
Condition: New
€ 143.26
€ 143.26
Paperback. Editor(s): Du, Ding-Zhu; Hsu, F. Series: Applied Optimization. Num Pages: 222 pages, biography. BIC Classification: PBC; PBV; PBW; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 321.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 1996
- Number of pages
- 222
- Condition
- New
- SKU
- V9781441947529
- ISBN
- 9781441947529
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Series: Springer Monographs in Mathematics. Num Pages: 371 pages, 66 black & white illustrations, biography. BIC Classification: PBC; PBG; PBV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 371
- Condition
- New
- SKU
- V9783319375908
- ISBN
- 9783319375908
Paperback
Condition: New
€ 67.39
€ 67.39
Hardcover. Offers an overview of the integer programming column generation and its applications. This volume begins with 'A Primer in Column Generation' which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with different examples. Editor(s): Desaulniers, Guy; Desrosiers, Jacques; Solomon, Marius M. (GERAD and Northeastern University). Num Pages: 373 pages, 35 black & white tables, biography. BIC Classification: KJT; PBCN; PBF; PBW. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 26. Weight in Grams: 680.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9780387254852
- ISBN
- 9780387254852
Hardback
Condition: New
€ 256.69
€ 256.69
Paperback. Editor(s): Desaulniers, Guy; Desrosiers, Jacques; Solomon, Marius M. (GERAD and Northeastern University). Num Pages: 358 pages, 35 black & white tables, biography. BIC Classification: KJT; PBCN; PBF; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 358
- Condition
- New
- SKU
- V9781441937995
- ISBN
- 9781441937995
Paperback
Condition: New
€ 161.69
€ 161.69
Paperback. This volume covers a wide range of mathematical problems, including philosophical logic, logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation. Series: Collegium Logicum. Num Pages: 140 pages, 3 black & white illustrations. BIC Classification: PBCD; PDA; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 8. Weight in Grams: 305.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 140
- Condition
- New
- SKU
- V9783211827963
- ISBN
- 9783211827963
Paperback
Condition: New
€ 65.94
€ 65.94
Paperback. Covers a wide range of topics ranging from mathematical to philosophical logic, including logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation. Series: Collegium Logicum. Num Pages: 122 pages, 2 black & white illustrations. BIC Classification: HPL; PBCD; PDA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 7. Weight in Grams: 265.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 122
- Condition
- New
- SKU
- V9783211826461
- ISBN
- 9783211826461
Paperback
Condition: New
€ 65.68
€ 65.68
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 1000.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000225
- ISBN
- 9781402000225
Paperback
Condition: New
€ 131.39
€ 131.39
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title deals with the work of Stig Kanger. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001123
- ISBN
- 9781402001123
Paperback
Condition: New
€ 130.88
€ 130.88
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger's work. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001116
- ISBN
- 9781402001116
Hardback
Condition: New
€ 133.25
€ 133.25
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000218
- ISBN
- 9781402000218
Hardback
Condition: New
€ 133.80
€ 133.80
Paperback. This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational. Series: Cognitive Technologies. Num Pages: 437 pages, 12 black & white tables, biography. BIC Classification: HPL; PBCD; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642261657
- ISBN
- 9783642261657
Paperback
Condition: New
€ 195.54
€ 195.54
Clifford Algebras and Their Application in Mathematical Physics
. Ed(S): Dietrich, Volker; Habetha, Klaus; Ja...
Paperback. Editor(s): Dietrich, Volker; Habetha, Klaus; Jank, Gerhard. Series: Fundamental Theories of Physics. Num Pages: 479 pages, biography. BIC Classification: PBC; PBF; PBKD; PBKJ; PBKL. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 479
- Condition
- New
- SKU
- V9789401061148
- ISBN
- 9789401061148
Paperback
Condition: New
€ 69.04
€ 69.04
Hardback. Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. Num Pages: 544 pages, 20 line illus. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 178 x 30. Weight in Grams: 1142.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Princeton University Press United States
- Number of pages
- 546
- Condition
- New
- SKU
- V9780691123004
- ISBN
- 9780691123004
Hardback
Condition: New
€ 89.18€ 68.86
€ 89.18
€ 68.86