Mathematical theory of computation
Results 81 - 100 of 192
Mathematical theory of computation
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
€ 112.88
€ 112.88
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
€ 71.81
€ 71.81
Paperback. Series: Dover Books on Computer Science. Num Pages: 544 pages. BIC Classification: PBCD; UYAM. Category: (G) General (US: Trade). Dimension: 237 x 158 x 35. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Dover Publications Inc.
- Edition
- First Edition, First
- Condition
- New
- SKU
- V9780486780825
- ISBN
- 9780486780825
Paperback
Condition: New
€ 36.99€ 31.03
€ 36.99
€ 31.03
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
€ 64.58
€ 64.58
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
€ 64.73
€ 64.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
€ 309.96
€ 309.96
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
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
€ 147.93
€ 147.93
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
€ 113.94
€ 113.94
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
€ 114.36
€ 114.36
Hardback. Num Pages: 385 pages, 49 black & white illustrations, biography. BIC Classification: PBKL; PBT; PBW; UYAM. Category: (G) General (US: Trade). Dimension: 167 x 249 x 23. Weight in Grams: 804.
- Publisher
- Birkhauser Verlag AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 2nd ed. 2016
- Condition
- New
- SKU
- V9783319306186
- ISBN
- 9783319306186
Hardback
Condition: New
€ 101.08
€ 101.08
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
€ 202.14
€ 202.14
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.05
€ 59.05
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€ 43.59
€ 47.99
€ 43.59
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.01
€ 67.01
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
€ 117.26€ 92.96
€ 117.26
€ 92.96
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
€ 87.65
€ 87.65
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 65.01
€ 65.01
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Presents a mathematically rigorous, philosophically sound foundation for a science of information. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 292 pages, black & white illustrations. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 230 x 152 x 23. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 292
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780521070997
- ISBN
- 9780521070997
Paperback
Condition: New
€ 70.69
€ 70.69