.png){kind=logo}
Mathematical theory of computation
Results 121 - 144 of 1825
Mathematical theory of computation
paperback. Editor(s): Zhou, Qihai. Series: Communications in Computer and Information Science. Num Pages: 630 pages, biography. BIC Classification: UKN; UMB; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 630
- Condition
- New
- SKU
- V9783642249983
- ISBN
- 9783642249983
Paperback
Condition: New
€ 130.98
€ 130.98
Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319467498
- ISBN
- 9783319467498
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Series: Distinguished Dissertations. Num Pages: 186 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 186
- Condition
- New
- SKU
- V9781447115939
- ISBN
- 9781447115939
Paperback
Condition: New
€ 126.80
€ 126.80
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642033582
- ISBN
- 9783642033582
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, that was held in Kaiserslautern, Germany, September 2007. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 412 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540745907
- ISBN
- 9783540745907
Paperback
Condition: New
€ 68.15
€ 68.15
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 72.38
€ 72.38
paperback. Constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005. This book includes 20 full papers, 2 invited papers, and 4 proof concise presentations of interesting examples, selected from 49 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540283720
- ISBN
- 9783540283720
Paperback
Condition: New
€ 72.61
€ 72.61
Paperback. Series: Signals and Communication Technology. Num Pages: 228 pages, 65 black & white illustrations, 11 black & white tables, biography. BIC Classification: PBT; UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642066900
- ISBN
- 9783642066900
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. Written as a self-learning guide, this book deals with the treatment of the Variational Bayes (VB) approximation in signal processing. It reviews the VB distributional approximation, showing that tractable algorithms for parametric model identification can be generated in off-line and on-line contexts. Series: Signals and Communication Technology. Num Pages: 228 pages, 65 black & white illustrations, 11 black & white tables, biography. BIC Classification: PBT; TBJ; TJK; UYAM; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540288190
- ISBN
- 9783540288190
Hardback
Condition: New
€ 132.41
€ 132.41
Paperback. Digital information and communication technologies can be seen as a threat to privacy, a step forward for freedom of expression and communication, a tool in the fight against terrorism or the source of a new economic wealth. Num Pages: 138 pages, black & white illustrations. BIC Classification: UBL; UBW; UR; UYA; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 162 x 8. Weight in Grams: 230.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 138
- Condition
- New
- SKU
- V9781786300867
- ISBN
- 9781786300867
Paperback
Condition: New
€ 180.21
€ 180.21
Paperback. Devoted to the traveling salesman problem (TSP), which is the task of finding a route of the shortest possible length through a given set of cities. The TSP attracts interest from various scientific disciplines and numerous areas of application. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 3 black & white illustrations, biography. BIC Classification: KJS; PBV; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 210 x 12. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783540583349
- ISBN
- 9783540583349
Paperback
Condition: New
€ 67.81
€ 67.81
Hardback. Presents the findings on one of the most intensely investigated subjects in computational mathematics - the travelling salesman problem. This book describes the method and computer code used to solve a range of large-scale problems, and demonstrates the interplay of applied mathematics with increasingly powerful computing platforms. Series: Princeton Series in Applied Mathematics. Num Pages: 608 pages, 200 line illus. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 241 x 165 x 43. Weight in Grams: 1056.
- Publisher
- Princeton University Press United States
- Number of pages
- 608
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2nd Printing
- Condition
- New
- SKU
- V9780691129938
- ISBN
- 9780691129938
Hardback
Condition: New
€ 137.39
€ 137.39
Paperback. Series: Mathematics and its Applications. Num Pages: 258 pages, biography. BIC Classification: PBKB; PBKQ; PBWH; PHD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 258
- Condition
- New
- SKU
- V9789048152155
- ISBN
- 9789048152155
Paperback
Condition: New
€ 127.78
€ 127.78
Hardcover. An introduction to the concept of backpropagation, or "dynamic feedback", an algorithm developed by the author to be used in neural networking. The text initiates a body of background tools capable of generating applications across a range of fields, from engineering to political forecasting. Series: Adaptive and Learning Systems for Signal Processing, Communications and Control Series. Num Pages: 320 pages, Ill. BIC Classification: UYA; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 181 x 24. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 320
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471598978
- ISBN
- 9780471598978
Hardback
Condition: New
€ 222.25
€ 222.25
Paperback. This book introduces concepts and techniques for mathematical modeling of the respiratory system, using differential equations, resistive networks and other mathematical tools. Offers state-of-the-art modeling techniques, and several detailed exercises. Series: Ms&A. Num Pages: 295 pages, biography. BIC Classification: MJL; PBKJ; PHDF; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Verlag Italy
- Number of pages
- 295
- Condition
- New
- SKU
- V9788847055735
- ISBN
- 9788847055735
Paperback
Condition: New
€ 116.47
€ 116.47
Hardback. This book introduces concepts and techniques for mathematical modeling of the respiratory system, using differential equations, resistive networks and other mathematical tools. Offers state-of-the-art modeling techniques, and several detailed exercises. Series: Ms&A. Num Pages: 295 pages, biography. BIC Classification: MJL; PBKJ; PHDF; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Verlag Italy
- Number of pages
- 295
- Condition
- New
- SKU
- V9788847052130
- ISBN
- 9788847052130
Hardback
Condition: New
€ 117.75
€ 117.75
Paperback. This book provides an alternative approach to study the pre-kernel solution of transferable utility games based on a generalized conjugation theory from convex analysis. Series: Theory and Decision Library C. Num Pages: 275 pages, 5 black & white illustrations, 3 colour illustrations, biography. BIC Classification: KCA; PBUD; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 275
- Condition
- New
- SKU
- V9783662513149
- ISBN
- 9783662513149
Paperback
Condition: New
€ 66.54
€ 66.54
Hardback. The Pre-Kernel as a Tractable Solution for Cooperative Games Series: Theory and Decision Library C. Num Pages: 275 pages, 5 black & white illustrations, 3 colour illustrations, biography. BIC Classification: KCA; PBUD; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642395482
- ISBN
- 9783642395482
Hardback
Condition: New
€ 67.39
€ 67.39
Paperback. The P=NP question is one of the great problems of science, which has intrigued computer scientists and mathematicians for decades. This guide, originating from a weblog written by the author, covers historical developments and latest approaches to the problem. Num Pages: 252 pages, biography. BIC Classification: PBC; PBKS; UMB; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781489992727
- ISBN
- 9781489992727
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. The P=NP question is one of the great problems of science, which has intrigued computer scientists and mathematicians for decades. This guide, originating from a weblog written by the author, covers historical developments and latest approaches to the problem. Num Pages: 239 pages, biography. BIC Classification: PBC; PBKS; TBX; UMB; UYA. Category: (G) General (US: Trade). Dimension: 242 x 193 x 19. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 239
- Condition
- New
- SKU
- V9781441971548
- ISBN
- 9781441971548
Hardback
Condition: New
€ 132.59
€ 132.59
Paperback. Editor(s): Golden, Bruce L. (Golden, University of Maryland); Raghavan, S. (University of Maryland); Wasil, Edward A. (American University). Series: Operations Research/Computer Science Interfaces Series. Num Pages: 405 pages, 93 black & white tables, biography. BIC Classification: KJT; PBKS; PBU; UMA; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 405
- Condition
- New
- SKU
- V9781461498513
- ISBN
- 9781461498513
Paperback
Condition: New
€ 249.45
€ 249.45
Paperback. This monograph brings computational unconstrained nonlinear optimization to life through a study of the interplay between the metric-based (Cauchy) and model-based (Newton) points of view. The author develops the Newton-Cauchy framework and explores its wealth of algorithmic implications. Series: Lecture Notes in Computer Science. Num Pages: 108 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 108
- Condition
- New
- SKU
- V9783540576716
- ISBN
- 9783540576716
Paperback
Condition: New
€ 66.95
€ 66.95
hardcover. This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications. Num Pages: 311 pages, 43 black & white illustrations, 9 colour illustrations, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 558.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 311
- Condition
- New
- SKU
- V9783642238444
- ISBN
- 9783642238444
Hardback
Condition: New
€ 195.40
€ 195.40
Hardcover. Discusses the fundamental ideas which lie behind the statistical theory of learning and generalization. This book considers learning as a general problem of function estimation based on empirical data. It concentrates on discussing the main results of learning theory and their connections to fundamental problems in statistics. Series: Information Science and Statistics. Num Pages: 314 pages, biography. BIC Classification: PBT; UYAM; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 163 x 27. Weight in Grams: 658.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1999
- Edition
- 2nd
- Condition
- New
- SKU
- V9780387987804
- ISBN
- 9780387987804
Hardback
Condition: New
€ 288.98
€ 288.98