.png){kind=logo}
Mathematical theory of computation
Results 1741 - 1760 of 1825
Mathematical theory of computation
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. Series: Studies in Fuzziness and Soft Computing. Num Pages: 215 pages, 100 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UYAM; UYQN. Category: (P) Professional & Vocational. Dimension: 243 x 164 x 15. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319142029
- ISBN
- 9783319142029
Hardback
Condition: New
€ 127.95
€ 127.95
Hardback. This book details advanced methods for tuning finite element simulations to measured data. Case studies demonstrate the principles and test the viability of the approaches. Coverage also critically analyzes the state of the art in FEM updating. Num Pages: 250 pages, biography. BIC Classification: PBWH; TBC; TGB; TN; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 616.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 250
- Condition
- New
- SKU
- V9781849963220
- ISBN
- 9781849963220
Hardback
Condition: New
€ 195.25
€ 195.25
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 149 pages, black & white illustrations, bibliography. BIC Classification: UM; UN; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783540511304
- ISBN
- 9783540511304
Paperback
Condition: New
€ 82.40
€ 82.40
Numerical Mathematics and Advanced Applications - ENUMATH 2015
Ugur, Omur. Ed(S): Karasozen, Bulent; Manguog...
Hardback. Editor(s): Karasozen, Bulent; Manguoglu, Murat; Tezer-Sezgin, Munevver; Goktepe, Serdar. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 657 pages, 69 black & white illustrations, 91 colour illustrations, biography. BIC Classification: PBKQ; PBMP; PDE; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 37. Weight in Grams: 1151.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 657
- Condition
- New
- SKU
- V9783319399270
- ISBN
- 9783319399270
Hardback
Condition: New
€ 253.61
€ 253.61
Hardcover. The theory of graph coloring has existed for more than 150 years. This book states that in the case of hypergraphs, there exist problems on both the minimum and the maximum number of colors. This feature pervades the theory, methods, algorithms, and applications of mixed hypergraph coloring. Series: Fields Institute Monographs. Num Pages: 181 pages, figures, bibliography, index. BIC Classification: PBV; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 190 x 261 x 15. Weight in Grams: 564.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- American Mathematical Society, Fields Institute
- Condition
- New
- SKU
- V9780821828120
- ISBN
- 9780821828120
Hardback
Condition: New
€ 82.01
€ 82.01
Paperback. Deals with the solution of large linear systems as they arise in computational electrodynamics. The text presents topics important for the solution of real life electromagnetic problems with numerical methods - covering all aspects ranging from numerical mathematics up to measurement techniques. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 388 pages, 31 black & white illustrations, 91 colour illustrations, biography. BIC Classification: PHK; TBC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 675.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540676294
- ISBN
- 9783540676294
Paperback
Condition: New
€ 195.56
€ 195.56
Paperback. Editor(s): Subrahmanian, V. S. Num Pages: 596 pages, 59 black & white tables, biography. BIC Classification: JKV; UNF; UYAM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 902.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 596
- Condition
- New
- SKU
- V9781489987662
- ISBN
- 9781489987662
Paperback
Condition: New
€ 173.39
€ 173.39
Paperback. This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. Editor(s): De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 295
- Condition
- New
- SKU
- V9789402406870
- ISBN
- 9789402406870
Paperback
Condition: New
€ 160.72
€ 160.72
Paperback. Series: Lecture Notes in Physics. Num Pages: 139 pages, biography. BIC Classification: GPF; PBKF; PHQ; UYA. Category: (P) Professional & Vocational. Dimension: 245 x 156 x 19. Weight in Grams: 262.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319167176
- ISBN
- 9783319167176
Paperback
Condition: New
€ 59.90
€ 59.90
Paperback. Series: Synthese Library. Num Pages: 321 pages, biography. BIC Classification: CFA; HPL; PDA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 321
- Condition
- New
- SKU
- V9789048161058
- ISBN
- 9789048161058
Paperback
Condition: New
€ 128.27
€ 128.27
Paperback. This volume focuses on a major machine learning task known as classification. Some classification problems are hard to solve, but this book shows that they can be decomposed into much simpler sub-problems. Series: SpringerBriefs in Computer Science. Num Pages: 125 pages, 27 black & white illustrations, 19 black & white tables, biography. BIC Classification: UNF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 125
- Condition
- New
- SKU
- V9780857295248
- ISBN
- 9780857295248
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Series: Springer Series in Reliability Engineering. Num Pages: 202 pages, 27 black & white tables, biography. BIC Classification: TGPQ; TJK; UMB; UT; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 19. Weight in Grams: 468.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 202
- Condition
- New
- SKU
- V9780857293176
- ISBN
- 9780857293176
Hardback
Condition: New
€ 194.44
€ 194.44
Hardcover. This book is a comprehensive, modern reference source containing applications of computerized symbolic manipulations for analyzing the stability of a wide range of difference schemes. The authors provide specific characteristics of each scheme and their application to real world problems. Num Pages: 458 pages, Ill. BIC Classification: PBKJ; TBJ; TRP; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 167 x 36. Weight in Grams: 816.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 458
- Condition
- New
- SKU
- V9780471129462
- ISBN
- 9780471129462
Hardback
Condition: New
€ 256.65
€ 256.65
Hardback. This book presents a new way to look at topical relevance in information retrieval and offers a new method for modeling exchangeable sequences of discrete random variables which does not make any assumptions about the data and can also handle rare events. Series: The Information Retrieval Series. Num Pages: 217 pages, 31 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMB; UND; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540893639
- ISBN
- 9783540893639
Hardback
Condition: New
€ 128.09
€ 128.09
Paperback. This book presents a new way to look at topical relevance in information retrieval and offers a new method for modeling exchangeable sequences of discrete random variables which does not make any assumptions about the data and can also handle rare events. Series: The Information Retrieval Series. Num Pages: 217 pages, 31 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMB; UND; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- 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
- 217
- Condition
- New
- SKU
- V9783642100420
- ISBN
- 9783642100420
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Don't miss out on easy marks. Improve your skills and feel confident about the maths you need for your computer science A-level with this essential guide. Series: Essential Maths Skills. Num Pages: 104 pages. BIC Classification: 4KLR; PB; UYAM. Category: (G) General (US: Trade); (J) Children / Juvenile; (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 213 x 299 x 8. Weight in Grams: 308.
- Publisher
- Hodder Education
- Format
- Paperback
- Publication date
- 2016
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781471863578
- ISBN
- 9781471863578
Paperback
Condition: New
€ 17.99€ 17.14
€ 17.99
€ 17.14
Hardback. Provides insight into the mathematics of Galerkin finite element method as applied to parabolic equations. This second edition has been influenced by the progress in application of semigroup theory to stability and error analysis, particularly in maximum-norm. Series: Springer Series in Computational Mathematics. Num Pages: 376 pages, biography. BIC Classification: PBH; PBKJ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2006
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540331216
- ISBN
- 9783540331216
Hardback
Condition: New
€ 234.70
€ 234.70
Paperback. Series: Springer Series in Computational Mathematics. Num Pages: 376 pages, biography. BIC Classification: PBH; PBKJ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. Softcover of orig. ed. 2006
- Number of pages
- 376
- Condition
- New
- SKU
- V9783642069673
- ISBN
- 9783642069673
Paperback
Condition: New
€ 228.12
€ 228.12
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 200.14
€ 200.14