.png){kind=logo}
Mathematical theory of computation
Results 1641 - 1660 of 1825
Mathematical theory of computation
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
Paperback. With elegantly defined examples and rigorously explained theorem proofs, this book presents concepts in the theory of graphs and algorithms, and their applications. It describes many key algorithms and uses simple, clear, and logical mathematical language. Num Pages: 232 pages. BIC Classification: GPFC; PBV; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 232
- Condition
- New
- SKU
- V9788132217442
- ISBN
- 9788132217442
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Editor(s): Escobar, Santiago. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 307 pages, 49 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 307
- Condition
- New
- SKU
- V9783319129037
- ISBN
- 9783319129037
Paperback
Condition: New
€ 66.82
€ 66.82
Hardback. Offers a comprehensive introduction to discrete geometry. This book covers traditional topics such as convex hulls, triangulations, and Voronoi diagrams, as well as subjects like pseudotriangulations, curve reconstruction, and locked chains. It is suitable for sophomores in mathematics, computer science, engineering, or physics. Num Pages: 280 pages, 182 color illus. 4 line illus. 7 tables. BIC Classification: PBM; PBW; UYAM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 257 x 184 x 22. Weight in Grams: 996.
- Publisher
- Princeton University Press United States
- Number of pages
- 272
- Format
- Hardback
- Publication date
- 2011
- Condition
- New
- SKU
- V9780691145532
- ISBN
- 9780691145532
Hardback
Condition: New
€ 83.08€ 64.47
€ 83.08
€ 64.47
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. 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; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 659.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 433
- Condition
- New
- SKU
- V9781447160182
- ISBN
- 9781447160182
Paperback
Condition: New
€ 68.32
€ 68.32
Hardback. Gathers concepts of information across diverse fields - physics, electrical engineering and computational science - surveying various theories, discussing underlying notions of symmetry, and showing how the capacity of a system to distinguish itself relates to information. This book develops a formal methodology using group theory. Series: The Frontiers Collection. Num Pages: 173 pages, 2 black & white tables, biography. BIC Classification: PBG; PBKS; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783540698838
- ISBN
- 9783540698838
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: The Frontiers Collection. Num Pages: 173 pages, 2 black & white tables, biography. BIC Classification: PBG; PBKS; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642089329
- ISBN
- 9783642089329
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Ourselin, Sebastien. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 254 pages, 96 black & white illustrations, biography. BIC Classification: MBGR; MMPH; UYA; UYAM; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 254
- Condition
- New
- SKU
- V9783319085531
- ISBN
- 9783319085531
Paperback
Condition: New
€ 66.34
€ 66.34
Hardcover. Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics are the key topics of this book. The short Python code examples powered by the Java platform can be transformed to other programming languages, such as Java, Groovy, Ruby and BeanShell. Series: Advanced Information and Knowledge Processing. Num Pages: 646 pages, 92 black & white illustrations, 36 black & white tables, biography. BIC Classification: PBKS; UFM; UMX; UYA. Category: (G) General (US: Trade). Dimension: 169 x 245 x 41. Weight in Grams: 1114.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319285290
- ISBN
- 9783319285290
Hardback
Condition: New
€ 131.85
€ 131.85
Hardback. There has been much interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in the works of Rotem, Rogers and Knuth. This comprehensive reference volume collects the main results in the field. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 516 pages, biography. BIC Classification: PBF; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 165 x 34. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 516
- Condition
- New
- SKU
- V9783642173325
- ISBN
- 9783642173325
Hardback
Condition: New
€ 197.32
€ 197.32
Paperback. This monograph presents an introduction to the Ito calculus techniques used to handle stochastic differential equations. It covers a broad spectrum of techniques which are useful for working with stochastic equations. Series: Mathematical Engineering. Num Pages: 348 pages, biography. BIC Classification: JHBC; PBT; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 348
- Condition
- New
- SKU
- V9783319033617
- ISBN
- 9783319033617
Paperback
Condition: New
€ 128.00
€ 128.00
Hardcover. This monograph presents an introduction to the Ito calculus techniques used to handle stochastic differential equations. It covers a broad spectrum of techniques which are useful for working with stochastic equations. Series: Mathematical Engineering. Num Pages: 339 pages, biography. BIC Classification: JHBC; PBT; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 157 x 29. Weight in Grams: 674.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2013th Edition
- Number of pages
- 370
- Condition
- New
- SKU
- V9783319000701
- ISBN
- 9783319000701
Hardback
Condition: New
€ 128.93
€ 128.93
Paperback. This text focuses on the development of adequate spatial representations for robot motion planning. The authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: PBM; PBP; TJFM1; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540606208
- ISBN
- 9783540606208
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 277 pages, biography. BIC Classification: UMB; URY; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642032974
- ISBN
- 9783642032974
Paperback
Condition: New
€ 66.97
€ 66.97
paperback. This book provides the mathematics underlying geospatial abduction and the algorithms to solve them in practice. It includes real-world applications to military problems and offers examples drawn from such domains as criminology, epidemiology and archaeology. Num Pages: 184 pages, biography. BIC Classification: RGW; UNF; UYAM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2011th Edition
- Number of pages
- 184
- Condition
- New
- SKU
- V9781489997852
- ISBN
- 9781489997852
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations. Series: Universitext. Num Pages: 198 pages, biography. BIC Classification: PBC; PBF; UYA. Category: (P) Professional & Vocational. Dimension: 154 x 236 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2nd ed. 2013
- Condition
- New
- SKU
- V9781461457459
- ISBN
- 9781461457459
Paperback
Condition: New
€ 82.52
€ 82.52
Paperback. Series: Springer Series in Computational Mathematics. Num Pages: 488 pages, biography. BIC Classification: PBKJ; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 158 x 266 x 2. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 488
- Condition
- New
- SKU
- V9783642270970
- ISBN
- 9783642270970
Paperback
Condition: New
€ 162.85
€ 162.85
Paperback. This reference consists of core material for incorporating Maple and Mathematica as a working tool into different undergraduate mathematical courses, including algebra, geometry, calculus, complex functions, special functions and mathematical equations. Num Pages: 484 pages, biography. BIC Classification: PBKS; PDE; UFM; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 2nd ed. 2009
- Number of pages
- 484
- Condition
- New
- SKU
- V9783211994313
- ISBN
- 9783211994313
Paperback
Condition: New
€ 102.17
€ 102.17
paperback. Monte Carlo methods are among the most used and useful computational tools available, providing efficient and practical algorithms to solve a wide range of scientific and engineering problems. This book provides a hands-on approach to learning this subject. Series: Undergraduate Texts in Mathematics. Num Pages: 255 pages, 10 black & white tables, biography. BIC Classification: PBKS; PBT; PBU; PBUD; UGK; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2009th Edition
- Number of pages
- 255
- Condition
- New
- SKU
- V9781489983794
- ISBN
- 9781489983794
Paperback
Condition: New
€ 72.46
€ 72.46