×


 x 

Shopping cart

Mathematical theory of computation

Results 41 - 60 of 366

Mathematical theory of computation

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.71
€ 124.46

Hardcover. This book shows how simulation can facilitate improvements on the job and in communities. The reader will learn to plan a project and communicate using a charter, how to establish simultaneous intervals on key responses and apply selection and ranking, and more. Num Pages: 227 pages, 33 black & white tables, biography. BIC Classification: KJMV5; KJT; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 20. Weight in Grams: 470.
Publisher
Springer London Ltd United Kingdom
Number of pages
228
Format
Hardback
Publication date
2011
Edition
2011th Edition
Condition
New
SKU
V9780857291387
ISBN
9780857291387
Hardback
Condition: New

€ 117.66

Paperback. .
Publisher
Springer London Ltd United Kingdom
Number of pages
518
Format
Paperback
Publication date
2013
Edition
2013th Edition
Condition
New
SKU
V9781848003217
ISBN
9781848003217
Paperback
Condition: New

€ 83.02

Hardcover. .
Publisher
Springer
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783642319327
ISBN
9783642319327
Hardback
Condition: New

€ 102.82

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

Hardcover. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs. Num Pages: 433 pages, biography. BIC Classification: UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 30. Weight in Grams: 790. 436 pages, black & white illustrations. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the EtnaNova system, a program built to verify the correctness of mathematical proofs. Cateogry: (P) Professional & Vocational. BIC Classification: UYA; UYF; UYZG. Dimension: 243 x 166 x 30. Weight: 790.
Publisher
Springer
Number of pages
436
Format
Hardback
Publication date
2011
Edition
2011th Edition
Condition
New
SKU
V9780857298072
ISBN
9780857298072
Hardback
Condition: New

€ 66.95

Hardback. Num Pages: 241 pages, 32 black & white illustrations, 5 colour tables, biography. BIC Classification: PBG; PHQ; TNKS; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 532.
Publisher
Springer International Publishing AG Switzerland
Number of pages
241
Format
Hardback
Publication date
2016
Edition
1st ed. 2017
Condition
New
SKU
V9783319452395
ISBN
9783319452395
Hardback
Condition: New

€ 90.86

Hardcover. As more and more of us use automated music recommendation, this book describes how these systems work, explores some of their limitations, offers techniques for evaluating their effectiveness, and uses real-life examples to show how to build them effectively. Num Pages: 194 pages, biography. BIC Classification: AV; UND; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 18. Weight in Grams: 452.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
208
Format
Hardback
Publication date
2010
Edition
2010th Edition
Condition
New
SKU
V9783642132865
ISBN
9783642132865
Hardback
Condition: New

€ 65.38

Hardback. Series: Texts in Computational Science and Engineering. Num Pages: 497 pages, 39 black & white illustrations, 138 colour illustrations, 136 colour tables, biography. BIC Classification: PBKS; PBU; UNC; UYA. Category: (G) General (US: Trade). Dimension: 248 x 166 x 30. Weight in Grams: 986.
Publisher
Springer International Publishing AG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319302546
ISBN
9783319302546
Hardback
Condition: New

€ 170.52

Hardback. Series: SpringerBriefs in Applied Sciences and Technology. Num Pages: 167 pages, 1 black & white illustrations, biography. BIC Classification: GPFC; PBPD; PBWH; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 165 x 246 x 17. Weight in Grams: 426.
Publisher
Springer International Publishing AG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319153971
ISBN
9783319153971
Hardback
Condition: New

€ 123.08

Hardcover. Linking the differing techniques deployed in describing space-filling curves to their corresponding algorithms, this book introduces SFCs as tools in scientific computing, focusing in particular on the representation of SFCs and on the resulting algorithms. Series: Texts in Computational Science and Engineering. Num Pages: 298 pages, biography. BIC Classification: PBKS; PDE; UYAM. Category: (P) Professional & Vocational. Dimension: 161 x 243 x 21. Weight in Grams: 592.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
300
Format
Hardback
Publication date
2012
Edition
2013th Edition
Condition
New
SKU
V9783642310454
ISBN
9783642310454
Hardback
Condition: New

€ 114.68

Hardback. Lavishly illustrated with both detailed line drawings and clinical photos, this book offers comprehensive coverage of every aspect of the management of intestinal stomas. Series: Statistics and Computing. Num Pages: 714 pages, 86 black & white illustrations, 32 colour illustrations, 16 black & white tables, biograp. BIC Classification: JHBC; JMB; UFM; UML; UNF; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1232.
Publisher
Springer-Verlag New York Inc.
Format
Hardback
Publication date
2011
Edition
2nd ed. 2011
Condition
New
SKU
V9781461406846
ISBN
9781461406846
Hardback
Condition: New

€ 178.24
€ 62.23

Hardcover. This book reviews the basics of rule learning as applied to classical machine learning and modern data mining. It connects attribute-value learning with inductive logic programming, and offers complete coverage of most important elements of rule learning. Series: Cognitive Technologies. Num Pages: 334 pages, biography. BIC Classification: UMB; UNF; UYAM; UYQM; UYQP. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 24. Weight in Grams: 666.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
345
Format
Hardback
Publication date
2012
Edition
2012th Edition
Condition
New
SKU
V9783540751960
ISBN
9783540751960
Hardback
Condition: New

€ 98.13

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

€ 71.29
€ 65.05

Paperback. .
Publisher
Addison-Wesley Professional
Format
Paperback
Publication date
2015
Edition
1st Edition
Condition
New
SKU
V9780133902839
ISBN
9780133902839
Paperback
Condition: New

€ 40.99
€ 38.07

Hardcover. .
Publisher
Springer
Format
Hardback
Publication date
2005
Edition
2006th Edition
Condition
New
SKU
V9781852339029
ISBN
9781852339029
Hardback
Condition: New

€ 178.24
€ 62.22

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

Hardback. Series: Texts in Computational Science and Engineering. Num Pages: 216 pages, 43 black & white illustrations, biography. BIC Classification: UFM; UMX; UYA. Category: (G) General (US: Trade). Dimension: 266 x 257 x 20. Weight in Grams: 632.
Publisher
Springer International Publishing AG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319324517
ISBN
9783319324517
Hardback
Condition: New

€ 71.63

Hardback. Num Pages: 141 pages, 23 black & white illustrations, 1 colour illustrations, 46 black & white tables, 13 colou. BIC Classification: PBUH; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Publisher
Springer International Publishing AG
Format
Hardback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319239996
ISBN
9783319239996
Hardback
Condition: New

€ 75.55

Hardcover. Giving a unified view of quantum information theory, the second edition explains the mathematical basis, merges topics from information-theoretic and quantum-mechanical viewpoints and explains the basic results, aiming to clarify, for example, quantum teleportation, superdense coding, quantum state transmission and quantum encryption. Series: Graduate Texts in Physics. Num Pages: 636 pages, 23 black & white illustrations, 1 colour illustrations, 20 colour tables, biography. BIC Classification: PBW; PHQ; PHU; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 37. Weight in Grams: 1184.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format
Hardback
Publication date
2016
Edition
2nd ed. 2017
Condition
New
SKU
V9783662497234
ISBN
9783662497234
Hardback
Condition: New

€ 150.04

Subscribe to our newsletter

News on special offers, signed editions & more!