Mathematical theory of computation
Results 201 - 220 of 366
Mathematical theory of computation
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
€ 155.53
€ 155.53
Hardback. Introduces techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. This work contains a number of open problems and proposals for further research. Series: Progress in Computer Science and Applied Logic. Num Pages: 182 pages, biography. BIC Classification: GPJ; PBH; URY; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 182
- Condition
- New
- SKU
- V9783764358884
- ISBN
- 9783764358884
Hardback
Condition: New
€ 68.66
€ 68.66
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 book details the theory, algorithms, and applications of structured low-rank approximation, and presents efficient local optimization methods and effective suboptimal convex relaxations for Toeplitz, Hankel and Sylvester structured problems and more. Series: Communications and Control Engineering. Num Pages: 268 pages, 24 colour tables, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 268
- Condition
- New
- SKU
- V9781447158363
- ISBN
- 9781447158363
Paperback
Condition: New
€ 142.97
€ 142.97
Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 358
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521898850
- ISBN
- 9780521898850
Hardback
Condition: New
€ 85.03
€ 85.03
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
€ 66.95
Hardcover. Constraints Meet Concurrency Series: Atlantis Studies in Computing. Num Pages: 163 pages, 13 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 14. Weight in Grams: 396.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390669
- ISBN
- 9789462390669
Hardback
Condition: New
€ 64.89
€ 64.89
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
Paperback. Series: Grundlehren Text Editions. Num Pages: 269 pages, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 236 x 156 x 22. Weight in Grams: 424.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2004
- Edition
- 1st
- Condition
- New
- SKU
- V9783540422051
- ISBN
- 9783540422051
Paperback
Condition: New
€ 86.14
€ 86.14
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
Paperback. Editor(s): Davis, Jesse; Ramon, Jan. Series: Lecture Notes in Computer Science. Num Pages: 205 pages, 62 black & white illustrations, biography. BIC Classification: UMA; UMR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 205
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319237077
- ISBN
- 9783319237077
Paperback
Condition: New
€ 64.63
€ 64.63
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
Hardback. Editor(s): Garcke, Jochen; Pfluger, Dirk. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 344 pages, 61 black & white illustrations, 24 colour illustrations, biography. BIC Classification: PBKS; UMB; UTR; UYA. Category: (P) Professional & Vocational. Dimension: 166 x 244 x 27. Weight in Grams: 676.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319282602
- ISBN
- 9783319282602
Hardback
Condition: New
€ 125.63
€ 125.63
Hardcover. Series: Mathematics Textbooks for Science and Engineering. Num Pages: 406 pages, 20 black & white tables, biography. BIC Classification: PBF; PBKJ; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 777.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Atlantis Press
- Edition
- 1st
- Condition
- New
- SKU
- V9789491216497
- ISBN
- 9789491216497
Hardback
Condition: New
€ 113.74
€ 113.74
Paperback. Series: Mathematics Textbooks for Science and Engineering. Num Pages: 427 pages, 20 black & white tables, biography. BIC Classification: PBKJ; PBKS; TBJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 427
- Condition
- New
- SKU
- V9789462390461
- ISBN
- 9789462390461
Paperback
Condition: New
€ 112.93
€ 112.93
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
€ 98.13
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.71€ 124.46
€ 130.71
€ 124.46