Mathematical foundations
Results 169 - 192 of 1162
Mathematical foundations
Paperback. This volume contains the papers presented at a conference on cellular automata. Cellular automata are used in several fields, including the simulation of different kinds of dynamical systems, machine vision, parallel computation, and the theoretical analysis of complex dynamics. Editor(s): Bandini, Steffania; Serra, Roberto; Liverani, Furio Suggi. Num Pages: 283 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 283
- Condition
- New
- SKU
- V9781852330484
- ISBN
- 9781852330484
Paperback
Condition: New
€ 122.75
€ 122.75
Hardback. Provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. This title delves into arguments originating in Nori's work that have been further developed by others. Series: Annals of Mathematics Studies. Num Pages: 176 pages. BIC Classification: PBCH; PBG; PBPD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 15. Weight in Grams: 428.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691160504
- ISBN
- 9780691160504
Hardback
Condition: New
€ 193.35€ 144.22
€ 193.35
€ 144.22
Paperback. Provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. This title delves into arguments originating in Nori's work that have been further developed by others. Series: Annals of Mathematics Studies. Num Pages: 176 pages. BIC Classification: PBCH; PBG; PBPD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 158 x 11. Weight in Grams: 304.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Condition
- New
- SKU
- V9780691160511
- ISBN
- 9780691160511
Paperback
Condition: New
€ 107.17
€ 107.17
Paperback. This volume surveys the development of combinatorics since 1930 by presenting in chronological order the fundamental results of the subject proved in over five decades of original papers. Editor(s): Gessel, Ira; Rota, Gian-Carlo. Series: Modern Birkhauser Classics. Num Pages: 492 pages, 10 black & white illustrations, 10 black & white tables, biography. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 706.
- Publisher
- Birkhäuser
- Format
- Paperback
- Publication date
- 2008
- Edition
- Reprint of the 1987 ed.
- Condition
- New
- SKU
- V9780817648411
- ISBN
- 9780817648411
Paperback
Condition: New
€ 71.23
€ 71.23
Paperback. Designed for undergraduate students of set theory, this book presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. It aims to give students a grounding to the results of set theory as well as to tackle significant problems that arise from the theory. Num Pages: 296 pages, 30 line illustrations. BIC Classification: PBCH. Category: (UU) Undergraduate. Dimension: 253 x 210 x 18. Weight in Grams: 666.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 296
- Format
- Paperback
- Publication date
- 1996
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780412606106
- ISBN
- 9780412606106
Paperback
Condition: New
€ 102.19
€ 102.19
Classical and New Paradigms of Computation and Their Complexity Hierar...
. Ed(S): Lowe, Benedikt; Piwinger, Boris; Ras...
Hardback. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume investigates mathematical properties of complexity hierarchies, and also discusses algorithms and computational properties. It is of interest to both mathematical logicians and theoretical computer scientists. Editor(s): Lowe, Benedikt; Piwinger, Boris; Rasch, Thoralf. Series: Trends in Logic. Num Pages: 260 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781402027758
- ISBN
- 9781402027758
Hardback
Condition: New
€ 244.27
€ 244.27
Hardcover.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1995
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9780387943749
- ISBN
- 9780387943749
Hardback
Condition: New
€ 98.75
€ 98.75
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
€ 86.84€ 66.50
€ 86.84
€ 66.50
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
€ 66.18
€ 66.18
hardcover. A comprehensive reference on the theory of variable-length codes and their relation to automata. Series: Encyclopedia of Mathematics and Its Applications. Num Pages: 634 pages, 1 b/w illus. 30 tables 210 exercises. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 239 x 171 x 24. Weight in Grams: 1084.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Cambridge University Press United Kingdom
- Edition
- Illustrated
- Number of pages
- 634
- Condition
- New
- SKU
- V9780521888318
- ISBN
- 9780521888318
Hardback
Condition: New
€ 189.11
€ 189.11
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
€ 187.23
€ 187.23
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
€ 128.37
€ 128.37
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
€ 127.85
€ 127.85
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
€ 125.86
€ 125.86
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
€ 126.07
€ 126.07
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
€ 63.03
€ 63.03
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
€ 63.30
€ 63.30
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
€ 154.89
€ 154.89
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
€ 246.18
€ 246.18
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
€ 64.75
€ 64.75
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
€ 122.39
€ 122.39
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
€ 138.26
€ 138.26
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
€ 178.26
€ 178.26
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
€ 122.17
€ 122.17