Mathematical foundations
Results 241 - 260 of 1205
Mathematical foundations
Relational and Algebraic Methods in Computer Science
. Ed(S): Kahl, Wolfram; Winter, Michael; Oliv...
Paperback. Editor(s): Kahl, Wolfram; Winter, Michael; Oliveira, Jose. Series: Lecture Notes in Computer Science. Num Pages: 405 pages, 51 black & white illustrations, biography. BIC Classification: PBCD; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 405
- Condition
- New
- SKU
- V9783319247038
- ISBN
- 9783319247038
Paperback
Condition: New
€ 65.03
€ 65.03
Paperback. Series: Springer-Lehrbuch. Num Pages: 261 pages, 5 black & white illustrations. BIC Classification: PBC; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540585596
- ISBN
- 9783540585596
Paperback
Condition: New
€ 79.76
€ 79.76
Paperback. Series: Perspectives in Mathematical Logic. Num Pages: 437 pages, biography. BIC Classification: PBCD; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540666813
- ISBN
- 9783540666813
Paperback
Condition: New
€ 134.48
€ 134.48
Paperback. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 395
- Condition
- New
- SKU
- V9789048152988
- ISBN
- 9789048152988
Paperback
Condition: New
€ 186.93
€ 186.93
Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 395
- Condition
- New
- SKU
- V9780792359043
- ISBN
- 9780792359043
Hardback
Condition: New
€ 193.83
€ 193.83
Paperback. Covers such topics as: Admissible recursion theory; Computational complexity and recursion theory; A survey of set recursion; Priority arguments in Higgler recursion; Construction in the recursively enumerable degrees; and, Recursively invariant recursion theory. Series: CIME Summer Schools. Num Pages: 240 pages, 6 black & white illustrations, biography. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783642110719
- ISBN
- 9783642110719
Paperback
Condition: New
€ 60.83
€ 60.83
Paperback. Focuses on automorphism groups of trees, providing an analysis of when two trees have isomorphic automorphism groups. This work focuses on the class of $\aleph_0$-categorical trees, and for this class the analysis is complete. It discusses various open problems, mostly in permutation group theory and in model theory. Series: Contemporary Mathematics. Num Pages: 274 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational. Dimension: 260. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- American Mathematical Society United States
- Number of pages
- 274
- Condition
- New
- SKU
- V9780821851876
- ISBN
- 9780821851876
Paperback
Condition: New
€ 132.88€ 118.98
€ 132.88
€ 118.98
Paperback. Editor(s): Ciuni, Roberto; Willkommen, Caroline. Series: Trends in Logic. Num Pages: 217 pages, 12 black & white illustrations, biography. BIC Classification: HPK; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 217
- Condition
- New
- SKU
- V9783319358123
- ISBN
- 9783319358123
Paperback
Condition: New
€ 121.72
€ 121.72
Paperback. Editor(s): Marti-Oliet, Narciso; Palomino, Miguel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 71 black & white illustrations, biography. BIC Classification: PBC; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642376344
- ISBN
- 9783642376344
Paperback
Condition: New
€ 64.22
€ 64.22
Paperback. Editor(s): Mossakowski, Till; Kreowski, Hans-Jorg. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 313 pages, biography. BIC Classification: PBC; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642284113
- ISBN
- 9783642284113
Paperback
Condition: New
€ 64.35
€ 64.35
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 351 pages, biography. BIC Classification: PBC; UM; UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 351
- Condition
- New
- SKU
- V9783642034282
- ISBN
- 9783642034282
Paperback
Condition: New
€ 65.01
€ 65.01
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 68.43
€ 68.43
Paperback. Editor(s): Diaconescu, Razvan; Codescu, Mihai; Tutu, Ionut. Series: Lecture Notes in Computer Science. Num Pages: 182 pages, 35 colour illustrations, biography. BIC Classification: PBC; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 182
- Condition
- New
- SKU
- V9783319281131
- ISBN
- 9783319281131
Paperback
Condition: New
€ 52.54
€ 52.54
Hardcover. Recent Progress in General Topology III Editor(s): Hart, K. P.; Mill, Jan van; Simon, P. Num Pages: 910 pages, 33 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBG; PBKF. Category: (P) Professional & Vocational. Dimension: 163 x 243 x 55. Weight in Grams: 1534.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390232
- ISBN
- 9789462390232
Hardback
Condition: New
€ 212.23
€ 212.23
Paperback. Editor(s): Chan, Tony F.; Yunqing, Huang; Tang, Tao; Xu, Jinchao; Ying, Lung-an. Num Pages: 447 pages, biography. BIC Classification: PBC; PBF; PBKJ; PBW. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 23. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 447
- Condition
- New
- SKU
- V9781461349297
- ISBN
- 9781461349297
Paperback
Condition: New
€ 124.91
€ 124.91
Paperback. Proceedings of the NATO Advanced Study Institute on Fourier Analysis and its Applications, Il Ciocco, Italy, July 16-29, 1989 Editor(s): Byrnes, J. S.; Byrnes, J. S. Series: NATO Science Series C. Num Pages: 700 pages, biography. BIC Classification: PBC; PBK; PHM; PNT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1056.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 700
- Condition
- New
- SKU
- V9789401067843
- ISBN
- 9789401067843
Paperback
Condition: New
€ 68.03
€ 68.03
Hardcover. This volume explores Wolfgang Pauli's visionary ideas with respect to several topics in science and philosophy that are of contemporary interest. It provides material and suggests directions for future studies of a variety of deep-seated and open problems. Editor(s): Atmanspacher, Harald; Primas, Hans. Num Pages: 340 pages, 24 black & white illustrations, 7 black & white tables, biography. BIC Classification: PBC; PDA; PH; PSAJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 630.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783540851974
- ISBN
- 9783540851974
Hardback
Condition: New
€ 65.85
€ 65.85
Paperback. This volume explores Wolfgang Pauli's visionary ideas with respect to several topics in science and philosophy that are of contemporary interest. It provides material and suggests directions for future studies of a variety of deep-seated and open problems. Editor(s): Atmanspacher, Harald; Primas, Hans. Num Pages: 340 pages, 24 black & white illustrations, 7 black & white tables, biography. BIC Classification: PBC; PDA; PH; PSAJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 1087.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642098949
- ISBN
- 9783642098949
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. Editor(s): Ehrlich, P. Series: Synthese Library. Num Pages: 288 pages, biography. BIC Classification: HPL; PBC; PBF; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1994
- Number of pages
- 288
- Condition
- New
- SKU
- V9789048143627
- ISBN
- 9789048143627
Paperback
Condition: New
€ 186.03
€ 186.03
hardcover. Since their appearance in the late 19th century, the Cantor-Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy. This title is suitable for historians and philosophers of mathematics as well as mathematicians who are concerned with the foundations of their subject. Editor(s): Ehrlich, Philip. Series: Synthese Library. Num Pages: 288 pages, biography. BIC Classification: PBCD; PBH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 634.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1994th Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780792326892
- ISBN
- 9780792326892
Hardback
Condition: New
€ 192.31
€ 192.31