Mathematical foundations
Results 25 - 48 of 1164
Mathematical foundations
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.80
€ 66.80
paperback. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer Germany
- Edition
- 2003rd Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540403326
- ISBN
- 9783540403326
Paperback
Condition: New
€ 64.50
€ 64.50
paperback. Constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Editor(s): Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: PBC; UMA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216909
- ISBN
- 9783642216909
Paperback
Condition: New
€ 63.85
€ 63.85
Paperback. Editor(s): Hasegawa, Masahito. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 18 black & white illustrations, biography. BIC Classification: PBCD; UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642389450
- ISBN
- 9783642389450
Paperback
Condition: New
€ 82.17
€ 82.17
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 410 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540732273
- ISBN
- 9783540732273
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540419600
- ISBN
- 9783540419600
Paperback
Condition: New
€ 65.62
€ 65.62
Hardback. Describes methods for building intelligent systems using type-2 fuzzy logic and soft computing (SC) techniques. This title extends the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Series: Studies in Fuzziness and Soft Computing. Num Pages: 244 pages, 188 black & white illustrations, 29 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540762836
- ISBN
- 9783540762836
Hardback
Condition: New
€ 127.09
€ 127.09
Hardback. Series: Atlantis Studies in Computing. Num Pages: 214 pages, 65 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBCD; UM; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 214
- Condition
- New
- SKU
- V9789462392038
- ISBN
- 9789462392038
Hardback
Condition: New
€ 121.69
€ 121.69
Hardback. Series: Publications of the Mathematical Society of Japan. Num Pages: 148 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 10. Weight in Grams: 371.
- Format
- Hardback
- Publication date
- 2020
- Publisher
- Princeton University Press United States
- Number of pages
- 148
- Condition
- New
- SKU
- V9780691638379
- ISBN
- 9780691638379
Hardback
Condition: New
€ 103.72
€ 103.72
hardcover. A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas. Editor(s): Downey, Rod. Series: Lecture Notes in Logic. Num Pages: 539 pages, illustrations. BIC Classification: PBCD; PBX; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 159 x 31. Weight in Grams: 972.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Cambridge University Press United Kingdom
- Edition
- Illustrated
- Number of pages
- 600
- Condition
- New
- SKU
- V9781107043480
- ISBN
- 9781107043480
Hardback
Condition: New
€ 168.05
€ 168.05
Hardcover. Turing's Revolution Editor(s): Sommaruga, Giovanni; Strahm, Thomas. Num Pages: 353 pages, 17 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319221557
- ISBN
- 9783319221557
Hardback
Condition: New
€ 145.19
€ 145.19
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.31
€ 102.31
Hardback. Looks at the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. This work is focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also explored. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792340058
- ISBN
- 9780792340058
Hardback
Condition: New
€ 127.16
€ 127.16
Paperback. Series: Synthese Library. Num Pages: 470 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 470
- Condition
- New
- SKU
- V9789048151059
- ISBN
- 9789048151059
Paperback
Condition: New
€ 219.31
€ 219.31
Paperback / so. Series: Trends in Logic. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 372.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9789400737341
- ISBN
- 9789400737341
Paperback
Condition: New
€ 122.39
€ 122.39
Hardback. Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Series: Trends in Logic. Num Pages: 250 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 545.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400709065
- ISBN
- 9789400709065
Hardback
Condition: New
€ 123.28
€ 123.28
Hardback. Editor(s): Aguirre, Anthony; Foster, Brendan; Merali, Zeeya. Series: The Frontiers Collection. Num Pages: 10 black & white illustrations, biography. BIC Classification: PBC; PBWH; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319274942
- ISBN
- 9783319274942
Hardback
Condition: New
€ 101.96
€ 101.96
Paperback. Series: Trends in Logic. Num Pages: 387 pages, biography. BIC Classification: HPL; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 387
- Condition
- New
- SKU
- V9789048155071
- ISBN
- 9789048155071
Paperback
Condition: New
€ 239.80
€ 239.80
Hardback. Surveys several applied fields in which triangular norms play a significant part: probabilistic metric spaces, aggregation operators, many-valued logics, fuzzy logics, sets and control, and non-additive measures together with their corresponding integrals. This work is self contained, including proofs, and gives many graphical illustrations. Series: Trends in Logic. Num Pages: 387 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 387
- Condition
- New
- SKU
- V9780792364160
- ISBN
- 9780792364160
Hardback
Condition: New
€ 247.09
€ 247.09
Paperback. Editor(s): Hendricks, Vincent F.; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland). Series: Trends in Logic. Num Pages: 384 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 384
- Condition
- New
- SKU
- V9789048164141
- ISBN
- 9789048164141
Paperback
Condition: New
€ 186.75
€ 186.75
Paperback. Series: Theory and Applications of Transport in Porous Media. Num Pages: 282 pages, biography. BIC Classification: PBC; RBK; TNCC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 282
- Condition
- New
- SKU
- V9789048168064
- ISBN
- 9789048168064
Paperback
Condition: New
€ 122.49
€ 122.49
Hardback. The macroscopic porous media theory has made decisive progress concerning the fundamentals of the theory and the development of mathematical models. This book provides an outline of modern theory of porous media and shows some trends in theory and in applications. It is useful for those working in engineering, physics, and mathematics. Series: Theory and Applications of Transport in Porous Media. Num Pages: 282 pages, biography. BIC Classification: PBC; RBK; TNCC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 1310.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9781402031434
- ISBN
- 9781402031434
Hardback
Condition: New
€ 128.05
€ 128.05
Hardback. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400717350
- ISBN
- 9789400717350
Hardback
Condition: New
€ 175.51
€ 175.51
Transient/Dynamic Analysis and Constitutive Laws for Engineering Mater...
. Ed(S): Pande, Gyan N.; Middleton, J.
paperback. Proceedings of the International Conference on Numerical Methods in Engineering: Theory and Applications, NUMETA '87, 6-10 July, 1987; Volume 2 Editor(s): Pande, Gyan N.; Middleton, J. Num Pages: 790 pages, biography. BIC Classification: PBC; PBCN; TBC. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 40. Weight in Grams: 1168.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 790
- Condition
- New
- SKU
- V9789401081351
- ISBN
- 9789401081351
Paperback
Condition: New
€ 243.20
€ 243.20