Mathematical theory of computation
Results 97 - 120 of 190
Mathematical theory of computation
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. 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
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
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 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
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
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
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
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. 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
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
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
Hardback
Condition: New
€ 221.07
€ 221.07
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
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
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. 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
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
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
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. 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. 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
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. This book examines the solution of some of the most common problems of numerical computation. By concentrating on one effective algorithm for each basic task, it develops the fundamental theory in a brief, elementary way. There are ample exercises, and codes are provided to reduce the time otherwise required for programming and debugging. Num Pages: 288 pages, bibliography, charts, graphs. BIC Classification: PBT; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 191 x 15. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780471163633
- ISBN
- 9780471163633
Paperback
Condition: New
€ 300.64
€ 300.64
Paperback. The aim of this work is to give breadth and depth to the C++ programmer's existing experience of the language. It presents a large number of algorithms, each of them implemented as ready-to-run (and standalone) programs. Num Pages: 368 pages, Ill. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 192 x 236 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9780471963554
- ISBN
- 9780471963554
Paperback
Condition: New
€ 77.17
€ 77.17