.png){kind=logo}
Mathematical theory of computation
Results 217 - 240 of 1825
Mathematical theory of computation
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 101 pages, 31 black & white illustrations, 2 black & white tables, biography. BIC Classification: UMZ; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 174.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 101
- Condition
- New
- SKU
- V9783662434284
- ISBN
- 9783662434284
Paperback
Condition: New
€ 75.25
€ 75.25
Paperback. This volume contains the proceedings of a workshop held in Grenoble in June 1989. The workshop was devoted to the verification of finite state systems. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. Editor(s): Sifakis, Joseph. Series: Lecture Notes in Computer Science. Num Pages: 395 pages, biography. BIC Classification: UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540521488
- ISBN
- 9783540521488
Paperback
Condition: New
€ 72.08
€ 72.08
Paperback. Editor(s): Siekmann, Jorg; Wrightson, Graham. Series: Symbolic computation. Num Pages: 528 pages, biography. BIC Classification: PBC; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 28. Weight in Grams: 925.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642819544
- ISBN
- 9783642819544
Paperback
Condition: New
€ 130.86
€ 130.86
paperback. Editor(s): Siekmann, Jorg; Wrightson, Graham. Series: Symbolic computation. Num Pages: 637 pages, biography. BIC Classification: PBC; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 33. Weight in Grams: 1112.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642819575
- ISBN
- 9783642819575
Paperback
Condition: New
€ 132.11
€ 132.11
Hardcover. Autonomous combinatorial search (AS) represents a new field in combinatorial problem solving. Its major standpoint and originality is that it considers that problem solvers must be capable of self-improvement operations. This is the first book dedicated to AS. Editor(s): Hamadi, Youssef; Monfroy, Eric; Saubion, Frederic. Num Pages: 308 pages, biography. BIC Classification: TJFM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 24. Weight in Grams: 626.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642214332
- ISBN
- 9783642214332
Hardback
Condition: New
€ 129.05
€ 129.05
paperback. Autonomous combinatorial search (AS) represents a new field in combinatorial problem solving. Its major standpoint and originality is that it considers that problem solvers must be capable of self-improvement operations. This is the first book dedicated to AS. Editor(s): Hamadi, Youssef; Monfroy, Eric; Saubion, Frederic. Num Pages: 308 pages, biography. BIC Classification: TJFM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 308
- Condition
- New
- SKU
- V9783642443343
- ISBN
- 9783642443343
Paperback
Condition: New
€ 128.03
€ 128.03
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
€ 237.55
€ 237.55
Paperback. Series: Undergraduate Topics in Computer Science. Num Pages: 159 pages, 147 black & white illustrations, 3 colour tables, biography. BIC Classification: PBD; PBV; TBJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 159
- Condition
- New
- SKU
- V9783319494746
- ISBN
- 9783319494746
Paperback
Condition: New
€ 60.12
€ 60.12
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
€ 133.32
€ 133.32
Paperback. Series: Springer Texts in Statistics. Num Pages: 314 pages, 1 black & white illustrations, biography. BIC Classification: PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 314
- Condition
- New
- SKU
- V9783662513484
- ISBN
- 9783662513484
Paperback
Condition: New
€ 105.57
€ 105.57
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
€ 232.44
€ 232.44
Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 114 pages, 49 black & white illustrations, 2 colour illustrations, 35 colour tables, biography. BIC Classification: PBTB; TTBM; UYAM. Category: (G) General (US: Trade). Dimension: 158 x 233 x 11. Weight in Grams: 220.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 114
- Condition
- New
- SKU
- V9789811003783
- ISBN
- 9789811003783
Paperback
Condition: New
€ 44.79
€ 44.79
Bayesian Networks and Influence Diagrams: A Guide to Construction and ...
Kjaerulff, Uffe B.; Madsen, Anders L.
Paperback. In a Second Edition offering six new sections, new examples, tables, figures and more, this book shows how to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. Includes more than 140 examples. Series: Information Science and Statistics. Num Pages: 400 pages, 30 black & white tables, biography. BIC Classification: KJT; PBT; UFM; UNF; UYAM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 400
- Condition
- New
- SKU
- V9781493900299
- ISBN
- 9781493900299
Paperback
Condition: New
€ 117.44
€ 117.44
Bayesian Networks and Influence Diagrams: A Guide to Construction and ...
Kjaerulff, Uffe B.; Madsen, Anders L.
paperback. This book provides a comprehensive guide for practitioners who wish to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. The theory and methods presented are illustrated through more than 140 examples. Series: Information Science and Statistics. Num Pages: 336 pages, biography. BIC Classification: GPF; PBT; PBUH; UFM; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 336
- Condition
- New
- SKU
- V9781441925466
- ISBN
- 9781441925466
Paperback
Condition: New
€ 127.09
€ 127.09
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
€ 68.32
€ 68.32
Paperback. Editor(s): Feijen, W.H.J. (Eindhoven University of Technology, Eindhoven, The Netherlands); Gasteren, A.J.M. van (Eindhoven University of Technology, Eindhoven, The Netherlands); Gries, David; Misra, Jayadev. Series: Monographs in Computer Science. Num Pages: 475 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 475
- Condition
- New
- SKU
- V9781461287926
- ISBN
- 9781461287926
Paperback
Condition: New
€ 251.08
€ 251.08
Hardback. Num Pages: 570 pages, 5 black & white illustrations, 6 colour illustrations, biography. BIC Classification: PBKJ; PBV; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 32. Weight in Grams: 1015.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 570
- Condition
- New
- SKU
- V9783319325934
- ISBN
- 9783319325934
Hardback
Condition: New
€ 285.90
€ 285.90
Paperback. Series: Springer-Lehrbuch. Num Pages: 489 pages, black & white illustrations, bibliography. BIC Classification: PBC; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540563549
- ISBN
- 9783540563549
Paperback
Condition: New
€ 85.57
€ 85.57
Beyond Two: Theory and Applications of Multiple-valued Logic
. Ed(S): Fitting, Melvin; Orlowska, Ewa S.
Paperback. Editor(s): Fitting, Melvin; Orlowska, Ewa S. Series: Studies in Fuzziness and Soft Computing. Num Pages: 374 pages, 19 black & white tables, biography. BIC Classification: PBF; UMB; UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 374
- Condition
- New
- SKU
- V9783790825220
- ISBN
- 9783790825220
Paperback
Condition: New
€ 194.97
€ 194.97
Hardback. Editor(s): Trovati, Marcello; Hill, Richard; Anjum, Ashiq; Zhu, Shao Ying; Liu, Lu. Num Pages: 172 pages, 67 black & white illustrations, 29 black & white tables, biography. BIC Classification: UN; UTC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 172
- Condition
- New
- SKU
- V9783319253114
- ISBN
- 9783319253114
Hardback
Condition: New
€ 149.75
€ 149.75
Paperback. Series: Energy Systems. Num Pages: 337 pages, 30 black & white illustrations, biography. BIC Classification: KJT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 337
- Condition
- New
- SKU
- V9783662516256
- ISBN
- 9783662516256
Paperback
Condition: New
€ 194.20
€ 194.20
Paperback. Editor(s): Gong, Maoguo; Pan, Linqiang; Song, Tao; Zhang, Gexiang. Series: Communications in Computer and Information Science. Num Pages: 528 pages, 189 black & white illustrations, biography. BIC Classification: UYA; UYM; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2016
- Number of pages
- 528
- Condition
- New
- SKU
- V9789811036101
- ISBN
- 9789811036101
Paperback
Condition: New
€ 68.98
€ 68.98
paperback. Editor(s): Gong, Maoguo; Pan, Linqiang; Song, Tao; Zhang, Gexiang. Series: Communications in Computer and Information Science. Num Pages: 540 pages, 152 black & white illustrations, biography. BIC Classification: UYA; UYM; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2016
- Number of pages
- 540
- Condition
- New
- SKU
- V9789811036132
- ISBN
- 9789811036132
Paperback
Condition: New
€ 69.08
€ 69.08
Paperback. Constitutes the refereed proceedings of the First International on Bioinformatics and Computational Biology, BICoB 2007, held in New Orleans, LA, USA, in April 2007. This work addresses research in the area of bioinformatics and computational biology fostering the advancement of computing techniques and their application to life sciences. Editor(s): Rajasekaran, Sanguthevar. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 464 pages, biography. BIC Classification: PSA; UND; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642007262
- ISBN
- 9783642007262
Paperback
Condition: New
€ 68.68
€ 68.68