.png){kind=logo}
Mathematical theory of computation
Results 145 - 168 of 1825
Mathematical theory of computation
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
Paperback. A Geometry of Approximation addresses Rough Set Theory. It focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective and this is the first book to place Rough Set Theory in a broad historical and applied setting. Series: Trends in Logic. Num Pages: 704 pages, 39 black & white tables, biography. BIC Classification: HPK; HPL; PBC; PBF; UNF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1187.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 704
- Condition
- New
- SKU
- V9789048179350
- ISBN
- 9789048179350
Paperback
Condition: New
€ 375.93
€ 375.93
Paperback. Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 318 pages, 20 black & white tables, biography. BIC Classification: HPC; HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 318
- Condition
- New
- SKU
- V9789048179244
- ISBN
- 9789048179244
Paperback
Condition: New
€ 194.38
€ 194.38
IUTAM Symposium on Discretization Methods for Evolving Discontinuities
. Ed(S): Combescure, Alain; Borst, Rene De; B...
Paperback. Editor(s): Combescure, Alain; Borst, Rene de; Belytschko, Ted. Series: IUTAM Bookseries (Closed). Num Pages: 445 pages, biography. BIC Classification: PHD; TBC; TGB; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 785.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 445
- Condition
- New
- SKU
- V9789048176595
- ISBN
- 9789048176595
Paperback
Condition: New
€ 129.98
€ 129.98
Paperback. Series: Theory and Decision Library B. Num Pages: 372 pages, biography. BIC Classification: PBT; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2007
- Number of pages
- 372
- Condition
- New
- SKU
- V9789048174317
- ISBN
- 9789048174317
Paperback
Condition: New
€ 194.89
€ 194.89
Paperback. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: PBC; PBU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 320
- Condition
- New
- SKU
- V9789048164400
- ISBN
- 9789048164400
Paperback
Condition: New
€ 128.29
€ 128.29
Paperback. Series: Solid Mechanics and its Applications. Num Pages: 488 pages, biography. BIC Classification: PD; TBD; TGMD4; UGC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2004
- Number of pages
- 488
- Condition
- New
- SKU
- V9789048164257
- ISBN
- 9789048164257
Paperback
Condition: New
€ 196.09
€ 196.09
Paperback. Toeplitz systems arise in a variety of applications in mathematics, scientific computing, and engineering, such as image processing, numerical differential equations and integral equations, time series analysis, and control theory. This title contains the advanced developments in the use of iterative methods to block Toeplitz systems. Series: Combinatorics and Computer Science. Num Pages: 232 pages, biography. BIC Classification: PBKJ; UG; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 335.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 232
- Condition
- New
- SKU
- V9789048161065
- ISBN
- 9789048161065
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Series: Synthese Library. Num Pages: 321 pages, biography. BIC Classification: CFA; HPL; PDA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 321
- Condition
- New
- SKU
- V9789048161058
- ISBN
- 9789048161058
Paperback
Condition: New
€ 128.27
€ 128.27