.png){kind=logo}
Mathematical foundations
Results 581 - 600 of 1148
Mathematical foundations
Paperback / so. Ein Klassiker zur Numerischen Mathematik im Springer-Lehrbuchprogramm. Klare, gut lesbare Darstellung der neuesten Erkenntnisse und praktikable Algorithmen mit vielen Beispielen. Eine gelungene Synthese aus theoretischer Begrundung und praktischer Anwendung.." Series: Springer-Lehrbuch. Num Pages: 410 pages, black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBK; PBW. Category: (G) General (US: Trade). Dimension: 234 x 156 x 22. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 10
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540453895
- ISBN
- 9783540453895
Paperback
Condition: New
€ 49.42
€ 49.42
Hardback. In Western Civilization mathematics and music have a long common history. This book journeys into recent work relating music and mathematics, covering historical aspects, influence of logic and mathematical thought in composition, perception and understanding of music and computational aspects. Editor(s): Assayag, Gerard; Feichtinger, Hans G.; Rodrigues, Jose Francisco. Num Pages: 288 pages, biography. BIC Classification: AVA; PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540437277
- ISBN
- 9783540437277
Hardback
Condition: New
€ 133.80
€ 133.80
Hardback. Aims to provide an extremely clear monograph on algorithmic information theory. This work contains discussions of some interesting philosophical questions surrounding the meaning of randomness, as well as notion of randomness in physics and the information content of mathematical knowledge. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 468 pages, biography. BIC Classification: PBB; PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2002
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540434665
- ISBN
- 9783540434665
Hardback
Condition: New
€ 115.20
€ 115.20
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more. Editor(s): Kuich, Werner; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science. Num Pages: 398 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540434535
- ISBN
- 9783540434535
Paperback
Condition: New
€ 72.29
€ 72.29
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
€ 69.38
€ 69.38
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
€ 71.35
€ 71.35
Paperback. The 80 revised papers, together with an introduction and three keynote presentations have gone through two rounds of reviewing and revision. They have been organized into topical sections including granual computing, rough sets and systems and fuzzy sets and systems. Editor(s): Ziarko, Wojciech; Yao, Yiyu Y. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 676 pages, biography. BIC Classification: PBCD; TJFM1; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 954.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 676
- Condition
- New
- SKU
- V9783540430742
- ISBN
- 9783540430742
Paperback
Condition: New
€ 138.69
€ 138.69
Paperback. This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. Series: Universitext. Num Pages: 492 pages, 3 black & white illustrations, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 1520.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 492
- Condition
- New
- SKU
- V9783540423249
- ISBN
- 9783540423249
Paperback
Condition: New
€ 234.26
€ 234.26
Hardback. Translator(s): Junker, M. BIC Classification: PBC. Dimension: 203 x 127. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540423072
- ISBN
- 9783540423072
Hardback
Condition: New
€ 32.99€ 28.76
€ 32.99
€ 28.76
Applications and Theory of Petri Nets 2001: 22nd International Confere...
. Ed(S): Colom, Jose-Manuel; Koutny, Maciej
paperback. Editor(s): Colom, Jose-Manuel; Koutny, Maciej. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540422525
- ISBN
- 9783540422525
Paperback
Condition: New
€ 72.46
€ 72.46
Hardback. Description based on: v. 4, published first and copyrighted c2001. Editor(s): Brieskorn, Egbert; Hausdorff, Felix; Chatterji, Srishti D. (Ecole Polytechnique Federale); Epple, Moritz; Felgner, Ulrich; Herrlich, Horst; Husek, Mirek; Kanovei, Vladimir; Kopeke, Peter; Preuss, Gerhard. Num Pages: 884 pages, biography. BIC Classification: PBC; PBP; PBX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 48. Weight in Grams: 1502.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 884
- Condition
- New
- SKU
- V9783540422242
- ISBN
- 9783540422242
Hardback
Condition: New
€ 212.15
€ 212.15
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
€ 68.44
€ 68.44
Paperback. This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming. Editor(s): Parigot, Michel; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 504 pages, biography. BIC Classification: PBCD; UMX; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540412854
- ISBN
- 9783540412854
Paperback
Condition: New
€ 74.27
€ 74.27
Hardback. With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim, J. Espeleta, B. Farwer, M.P. Gervais, S. Haddad, J.M. Ilie, F. Kordon, R. Mackenthun, D. Moldt, D. Poitrenaud, M. Silva,M.-O. Stehr, E. Teruel, I. Vernier-Mounier, M. Voorhoeve Num Pages: 607 pages, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 156 x 234 x 33. Weight in Grams: 1051.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 607
- Condition
- New
- SKU
- V9783540412175
- ISBN
- 9783540412175
Hardback
Condition: New
€ 131.66
€ 131.66
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
€ 67.27
€ 67.27
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 390 pages, biography. BIC Classification: GPFC; PBCD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783540401759
- ISBN
- 9783540401759
Hardback
Condition: New
€ 202.24
€ 202.24
Hardback. Focuses on the restoration of Poincare duality on stratified singular spaces by using Verdier-self-dual sheaves such as the prototypical intersection chain sheaf on a complex variety. This book provides proofs of decomposition theorems for self-dual sheaves and an explanation of methods for computing twisted characteristic classes. Series: Springer Monographs in Mathematics. Num Pages: 276 pages, 14 black & white illustrations, 7 black & white tables, biography. BIC Classification: PBC; PBK; PBMP. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 166 x 21. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540385851
- ISBN
- 9783540385851
Hardback
Condition: New
€ 133.08
€ 133.08
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, June 2006. This book addresses important issues in language theory, including grammars, acceptors and transducers for strings, trees, graphs, arrays; efficient text algorithms; and, more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540354284
- ISBN
- 9783540354284
Paperback
Condition: New
€ 73.64
€ 73.64
Hardback. Intends to treat the mathematics of many important areas in digital information processing. This book based on lectures on information technology (Data Compaction, Cryptography, and Polynomial Coding) for engineers. It is suitable for teachers, students and practitioners in electronic engineering, computer science and mathematics. Series: Signals and Communication Technology. Num Pages: 443 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 34. Weight in Grams: 786.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540332183
- ISBN
- 9783540332183
Hardback
Condition: New
€ 202.91
€ 202.91
Paperback. Series: Mathematiques et Applications. Num Pages: 436 pages, 34 ill. BIC Classification: PBCN; PBKJ; PBUH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540309963
- ISBN
- 9783540309963
Paperback
Condition: New
€ 106.00
€ 106.00