Mathematical theory of computation
Results 97 - 120 of 190
Mathematical theory of computation
Paperback. Updated and revised, the book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs. Num Pages: 448 pages, Illustrations. BIC Classification: UMJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 172 x 24. Weight in Grams: 736.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 448
- Format
- Paperback
- Publication date
- 1998
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780134843469
- ISBN
- 9780134843469
Paperback
Condition: New
€ 88.12
€ 88.12
Hardback. Computational science is an exciting new field at the intersection of the sciences, computer science, and mathematics because much scientific investigation now involves computing as well as theory and experiment. This book provides students with a versatile and accessible introduction to the subject. Num Pages: 856 pages, 3 halftones. 192 line illus. 82 tables. BIC Classification: PBW; UYA; UYM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 186 x 261 x 55. Weight in Grams: 1896.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Edition
- Second
- Condition
- New
- SKU
- V9780691160719
- ISBN
- 9780691160719
Hardback
Condition: New
€ 118.32€ 94.95
€ 118.32
€ 94.95
Introduction to Concurrency Theory: Transition Systems and CCS (Texts ...
Gorrieri, Roberto, Versari, Cristian
Hardcover. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 334 pages, 63 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 684.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319214900
- ISBN
- 9783319214900
Hardback
Condition: New
€ 67.92
€ 67.92
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319500164
- ISBN
- 9783319500164
Paperback
Condition: New
€ 47.99€ 44.09
€ 47.99
€ 44.09
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 59.64
€ 59.64
Hardcover. The complexity of today's information processing requirements, coupled with the availability of powerful computers, have boosted the interest in the study, design, and analysis of parallel algorithms. Introduction to Parallel Algorithms responds to the need in the field for an easy-to-understand text in this growth area of computer science. Series: Wiley Series on Parallel and Distributed Computing. Num Pages: 384 pages, Illustrations. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 30. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 384
- Condition
- New
- SKU
- V9780471251828
- ISBN
- 9780471251828
Hardback
Condition: New
€ 206.69
€ 206.69
Paperback. This book presents the basic scientific computing methods for the solution of partial differential equations (PDEs) as they occur in engineering problems. Programming codes in Fortran and C are included for each problem. Num Pages: 380 pages, bibliography, index. BIC Classification: PDN; TGB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 172 x 22. Weight in Grams: 678.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 380
- Condition
- New
- SKU
- V9780471972662
- ISBN
- 9780471972662
Paperback
Condition: New
€ 116.90
€ 116.90
Paperback. A clear and self-contained introduction to discrete mathematics for undergraduates and early graduates. Num Pages: 464 pages, black & white illustrations, frontispiece. BIC Classification: PBF; PBV; UYA. Category: (UU) Undergraduate. Dimension: 232 x 158 x 25. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Oxford University Press United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 464
- Condition
- New
- SKU
- V9780198570424
- ISBN
- 9780198570424
Paperback
Condition: New
€ 115.53
€ 115.53
Paperback. Num Pages: 410 pages, black & white illustrations. BIC Classification: TBC; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 152 x 25. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- I.E.E.E.Press United States
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780769501000
- ISBN
- 9780769501000
Paperback
Condition: New
€ 149.99
€ 149.99
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 64 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642283314
- ISBN
- 9783642283314
Paperback
Condition: New
€ 67.73
€ 67.73
Hardcover. Reinforcing concepts with frequent exercises and extended applications, this introduction to the theoretical and computational aspects of linear algebra uses the MATLAB software to master the basic algorithms and to increase the speed and efficiency of computations. Num Pages: 432 pages, Illustrations. BIC Classification: PBF; UYA. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 195 x 24. Weight in Grams: 898.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9780471308973
- ISBN
- 9780471308973
Hardback
Condition: New
€ 313.19
€ 313.19
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 66.61
€ 66.61
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768.
- Publisher
- Cambridge University Press
- Number of pages
- 440
- Format
- Paperback
- Publication date
- 2004
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521543101
- ISBN
- 9780521543101
Paperback
Condition: New
€ 72.68
€ 72.68
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 116.23
€ 116.23
hardcover. This work presents a bold new theory of the cognitive circuitry of the brain, with emphasis on the functioning of human vision. The author has developed a computational theory that provides a unitary explanation for a wide range of visual capabilities and behaviors, most of which have no accepted theoretical explanation. Num Pages: 240 pages, Illustrations. BIC Classification: MJN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 6452 x 4522 x 19. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Stanford University Press United States
- Number of pages
- 240
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780804742771
- ISBN
- 9780804742771
Hardback
Condition: New
€ 76.18
€ 76.18
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9781852339029
- ISBN
- 9781852339029
Hardback
Condition: New
€ 177.46€ 61.91
€ 177.46
€ 61.91
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 65.70
€ 65.70
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Hardback. Num Pages: 82 pages, illustrations (black and white). BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 167 x 15. Weight in Grams: 320.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 82
- Condition
- New
- SKU
- V9781848216860
- ISBN
- 9781848216860
Hardback
Condition: New
€ 178.28
€ 178.28
Paperback. A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics. Num Pages: 408 pages, black & white illustrations, figures. BIC Classification: UG; UYAM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 27. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118712191
- ISBN
- 9781118712191
Paperback
Condition: New
€ 79.68
€ 79.68
Hardback. This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering. Tools for analysis and algorithms are confronted to a large set of relevant examples that show the difficulties and the limitations of the most naive approaches. Num Pages: 472 pages, black & white illustrations. BIC Classification: PBWH; UYAM; UYM. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 29. Weight in Grams: 846.
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781848219885
- ISBN
- 9781848219885
Hardback
Condition: New
€ 177.60
€ 177.60
Hardcover. Enables the readers to design and deploy powerful algorithms (methodologies and implementations) to solve complex optimization problems in a diverse range of industries. Includes numerous real-world examples to demonstrate how metaheuristics are applied Shows how to generate an efficient program from the design using the software framework. Num Pages: 624 pages, Illustrations. BIC Classification: PBU; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 166 x 243 x 319. Weight in Grams: 1102.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 624
- Format
- Hardback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470278581
- ISBN
- 9780470278581
Hardback
Condition: New
€ 161.29
€ 161.29
Paperback. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9783642214776
- ISBN
- 9783642214776
Paperback
Condition: New
€ 65.06€ 24.88
€ 65.06
€ 24.88