.png){kind=logo}
Mathematical foundations
Results 521 - 540 of 1147
Mathematical foundations
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 403 pages, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 403
- Condition
- New
- SKU
- V9783642023477
- ISBN
- 9783642023477
Paperback
Condition: New
€ 68.03
€ 68.03
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
€ 130.94
€ 130.94
Paperback. This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 2009, in Haifa, Israel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 255 pages, biography. BIC Classification: PBCD; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783642017476
- ISBN
- 9783642017476
Paperback
Condition: New
€ 66.61
€ 66.61
Hardback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBCD; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 43. Weight in Grams: 1208.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642014918
- ISBN
- 9783642014918
Hardback
Condition: New
€ 287.54
€ 287.54
Paperback. Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, biography. BIC Classification: PBCD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 769
- Condition
- New
- SKU
- V9783642009815
- ISBN
- 9783642009815
Paperback
Condition: New
€ 132.47
€ 132.47
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 68.83
€ 68.83
Flow, Gesture, and Spaces in Free Jazz: Towards a Theory of Collaborat...
Mazzola, Guerino, Cherlin, Paul B.
Hardcover. Free jazz, as performed by such artists as John Coltrone and Archie Shepp, is a creative, collaborative art form. This book examines free jazz and develops geometric theories of gestures and distributed identities, also known as swarm intelligence. Series: Computational Music Science. Num Pages: 154 pages, biography. BIC Classification: AV; PBC; UG; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 399.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783540921943
- ISBN
- 9783540921943
Hardback
Condition: New
€ 66.95
€ 66.95
Hardback. This text explains the epistemic structure of the relationships among uncertainty, expectations, risk, possibility and probability. It then probes how fuzzy paradigm and fuzzy rationality bring new understanding to those relationships. Series: Studies in Fuzziness and Soft Computing. Num Pages: 289 pages, 3 black & white tables, biography. BIC Classification: HPL; PBCD; UYQN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783540880868
- ISBN
- 9783540880868
Hardback
Condition: New
€ 133.85
€ 133.85
Hardback. This volume is the second in a series on the role of fuzzy paradigm and fuzzy rationality within the theory of knowledge. This one is devoted to unified epistemic models and theories of decision-choice under total uncertainties. Series: Studies in Fuzziness and Soft Computing. Num Pages: 264 pages, 1 black & white tables, biography. BIC Classification: HPK; PBCD; UYQN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540880844
- ISBN
- 9783540880844
Hardback
Condition: New
€ 199.61
€ 199.61
Hardback. This text offers the general scientific community the epistemic framework of fuzzy paradigm and the rationality it induces for approximate reasoning. It also describes the role fuzzy rationality plays in our information-knowledge enterprise. Series: Studies in Fuzziness and Soft Computing. Num Pages: 283 pages, biography. BIC Classification: PBCD; UYQN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783540880820
- ISBN
- 9783540880820
Hardback
Condition: New
€ 255.29
€ 255.29
paperback. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 68.00
€ 68.00
Paperback. Constitutes the proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008. This book addresses various important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; and, quantum computing. Series: Lecture Notes in Computer Science. Num Pages: 557 pages, biography. BIC Classification: PBCD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540857792
- ISBN
- 9783540857792
Paperback
Condition: New
€ 69.59
€ 69.59
Paperback. Editor(s): Zhao, Xishun. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540797180
- ISBN
- 9783540797180
Paperback
Condition: New
€ 67.25
€ 67.25
Paperback / so. Translator(s): Krieger, Micaela; Lippert, Karen. Series: Springer-Lehrbuch Masterclass. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; PHU; UY. Category: (G) General (US: Trade). Dimension: 229 x 152 x 46. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540784944
- ISBN
- 9783540784944
Paperback
Condition: New
€ 83.31
€ 83.31
Hardback. Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. This book covers the necessary logical machinery behind the proof interpretations that are used in applications as well as - via extended case studies - carrying out some of these applications in detail. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 164 x 36. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540775324
- ISBN
- 9783540775324
Hardback
Condition: New
€ 171.87
€ 171.87
Hardback. Field Arithmetic explores Diophantine fields through their absolute Galois groups. The treatment starts with techniques from algebraic geometry, number theory, and profinite groups. Graduate students can effectively learn generalizations of finite field ideas. Series: Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics. Num Pages: 816 pages, biography. BIC Classification: PBC; PBF; PBH; PBMW. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 49. Weight in Grams: 1302.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3rd ed. 2008
- Number of pages
- 816
- Condition
- New
- SKU
- V9783540772699
- ISBN
- 9783540772699
Hardback
Condition: New
€ 232.68
€ 232.68
Hardback. Since their inception, fuzzy and rough set theories have earned a sound, well-deserved reputation owing to their intrinsic capabilities to model uncertainty coming from the real world. This title offers a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS 2006) held in Santa Clara, Cuba. Editor(s): Bello, Rafael; Falcon, Rafael; Pedrycz, Witold; Kacprzyk, Janusz. Series: Studies in Fuzziness and Soft Computing. Num Pages: 351 pages, 74 black & white tables, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 351
- Condition
- New
- SKU
- V9783540769729
- ISBN
- 9783540769729
Hardback
Condition: New
€ 200.93
€ 200.93
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
€ 132.74
€ 132.74
Ensembles Ordonnes Finis: Concepts, Resultats Et Usages
Caspard, Nathalie; Leclerc, Bruno (Ecole Des ...
Paperback / so. Series: Mathematiques Et Applications. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJT; PBCH; PBF; PBUD; PBUH. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 508.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Condition
- New
- SKU
- V9783540737551
- ISBN
- 9783540737551
Paperback
Condition: New
€ 71.45
€ 71.45
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
€ 68.17
€ 68.17