Mathematical theory of computation
Results 321 - 340 of 366
Mathematical theory of computation
Hardback. Belief-based Stability in Coalition Formation with Uncertainty Num Pages: 183 pages, 27 black & white illustrations, biography. BIC Classification: PBUD; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642382147
- ISBN
- 9783642382147
Hardback
Condition: New
€ 126.53
€ 126.53
Paperback. .
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 125
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781447141853
- ISBN
- 9781447141853
Paperback
Condition: New
€ 59.41€ 22.84
€ 59.41
€ 22.84
Bayesian Theory and Methods with Applications (Atlantis Studies in Pro...
Savchuk, Vladimir, Tsokos, Chris P.
Hardcover. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Series: Atlantis Studies in Probability and Statistics. Num Pages: 318 pages, 60 black & white tables, biography. BIC Classification: PBT; PBWH; PSA; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 23. Weight in Grams: 632. Series: Atlantis Studies in Probability and Statistics. 332 pages, 1, black & white illustrations. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Cateogry: (P) Professional & Vocational. BIC Classification: PBT; PBWH; PSA; UYAM. Dimension: 243 x 162 x 23. Weight: 632.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Atlantis Press
- Edition
- 1st Edition.
- Number of pages
- 332
- Condition
- New
- SKU
- V9789491216138
- ISBN
- 9789491216138
Hardback
Condition: New
€ 66.49
€ 66.49
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
€ 40.99
€ 38.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
Hardback. This text is designed to teach the essential programming skills and statistical data processing techniques for those in the physical and life science fields. Num Pages: 276 pages, biography. BIC Classification: PDE; PS; UYAM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 1983
- Publisher
- Humana Press Inc. United States
- Number of pages
- 276
- Condition
- New
- SKU
- V9780896030152
- ISBN
- 9780896030152
Hardback
Condition: New
€ 128.69
€ 128.69
Hardcover. A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology. It describes methods employed in average case analysis of algorithms, combining both analytical and probabilistic tools in a single volume. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 576 pages, illustrations. BIC Classification: PBK; PBT; PBV; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 166 x 35. Weight in Grams: 968.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9780471240631
- ISBN
- 9780471240631
Hardback
Condition: New
€ 234.10
€ 234.10
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 124.30
€ 124.30
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 232.48
€ 232.48
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 100.21
€ 100.21
Hardcover. The book describes the fundamental principles of computer arithmetic. Algorithms for performing operations like addition, subtraction, multiplication and division in digit computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Series: Wiley Series in Microwave and Optical Engineering. Num Pages: 246 pages, Illustrations. BIC Classification: PB; UYA. Category: (P) Professional & Vocational. Dimension: 239 x 164 x 21. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 246
- Condition
- New
- SKU
- V9780471469452
- ISBN
- 9780471469452
Hardback
Condition: New
€ 129.90
€ 129.90
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 67.29
€ 67.29
hardcover. Series: Princeton Legacy Library. Num Pages: 212 pages, black & white illustrations. BIC Classification: PBB; PBX; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 13. Weight in Grams: 457.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Princeton University Press United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780691653105
- ISBN
- 9780691653105
Hardback
Condition: New
€ 132.83
€ 132.83
Hardcover. Covers theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. This book contains useful algorithms and results about the intrinsic complexity of combinatorial problems. It is of interest to theoretical computer scientists, operations researchers, and discrete mathematicians. Num Pages: 380 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 29. Weight in Grams: 740.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Format
- Hardback
- Publication date
- 2004
- Edition
- 1st ed. 2001. Corr. 2nd printing 2002
- Condition
- New
- SKU
- V9783540653677
- ISBN
- 9783540653677
Hardback
Condition: New
€ 121.13
€ 121.13
Paperback. "Learn to use set theory and logic to design databases and their business rules effectively, and to communicate precisely about those designs with other stakeholders."--Cover. Num Pages: 432 pages, biography. BIC Classification: UND; UYA. Category: (G) General (US: Trade). Dimension: 235 x 191 x 21. Weight in Grams: 730.
- Publisher
- APress United States
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781430242840
- ISBN
- 9781430242840
Paperback
Condition: New
€ 83.28
€ 83.28
Hardback. Intended to be used as a textbook for a special topic course in computer science. This title addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. It focuses on the role of continuous mathematics. Series: Theory and Decision Library B. Num Pages: 431 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1730.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 431
- Condition
- New
- SKU
- V9780792347224
- ISBN
- 9780792347224
Hardback
Condition: New
€ 248.84
€ 248.84
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642218330
- ISBN
- 9783642218330
Paperback
Condition: New
€ 67.44
€ 67.44