Mathematical foundations
Results 769 - 792 of 801
Mathematical foundations
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.57
€ 243.57
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
€ 174.65
€ 174.65
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
€ 121.93
€ 121.93
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
€ 185.90
€ 185.90
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
€ 238.95
€ 238.95
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.45
€ 101.45
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
€ 122.99
€ 122.99
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
€ 121.80
€ 121.80
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
€ 218.30
€ 218.30
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.07
€ 102.07
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
€ 144.46
€ 144.46
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.67
€ 121.67
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
€ 126.52
€ 126.52
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.19
€ 65.19
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.44
€ 65.44
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
€ 81.80
€ 81.80
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.55
€ 63.55
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.59
€ 64.59
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.09
€ 66.09
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1999
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790824643
- ISBN
- 9783790824643
Paperback
Condition: New
€ 121.39
€ 121.39
hardcover. This work presents an overview of the development of basic ideas and mathematical results regarding measures/principles of uncertainty-based information within the framework of classical set theory, probability theory, fuzzy set theory, possibility theory and the Dempster-Shafer theory of evidence. Series: Studies in Fuzziness and Soft Computing. Num Pages: 168 pages, biography. BIC Classification: GPF; GPQ; PBCD; PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9783790812428
- ISBN
- 9783790812428
Hardback
Condition: New
€ 125.43
€ 125.43
Paperback. Series: Theory and Decision Library B. Num Pages: 268 pages, black & white illustrations. BIC Classification: KJT; PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 268
- Condition
- New
- SKU
- V9789401737838
- ISBN
- 9789401737838
Paperback
Condition: New
€ 63.85
€ 63.85
Hardback. Vortex wakes of Aircrafts provides mathematical modeling methods for high and low altitude take-off-landing regimes. Integral methods are combined with an extensive application of the discrete vortices technique, resulting in a time-efficient approach. Series: Foundations of Engineering Mechanics. Num Pages: 169 pages, 162 black & white illustrations, biography. BIC Classification: PBCN; PHDF; TRC. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 16. Weight in Grams: 404.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 169
- Condition
- New
- SKU
- V9783642017599
- ISBN
- 9783642017599
Hardback
Condition: New
€ 124.79
€ 124.79
Paperback / so. In 2. Auflage noch ubersichtlicher: Erneut fuhrt der Autor praxisorientiert in die Begriffe und Werkzeuge der Wahrscheinlichkeitsrechnung ein. Zur Diskussion und grafischen Visualisierung zentraler Begriffe und Methoden verwendet er MATLAB. Mit uber 100 Ubungen " Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: PBCN; PBT; TBC; TJF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 156 x 22. Weight in Grams: 767.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783540721550
- ISBN
- 9783540721550
Paperback
Condition: New
€ 71.97
€ 71.97