Mathematical theory of computation
Results 321 - 340 of 366
Mathematical theory of computation
Paperback. Constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. Editor(s): Wolff, Burkhart; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 226
- Condition
- New
- SKU
- V9783642245794
- ISBN
- 9783642245794
Paperback
Condition: New
€ 66.26
€ 66.26
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 66.12
€ 66.12
Hardback. The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. This work contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Series: Applied Logic Series. Num Pages: 411 pages, biography. BIC Classification: HPJ; UYA. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 851.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 411
- Condition
- New
- SKU
- V9780792353249
- ISBN
- 9780792353249
Hardback
Condition: New
€ 196.47
€ 196.47
The Architecture of Scientific Software. IFIP TC2/WG2.5 Working Confer...
. Ed(S): Boisvert, Ronald F.; Tang, Ping Tak ...
Paperback. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: PBKS; PBWH; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 378
- Condition
- New
- SKU
- V9781475767193
- ISBN
- 9781475767193
Paperback
Condition: New
€ 239.06
€ 239.06
Paperback. Part of a multivolume work on the analysis of algorithms, this work provides a programmer's introduction to the MMIX, a RISC-based computer that replaces the original MIX, and describes the MMIX assembly language. It also presents material on subroutines, coroutines, and interpretive routines. Num Pages: 144 pages, Illustrations. BIC Classification: UM; UYA. Category: (U) Tertiary Education (US: College). Dimension: 242 x 164 x 10. Weight in Grams: 276.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Pearson Education (US) United States
- Edition
- 1st Edition
- Number of pages
- 144
- Condition
- New
- SKU
- V9780201853926
- ISBN
- 9780201853926
Paperback
Condition: New
€ 23.49
€ 23.49
Paperback. Featuring a unique CD that contains a virtual computer/calculator software program, This essential text begins by explaining fundamental math concepts, such as the use of powers and different place-value number systems (specifically binary, decimal, and hexadecimal). Num Pages: 464 pages, Illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 203 x 24. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 464
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471732785
- ISBN
- 9780471732785
Paperback
Condition: New
€ 64.62
€ 64.62
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 378 pages, 9 black & white illustrations, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 378
- Condition
- New
- SKU
- V9789462391628
- ISBN
- 9789462391628
Hardback
Condition: New
€ 145.27
€ 145.27
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 479 pages, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 877.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 479
- Condition
- New
- SKU
- V9789462391598
- ISBN
- 9789462391598
Hardback
Condition: New
€ 66.88
€ 66.88
hardcover. This major new edition features many topics not covered in the original, including graphical models, random forests, and ensemble methods. As before, it covers the conceptual framework for statistical data in our rapidly expanding computerized world. Series: Springer Series in Statistics. Num Pages: 745 pages, 282 black & white illustrations, biography. BIC Classification: PBT; PSA; UNF; UYAM; UYQM. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 40. Weight in Grams: 1422.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 767
- Format
- Hardback
- Publication date
- 2009
- Edition
- 2nd ed. 2009, Corr. 9th printing 2017
- Condition
- New
- SKU
- V9780387848570
- ISBN
- 9780387848570
Hardback
Condition: New
€ 105.17
€ 105.17
Paperback. Series: Progress in Computer Science and Applied Logic. Num Pages: 359 pages, biography. BIC Classification: UYA. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9780817631710
- ISBN
- 9780817631710
Paperback
Condition: New
€ 65.26
€ 65.26
Paperback. Series: Lecture Notes in Physics. Num Pages: 139 pages, biography. BIC Classification: GPF; PBKF; PHQ; UYA. Category: (P) Professional & Vocational. Dimension: 245 x 156 x 19. Weight in Grams: 262.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319167176
- ISBN
- 9783319167176
Paperback
Condition: New
€ 58.29
€ 58.29
Paperback. The Life and Work of Leon Henkin Editor(s): Manzano, Maria; Sain, Ildiko; Alonso, Enrique. Series: Studies in Universal Logic. Num Pages: 373 pages, 13 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 170 x 242 x 18. Weight in Grams: 628.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319097183
- ISBN
- 9783319097183
Paperback
Condition: New
€ 64.98
€ 64.98
Hardcover. This volume details the application of molecular simulation to the liquid state. Series: Wiley Tutorial Series in Theoretical Chemistry. Num Pages: 264 pages, Illustrations. BIC Classification: PDE; PHFC; PHM; UGK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 256 x 199 x 21. Weight in Grams: 716.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9780471977162
- ISBN
- 9780471977162
Hardback
Condition: New
€ 461.33
€ 461.33
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
€ 278.64
€ 278.64
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
€ 240.71
€ 240.71
Paperback.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 1996
- Edition
- 2nd
- Condition
- New
- SKU
- V9783540615453
- ISBN
- 9783540615453
Paperback
Condition: New
€ 89.11€ 88.23
€ 89.11
€ 88.23
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
€ 219.87
€ 219.87
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
€ 109.33€ 82.87
€ 109.33
€ 82.87
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
€ 178.08
€ 178.08
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
€ 66.30
€ 66.30