Mathematical theory of computation
Results 121 - 144 of 190
Mathematical theory of computation
Paperback. .
- Publisher
- Addison-Wesley Professional
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780133902839
- ISBN
- 9780133902839
Paperback
Condition: New
€ 38.99€ 38.07
€ 38.99
€ 38.07
Hardcover. The complexity of today's information processing requirements, coupled with the availability of powerful computers, have boosted the interest in the study, design, and analysis of parallel algorithms. Introduction to Parallel Algorithms responds to the need in the field for an easy-to-understand text in this growth area of computer science. Series: Wiley Series on Parallel and Distributed Computing. Num Pages: 384 pages, Illustrations. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 30. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 384
- Condition
- New
- SKU
- V9780471251828
- ISBN
- 9780471251828
Hardback
Condition: New
€ 206.69
€ 206.69
Paperback. This book presents the basic scientific computing methods for the solution of partial differential equations (PDEs) as they occur in engineering problems. Programming codes in Fortran and C are included for each problem. Num Pages: 380 pages, bibliography, index. BIC Classification: PDN; TGB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 172 x 22. Weight in Grams: 678.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 380
- Condition
- New
- SKU
- V9780471972662
- ISBN
- 9780471972662
Paperback
Condition: New
€ 116.90
€ 116.90
Hardback. Num Pages: 430 pages, 18 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UFM; UMB; UNA; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 842.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319457956
- ISBN
- 9783319457956
Hardback
Condition: New
€ 94.64€ 94.09
€ 94.64
€ 94.09
Paperback. With its companion website to shed more light on the complex material, Multimedia Maths achieves the perfect balance between deductive mathematics and broad accessibility. Num Pages: 230 pages, 20 b&w. BIC Classification: PBW; UYAM. Category: (G) General (US: Trade). Dimension: 240 x 170 x 14. Weight in Grams: 485.
- Publisher
- Lannoo Publishers
- Format
- Paperback
- Publication date
- 2017
- Condition
- New
- SKU
- V9789401438216
- ISBN
- 9789401438216
Paperback
Condition: New
€ 46.99€ 37.81
€ 46.99
€ 37.81
Paperback. Series: UNITEXT. Num Pages: 260 pages, biography. BIC Classification: PBT; PHU; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 260
- Condition
- New
- SKU
- V9783319072531
- ISBN
- 9783319072531
Paperback
Condition: New
€ 77.97
€ 77.97
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 59.64
€ 59.64
Spline and Spline Wavelet Methods with Applications to Signal and Imag...
Averbuch, Amir Z.; Neittaanmaki, Pekka; Zhelu...
Hardback. Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Vol. II Num Pages: 451 pages, 42 black & white illustrations, 87 colour illustrations, biography. BIC Classification: UYA; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 958.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 451
- Condition
- New
- SKU
- V9783319223025
- ISBN
- 9783319223025
Hardback
Condition: New
€ 131.97
€ 131.97
Paperback. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9783642214776
- ISBN
- 9783642214776
Paperback
Condition: New
€ 65.06€ 24.88
€ 65.06
€ 24.88
Hardback. Computational science is an exciting new field at the intersection of the sciences, computer science, and mathematics because much scientific investigation now involves computing as well as theory and experiment. This book provides students with a versatile and accessible introduction to the subject. Num Pages: 856 pages, 3 halftones. 192 line illus. 82 tables. BIC Classification: PBW; UYA; UYM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 186 x 261 x 55. Weight in Grams: 1896.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Edition
- Second
- Condition
- New
- SKU
- V9780691160719
- ISBN
- 9780691160719
Hardback
Condition: New
€ 118.32€ 94.95
€ 118.32
€ 94.95
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. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 456
- Condition
- New
- SKU
- V9780199652600
- ISBN
- 9780199652600
Paperback
Condition: New
€ 90.36
€ 90.36
Paperback. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V.
- Publisher
- Cambridge University Press
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521779111
- ISBN
- 9780521779111
Paperback
Condition: New
€ 59.86
€ 59.86
Paperback. Artificial neural networks, learning, statistical mechanics; background material in mathematics and physics; examples and exercises; textbook/reference. Num Pages: 344 pages, 1 table 136 exercises. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 247 x 174 x 18. Weight in Grams: 696.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 344
- Condition
- New
- Edition
- Illustrated
- SKU
- V9780521774796
- ISBN
- 9780521774796
Paperback
Condition: New
€ 82.55
€ 82.55
Database Theory and Application, Bio-Science and Bio-Technology
. Ed(S): Zhang, Yanchun; Cuzzocrea, Alfredo; ...
Paperback. Constitutes the refereed proceedings of the International Conference on Database Theory and Application, DTA 2010, and the International Conference on Bio-Science and Bio-Technology, BSBT 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Zhang, Yanchun; Cuzzocrea, Alfredo; Ma, Jianhua; Chung, Kyo-Il; Arslan, Tughrul; Song, Xiaofeng. Series: Communications in Computer and Information Science. Num Pages: 310 pages, 164 black & white illustrations, biography. BIC Classification: UGK; UMB; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 20. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642176210
- ISBN
- 9783642176210
Paperback
Condition: New
€ 67.35
€ 67.35
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
€ 64.73
€ 64.73
High Performance Computing in Science and Engineering, Garching/Munich
. Ed(S): Wagner, Siegfried; Steinmetz, Matthi...
Hardback. Presents selected project results obtained at the current High-Performance Computer in Bavaria (HLRB II). This title provides an overview of the broad range of applications requiring high-performance computers to solve challenging numerical problems. Editor(s): Wagner, Siegfried; Steinmetz, Matthias; Bode, Arndt; Muller, Markus Michael. Num Pages: 780 pages, biography. BIC Classification: PBKS; PHDF; PHVB; PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 35. Weight in Grams: 1194.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783642138713
- ISBN
- 9783642138713
Hardback
Condition: New
€ 288.69
€ 288.69
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 66.61
€ 66.61
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642244513
- ISBN
- 9783642244513
Paperback
Condition: New
€ 81.33
€ 81.33
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
Practical Aspects of Declarative Languages: 14th International Symposi...
. Ed(S): Russo, Claudio; Zhou, Neng-Fa
paperback. Editor(s): Russo, Claudio; Zhou, Neng-Fa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 304 pages, 75 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 304
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9783642276934
- ISBN
- 9783642276934
Paperback
Condition: New
€ 65.33
€ 65.33