.png){kind=logo}
Mathematical theory of computation
Results 141 - 160 of 1825
Mathematical theory of computation
Paperback. Proceedings of the NATO Advanced Research Workshop, Bergen, Norway, June 17-21, 1991 Editor(s): Espelid, Terje O.; Genz, Alan. Series: NATO Science Series C. Num Pages: 367 pages, biography. BIC Classification: PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 367
- Condition
- New
- SKU
- V9789401051699
- ISBN
- 9789401051699
Paperback
Condition: New
€ 68.03
€ 68.03
paperback. Series: Environmental Science and Technology Library. Num Pages: 359 pages, biography. BIC Classification: PNR; RB; RNF; RNP; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 359
- Condition
- New
- SKU
- V9789401041379
- ISBN
- 9789401041379
Paperback
Condition: New
€ 195.04
€ 195.04
Paperback. Proceedings of the NATO Advanced Research Workshop, Centre de Physique, Les Houches, France, 21--25 June 1993 Editor(s): Le Dimet, F. X. Series: NATO Science Series C. Num Pages: 261 pages, biography. BIC Classification: GPFC; RBKC; RNP; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 457.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 261
- Condition
- New
- SKU
- V9789401040198
- ISBN
- 9789401040198
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Proceedings of the ICASE/LaRC/NSF/ARO Workshop, conducted by the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, The National Science Foundation and the Army Research Office, April 22-24, 1998 Editor(s): Salas, Manuel D.; Anderson, W. Kyle. Series: ICASE / LaRC Interdisciplinary Series in Science and Engineering (Closed). Num Pages: 292 pages, biography. BIC Classification: PBWH; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 17. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 292
- Condition
- New
- SKU
- V9789401038072
- ISBN
- 9789401038072
Paperback
Condition: New
€ 128.05
€ 128.05
Paperback. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 352
- Condition
- New
- SKU
- V9789401037525
- ISBN
- 9789401037525
Paperback
Condition: New
€ 161.08
€ 161.08
Paperback. Series: Mathematics and its Applications. Num Pages: 394 pages, biography. BIC Classification: UGD; UMB; UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 22. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 394
- Condition
- New
- SKU
- V9789401037426
- ISBN
- 9789401037426
Paperback
Condition: New
€ 129.17
€ 129.17
Paperback. This book presents intellectual innovative information (I3) technologies based on logical and probabilistic (LP) risk models covering a range of systems and settings. Offers numerous applications demonstrating the effectiveness of risk management technologies. Series: Topics in Safety, Risk, Reliability and Quality. Num Pages: 328 pages, biography. BIC Classification: KJQ; TGPR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 328
- Condition
- New
- SKU
- V9789400798779
- ISBN
- 9789400798779
Paperback
Condition: New
€ 194.46
€ 194.46
Design, Analysis and Test of Logic Circuits Under Uncertainty
Krishnaswamy, Smita; Markov, Igor L.; Hayes, ...
Paperback. Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design and test logic circuits with probabilistic behavior, and provides a multidisciplinary approach to uncertainty. Series: Lecture Notes in Electrical Engineering. Num Pages: 124 pages, 24 black & white tables, biography. BIC Classification: TJFC; UK; UMB; UYAM; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 124
- Condition
- New
- SKU
- V9789400797987
- ISBN
- 9789400797987
Paperback
Condition: New
€ 139.21
€ 139.21
Hardback. Advances in Natural Deduction Editor(s): Pereira, Luiz Carlos Bresser; Haeusler, Edward Hermann; De Paiva, Valeria. Series: Trends in Logic. Num Pages: 295 pages, 24 black & white illustrations, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 22. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 295
- Condition
- New
- SKU
- V9789400775473
- ISBN
- 9789400775473
Hardback
Condition: New
€ 161.81
€ 161.81
hardcover. This book presents intellectual innovative information (I3) technologies based on logical and probabilistic (LP) risk models covering a range of systems and settings. Offers numerous applications demonstrating the effectiveness of risk management technologies. Series: Topics in Safety, Risk, Reliability and Quality. Num Pages: 328 pages, biography. BIC Classification: KJQ; TGPR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 2012th Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9789400742871
- ISBN
- 9789400742871
Hardback
Condition: New
€ 195.44
€ 195.44
Paperback. Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic. Series: Trends in Logic. Num Pages: 523 pages, 8 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 523
- Condition
- New
- SKU
- V9789400734364
- ISBN
- 9789400734364
Paperback
Condition: New
€ 196.52
€ 196.52
Paperback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400734357
- ISBN
- 9789400734357
Paperback
Condition: New
€ 127.76
€ 127.76
hardcover. In recent years fractional calculus has been rediscovered by scientists and engineers and applied in an increasing number of fields. This book gives a practical and multidisciplinary overview of Fractional Calculus as it relates to Signal Processing. Series: Lecture Notes in Electrical Engineering. Num Pages: 168 pages, biography. BIC Classification: PBKB; UGC; UYA; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 420.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789400707467
- ISBN
- 9789400707467
Hardback
Condition: New
€ 127.78
€ 127.78
Hardback. Here are 23 papers from the 2008 IUTAM symposium Rotating Stratified Turbulence and Turbulence in the Atmosphere and Oceans, focusing on the complex nature of fluid flows in Earth's atmosphere and oceans, in other planetary atmospheres and in the Sun's interior. Editor(s): Dritschel, David G. Series: IUTAM Bookseries (Closed). Num Pages: 298 pages, biography. BIC Classification: PHDF; RBKC; RBP; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 16. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 298
- Condition
- New
- SKU
- V9789400703599
- ISBN
- 9789400703599
Hardback
Condition: New
€ 195.79
€ 195.79
Hardback. Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework. Series: Synthese Library. Num Pages: 155 pages, biography. BIC Classification: HPK; HPL; PBT; PDA; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 14. Weight in Grams: 496.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 155
- Condition
- New
- SKU
- V9789400700079
- ISBN
- 9789400700079
Hardback
Condition: New
€ 70.12
€ 70.12
Hardback. Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics. Editor(s): Indrzejczak, Andrzej. Series: Trends in Logic. Num Pages: 506 pages, 20 black & white tables, biography. BIC Classification: HPL; PBC; PBKS; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 506
- Condition
- New
- SKU
- V9789048187843
- ISBN
- 9789048187843
Hardback
Condition: New
€ 302.61
€ 302.61
Paperback. Published in honor of Prof. Daniel J. Rosenkrantz, a distinguished computer science researcher, this volume collects a number of his seminal papers on subjects as varied as algorithm analysis and computational epidemiology, as well as papers by other authors. Editor(s): Ravi, Sekharipuram S.; Shukla, Sandeep Kumar. Num Pages: 516 pages, biography. BIC Classification: UMX; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 516
- Condition
- New
- SKU
- V9789048181834
- ISBN
- 9789048181834
Paperback
Condition: New
€ 129.13
€ 129.13
Paperback. With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics. Num Pages: 254 pages, biography. BIC Classification: TJFC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 254
- Condition
- New
- SKU
- V9789048181650
- ISBN
- 9789048181650
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. To successfully design and fabricate novel nanomaterials and nanosystems, we must necessarily bridge the gap in our understanding of mechanical properties and processes at length scales ranging from 100 nanometers (where atomistic simulations are currently possible) to a micron (where continuum mechanics is experimentally validated). Editor(s): Pyrz, R.; Rauhe, Jens C. Series: IUTAM Bookseries (Closed). Num Pages: 352 pages, biography. BIC Classification: PBWH; PHD; TGMT; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 352
- Condition
- New
- SKU
- V9789048181551
- ISBN
- 9789048181551
Paperback
Condition: New
€ 194.70
€ 194.70
Medial Representations: Mathematics, Algorithms and Applications (Volu...
. Ed(S): Siddiqi, Kaleem; Pizer, Stephen M.
paperback. Offering a consolidated account on medial representations, this book will serve the science and engineering communities using medial models and will provide learning material for students entering this field. Editor(s): Siddiqi, Kaleem; Pizer, Stephen M. Series: Computational Imaging and Vision. Num Pages: 456 pages, biography. BIC Classification: PBKS; PBM; UG; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 643.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer/Sci-Tech/Trade Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 456
- Condition
- New
- SKU
- V9789048179466
- ISBN
- 9789048179466
Paperback
Condition: New
€ 69.10
€ 69.10