Mathematical theory of computation
Results 73 - 96 of 190
Mathematical theory of computation
Paperback. Series: SpringerBriefs in Mathematical Physics. Num Pages: 148 pages, 18 black & white illustrations, 113 colour illustrations, 2 black & white tables, 11 colo. BIC Classification: PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 148
- Condition
- New
- SKU
- V9789812879950
- ISBN
- 9789812879950
Paperback
Condition: New
€ 93.48
€ 93.48
Paperback. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642171635
- ISBN
- 9783642171635
Paperback
Condition: New
€ 68.80
€ 68.80
Hardcover. This adaptation of an earlier work by the authors is a graduate text and professional reference on the fundamentals of graph theory. It covers the theory of graphs, its applications to computer networks and the theory of graph algorithms. Also includes exercises and an updated bibliography. Num Pages: 480 pages, Ill. BIC Classification: PBC; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 168 x 31. Weight in Grams: 824.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9780471513568
- ISBN
- 9780471513568
Hardback
Condition: New
€ 290.60
€ 290.60
Paperback. A complete entry level mathematics book based on the phenomenally successful approach of the bestselling Engineering Mathematics by the same authors. This book is designed to help students embarking on a wide range of higer education courses to improve their mathematics to the required standard. Num Pages: 752 pages, 2 graphs, 56 figures. BIC Classification: KJQ; PB; UYAM. Category: (UA) A / AS level; (UU) Undergraduate. Dimension: 246 x 191 x 41. Weight in Grams: 1456.
- Publisher
- Bloomsbury Publishing PLC
- Number of pages
- 752
- Format
- Paperback
- Publication date
- 2009
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780230579071
- ISBN
- 9780230579071
Paperback
Condition: New
€ 70.98€ 65.05
€ 70.98
€ 65.05
Hardcover. Covering classification and regression, Statistical Learning is the first of its kind to use visualization techniques to identify, test, and analyze classifiers for their most accurate exploration of data. Series: Wiley Series in Computational Statistics. Num Pages: 392 pages, illustrations. BIC Classification: PBT; UYA. Category: (P) Professional & Vocational. Dimension: 164 x 257 x 24. Weight in Grams: 786.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9780470384428
- ISBN
- 9780470384428
Hardback
Condition: New
€ 131.15
€ 131.15
Hardcover. PATTERN CLASSIFICATION a unified view of statistical and neural approaches The product of years of research and practical experience in pattern classification, this book offers a theory-based engineering perspective on neural networks and statistical pattern classification. Num Pages: 392 pages, Illustrations. BIC Classification: PBT; UYAM; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 168 x 27. Weight in Grams: 720.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9780471135340
- ISBN
- 9780471135340
Hardback
Condition: New
€ 212.75
€ 212.75
Paperback. Editor(s): Aoe, Jun-Ichi. Num Pages: 296 pages, Illustrations. BIC Classification: UMN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 288 x 223 x 24. Weight in Grams: 1154.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9780818654626
- ISBN
- 9780818654626
Paperback
Condition: New
€ 102.28
€ 102.28
Hardback. Series: Springer Series in Statistics. Num Pages: 582 pages, 104 black & white illustrations, 53 colour illustrations, 50 black & white tables, biogra. BIC Classification: PBT; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 452 x 378 x 40. Weight in Grams: 1320.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319194240
- ISBN
- 9783319194240
Hardback
Condition: New
€ 130.13€ 124.46
€ 130.13
€ 124.46
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
€ 71.21
€ 71.21
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. This book features the papers that are organized in topical sections on algorithms, environments, languages, models and systems, and applications. Editor(s): Lee, Jimmy. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 836 pages, 170 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1134.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 836
- Condition
- New
- SKU
- V9783642237850
- ISBN
- 9783642237850
Paperback
Condition: New
€ 176.07
€ 176.07
Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation. Editor(s): Idier, Jerome. Series: ISTE. Num Pages: 392 pages, Illustrations. BIC Classification: MMP; PBT; UYAM; UYT. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 158 x 25. Weight in Grams: 704.
- Publication date
- 2008
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 392
- Condition
- New
- SKU
- V9781848210325
- ISBN
- 9781848210325
Paperback
Condition: New
€ 221.07
€ 221.07
Hardcover. This text uses simulation as a computational aid in dealing with and creating models of reality. Its main objective is to incorporate simulation as an integral part of the interaction between data and the models which may have approximately generated them. Series: Wiley Series in Probability and Statistics. Num Pages: 328 pages, Illustrations. BIC Classification: GPFC; PBWH; PBWL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 166 x 26. Weight in Grams: 628.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9780471251842
- ISBN
- 9780471251842
Hardback
Condition: New
€ 199.47
€ 199.47
Paperback. This title develops introductory topics in probability and statistics with particular emphasis on concepts that arise in computer science. It starts with the basic definitions of probability distributions and random variables and elaborates their properties and applications. Num Pages: 760 pages, , black & white illustrations. BIC Classification: PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 40. Weight in Grams: 1117.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 760
- Condition
- New
- SKU
- V9780470383421
- ISBN
- 9780470383421
Paperback
Condition: New
€ 157.36
€ 157.36
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
Hardback. The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems. Series: Numerical Mathematics & Scientific Computation. Num Pages: 464 pages. BIC Classification: PBKF; PBKJ; PBWH; UYAM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 161 x 28. Weight in Grams: 884.
- Publisher
- Oxford University Press
- Format
- Hardback
- Publication date
- 2017
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780198508380
- ISBN
- 9780198508380
Hardback
Condition: New
€ 148.20
€ 148.20
Hardback. Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method. Num Pages: 682 pages, illustrations. BIC Classification: PBW; TG; UYA. Category: (P) Professional & Vocational. Dimension: 251 x 171 x 36. Weight in Grams: 1188.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 682
- Format
- Hardback
- Publication date
- 2013
- Edition
- 5th Edition
- Condition
- New
- SKU
- V9781119973348
- ISBN
- 9781119973348
Hardback
Condition: New
€ 112.33
€ 112.33
Paperback. Num Pages: 230 pages, 173 figures. BIC Classification: URY; UYAM. Category: (G) General (US: Trade). Dimension: 208 x 142 x 14. Weight in Grams: 272.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 230
- Format
- Paperback
- Publication date
- 1989
- Condition
- New
- SKU
- V9780486200972
- ISBN
- 9780486200972
Paperback
Condition: New
€ 17.99€ 13.61
€ 17.99
€ 13.61
Paperback. Constitutes the proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008. This title includes the papers that address various subjects in algorithmics reaching from design and analysis issues of algorithms. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 861 pages, biography. BIC Classification: UG; UKN; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 861
- Condition
- New
- SKU
- V9783540877431
- ISBN
- 9783540877431
Paperback
Condition: New
€ 220.79
€ 220.79
Hardback. An introduction to simple type theory, containing 200 exercises with complete solutions. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, 23 tables 193 exercises. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 161 x 236 x 25. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 410
- Condition
- New
- SKU
- V9780521771733
- ISBN
- 9780521771733
Hardback
Condition: New
€ 165.74
€ 165.74
Paperback. Constitutes the proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. This title includes the papers that cover various aspects of artificial intelligence in computer-game playing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 287 pages, biography. BIC Classification: UGG; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540876076
- ISBN
- 9783540876076
Paperback
Condition: New
€ 115.93
€ 115.93
paperback. This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell. Num Pages: 318 pages, 1 b/w illus. 120 exercises. BIC Classification: PBKS; UMX; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 177 x 298 x 18. Weight in Grams: 538.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781316626221
- ISBN
- 9781316626221
Paperback
Condition: New
€ 47.52
€ 47.52
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. Providing an easy introduction to the boundary element method, this book is ideal for any reader wishing to work in this field or use this method for the solution of engineering problems. From the beginning, the emphasis is on the implementation of the method into computer programs which can be used to solve real problems. Num Pages: 472 pages, Illustrations. BIC Classification: UMX; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 170 x 27. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 472
- Condition
- New
- SKU
- V9780471863335
- ISBN
- 9780471863335
Paperback
Condition: New
€ 82.19
€ 82.19
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