Mathematical theory of computation
Results 169 - 190 of 190
Mathematical theory of computation
Paperback. Featuring a unique CD that contains a virtual computer/calculator software program, This essential text begins by explaining fundamental math concepts, such as the use of powers and different place-value number systems (specifically binary, decimal, and hexadecimal). Num Pages: 464 pages, Illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 203 x 24. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 464
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471732785
- ISBN
- 9780471732785
Paperback
Condition: New
€ 64.62
€ 64.62
hardcover. This major new edition features many topics not covered in the original, including graphical models, random forests, and ensemble methods. As before, it covers the conceptual framework for statistical data in our rapidly expanding computerized world. Series: Springer Series in Statistics. Num Pages: 745 pages, 282 black & white illustrations, biography. BIC Classification: PBT; PSA; UNF; UYAM; UYQM. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 40. Weight in Grams: 1422.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 767
- Format
- Hardback
- Publication date
- 2009
- Edition
- 2nd ed. 2009, Corr. 9th printing 2017
- Condition
- New
- SKU
- V9780387848570
- ISBN
- 9780387848570
Hardback
Condition: New
€ 106.18
€ 106.18
Hardcover. This volume details the application of molecular simulation to the liquid state. Series: Wiley Tutorial Series in Theoretical Chemistry. Num Pages: 264 pages, Illustrations. BIC Classification: PDE; PHFC; PHM; UGK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 256 x 199 x 21. Weight in Grams: 716.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9780471977162
- ISBN
- 9780471977162
Hardback
Condition: New
€ 461.33
€ 461.33
Paperback.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 1996
- Edition
- 2nd
- Condition
- New
- SKU
- V9783540615453
- ISBN
- 9783540615453
Paperback
Condition: New
€ 88.72€ 88.23
€ 88.72
€ 88.23
Hardcover. An introduction to the concept of backpropagation, or "dynamic feedback", an algorithm developed by the author to be used in neural networking. The text initiates a body of background tools capable of generating applications across a range of fields, from engineering to political forecasting. Series: Adaptive and Learning Systems for Signal Processing, Communications and Control Series. Num Pages: 320 pages, Ill. BIC Classification: UYA; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 181 x 24. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 320
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471598978
- ISBN
- 9780471598978
Hardback
Condition: New
€ 219.87
€ 219.87
Hardback. Presents the findings on one of the most intensely investigated subjects in computational mathematics - the travelling salesman problem. This book describes the method and computer code used to solve a range of large-scale problems, and demonstrates the interplay of applied mathematics with increasingly powerful computing platforms. Series: Princeton Series in Applied Mathematics. Num Pages: 608 pages, 200 line illus. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 241 x 165 x 43. Weight in Grams: 1056.
- Publisher
- Princeton University Press United States
- Number of pages
- 608
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2nd Printing
- Condition
- New
- SKU
- V9780691129938
- ISBN
- 9780691129938
Hardback
Condition: New
€ 108.85€ 82.87
€ 108.85
€ 82.87
Paperback. Digital information and communication technologies can be seen as a threat to privacy, a step forward for freedom of expression and communication, a tool in the fight against terrorism or the source of a new economic wealth. Num Pages: 138 pages, black & white illustrations. BIC Classification: UBL; UBW; UR; UYA; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 162 x 8. Weight in Grams: 230.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 138
- Condition
- New
- SKU
- V9781786300867
- ISBN
- 9781786300867
Paperback
Condition: New
€ 178.08
€ 178.08
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642232824
- ISBN
- 9783642232824
Paperback
Condition: New
€ 83.71
€ 83.71
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319409696
- ISBN
- 9783319409696
Paperback
Condition: New
€ 82.81€ 52.78
€ 82.81
€ 52.78
Hardcover. With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related examples to help readers gain the skills and intuition that are key to successful programming. Num Pages: 416 pages, Illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 242 x 156 x 26. Weight in Grams: 688.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9781118014783
- ISBN
- 9781118014783
Hardback
Condition: New
€ 147.25
€ 147.25
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
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
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
€ 65.21
€ 65.21
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
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
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. 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.07€ 50.91
€ 65.07
€ 50.91
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
€ 66.88
€ 66.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
€ 65.73
€ 65.73
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
€ 247.49
€ 247.49