Mathematical theory of computation
Results 1 - 20 of 361
Mathematical theory of computation
paperback. Series: Applied and Numerical Harmonic Analysis. Num Pages: 398 pages, 22 black & white illustrations, 6 black & white tables, biography. BIC Classification: PBG; PBW; THR; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 22. Weight in Grams: 802.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Birkhäuser United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 398
- Condition
- New
- SKU
- V9781461264156
- ISBN
- 9781461264156
Paperback
Condition: New
€ 66.86
€ 66.86
Hardcover. The last 15 years have seen an explosion of interest in wavelets with applications in fields such as image compression, turbulence, human vision, radar and earthquake prediction. Wavelets represent an area that combines signal in image processing, mathematics, physics and electrical engineering. Editor(s): Misiti, Michel; Misiti, Yves; Oppenheim, Georges; Poggi, Jean-Michel. Series: Digital Signal & Image Processing. Num Pages: 330 pages, Illustrations. BIC Classification: UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 219 x 161 x 26. Weight in Grams: 657.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- ISTE United Kingdom
- Edition
- 1st Edition
- Number of pages
- 330
- Condition
- New
- SKU
- V9781905209316
- ISBN
- 9781905209316
Hardback
Condition: New
€ 254.42
€ 254.42
Walter Gautschi, Volume 3: Selected Works with Commentaries
. Ed(S): Brezinski, Claude; Sameh, Ahmed
paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 778 pages, 62 black & white illustrations, 29 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 39. Weight in Grams: 1458.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhäuser United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 778
- Condition
- New
- SKU
- V9781493955572
- ISBN
- 9781493955572
Paperback
Condition: New
€ 190.99
€ 190.99
Paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 927 pages, 33 black & white illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. Weight in Grams: 1731.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 927
- Condition
- New
- SKU
- V9781493943906
- ISBN
- 9781493943906
Paperback
Condition: New
€ 192.57
€ 192.57
Paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 705 pages, 46 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. Weight in Grams: 1326.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 705
- Condition
- New
- SKU
- V9781493943890
- ISBN
- 9781493943890
Paperback
Condition: New
€ 126.88
€ 126.88
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 67.29
€ 67.29
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 68.47
€ 68.47
Hardback. Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates. Num Pages: 152 pages, 41 line illus. 12 tables. BIC Classification: PBWH; PDN; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 163 x 16. Weight in Grams: 362.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Princeton University Press United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9780691147819
- ISBN
- 9780691147819
Hardback
Condition: New
€ 65.27€ 50.91
€ 65.27
€ 50.91
Hardcover. Outlining a new research direction in fuzzy set theory applied to data mining, this volume proposes a number of new data mining algorithms and includes dozens of figures and illustrations that help the reader grasp the complexities of the concepts. Series: Advanced Topics in Science and Technology in China. Num Pages: 291 pages, biography. BIC Classification: UNF; UYAM; UYM; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2015
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783642412509
- ISBN
- 9783642412509
Hardback
Condition: New
€ 128.12
€ 128.12
Hardback. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107036505
- ISBN
- 9781107036505
Hardback
Condition: New
€ 87.80
€ 87.80
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
€ 122.49
€ 122.49
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
€ 147.12
€ 147.12
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.82
€ 102.82
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
€ 126.32
€ 126.32
Paperback. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Discusses the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 30 black & white illustrations, 32 colour illustrations, biography. BIC Classification: UNF; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642183010
- ISBN
- 9783642183010
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 66.02
€ 66.02
Hardback. One of the key concerns in modern control theory is the design of steering strategies. The implementation of such strategies is done by a regulator. This title presents an introduction to the mathematical background of this type of regulator design. It covers the topics that address the matter of interest to the control community. Series: Oberwolfach Seminars. Num Pages: 174 pages, biography. BIC Classification: TJFM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 174
- Condition
- New
- SKU
- V9783764329532
- ISBN
- 9783764329532
Hardback
Condition: New
€ 62.86
€ 62.86
hardcover. Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 320
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402016561
- ISBN
- 9781402016561
Hardback
Condition: New
€ 129.44
€ 129.44
Paperback. The process of solving large problems by breaking them down into smaller, more simple problems that have identical forms. Thinking Recursively: A small text to solve large problems. Concentrating on the practical value of recursion. this text, the first of its kind, is essential to computer science students' education. Num Pages: 180 pages, illustrations, bibliography, index. BIC Classification: UYA. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 161 x 11. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 180
- Condition
- New
- SKU
- V9780471816522
- ISBN
- 9780471816522
Paperback
Condition: New
€ 132.41
€ 132.41