Mathematical theory of computation
Results 161 - 180 of 366
Mathematical theory of computation
hardcover. This handbook offers a broad, advanced overview of the current state of Semidefinite Programming, in nineteen chapters written by the leading experts on the subject. The material is organized in three parts: Theory, Algorithms, and Applications and Extensions. Editor(s): Wolkowicz, Henry; Saigal, Romesh; Vandenberghe, Lieven. Series: International Series in Operations Research & Management Science. Num Pages: 654 pages, biography. BIC Classification: KJ; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1133.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 654
- Condition
- New
- SKU
- V9780792377719
- ISBN
- 9780792377719
Hardback
Condition: New
€ 244.03
€ 244.03
Paperback. Editor(s): Yahav, Eran. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 318 pages, 78 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 318
- Condition
- New
- SKU
- V9783319133379
- ISBN
- 9783319133379
Paperback
Condition: New
€ 64.03
€ 64.03
High Performance Computing in Science and Engineering
. Ed(S): Nagel, Wolfgang E.; Kroner, Dietmar;...
Hardback. Presents the results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2010. This title covers the fields of computational science and engineering, ranging from CFD to computational physics and chemistry to computer science, with an emphasis on industrially relevant applications. Editor(s): Nagel, Wolfgang E.; Kroner, Dietmar; Resch, Michael M. Num Pages: 617 pages, biography. BIC Classification: PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1134.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 617
- Condition
- New
- SKU
- V9783642157479
- ISBN
- 9783642157479
Hardback
Condition: New
€ 232.86
€ 232.86
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. Presenting the state of the art in parallel numerical algorithms, applications, architectures and system software, this book examines solutions for issues of concurrency, scale, energy efficiency and programmability, in a diverse range of applications. Editor(s): Berry, Michael W.; Gallivan, Kyle A.; Gallopoulos, Efstratios; Grama, Ananth; Bernard, Philippe; Saad, Yousef; Saied, Faisal. Num Pages: 350 pages, biography. BIC Classification: UNH; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 350
- Condition
- New
- SKU
- V9781447158882
- ISBN
- 9781447158882
Paperback
Condition: New
€ 122.77
€ 122.77
Hardback. Series: Systems & Control: Foundations and Applications. Num Pages: 446 pages, biography. BIC Classification: PBWL; TJFM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Birkhauser Boston Inc United States
- Edition
- 2
- Number of pages
- 446
- Condition
- New
- SKU
- V9780817635978
- ISBN
- 9780817635978
Hardback
Condition: New
€ 131.83
€ 131.83
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
€ 83.27
€ 83.27
Hardback. Series: Atlantis Studies in Scientific Computing in Electromagnetics. Num Pages: 95 pages, 19 black & white illustrations, 6 colour illustrations, biography. BIC Classification: PBKS; THR; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 6. Weight in Grams: 318.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 95
- Condition
- New
- SKU
- V9789462391888
- ISBN
- 9789462391888
Hardback
Condition: New
€ 80.61
€ 80.61
Paperback. Editor(s): Davis, Jesse; Ramon, Jan. Series: Lecture Notes in Computer Science. Num Pages: 205 pages, 62 black & white illustrations, biography. BIC Classification: UMA; UMR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 205
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319237077
- ISBN
- 9783319237077
Paperback
Condition: New
€ 64.63
€ 64.63
Paperback. Presents a mathematically rigorous, philosophically sound foundation for a science of information. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 292 pages, black & white illustrations. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 230 x 152 x 23. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 292
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780521070997
- ISBN
- 9780521070997
Paperback
Condition: New
€ 71.21
€ 71.21
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 67.95
€ 67.95
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Series: Atlantis Thinking Machines. Num Pages: 259 pages, 14 black & white illustrations, 2 colour illustrations, 21 black & white tables, biograph. BIC Classification: UGD; UMA; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 259
- Condition
- New
- SKU
- V9789462390393
- ISBN
- 9789462390393
Paperback
Condition: New
€ 124.44
€ 124.44
hardcover. Concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). This book shows that inference-based NLU has the potential for practical large scale applications. Series: Atlantis Thinking Machines. Num Pages: 259 pages, 14 black & white illustrations, 2 colour illustrations, 21 black & white tables, biograph. BIC Classification: UGD; UMA; UYA; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 555.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Edition
- 2012th Edition
- Number of pages
- 259
- Condition
- New
- SKU
- V9789491216527
- ISBN
- 9789491216527
Hardback
Condition: New
€ 125.41
€ 125.41
Paperback. Num Pages: 223 pages, biography. BIC Classification: PHVN; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642083587
- ISBN
- 9783642083587
Paperback
Condition: New
€ 122.12
€ 122.12
Hardback. Introduces readers of different backgrounds to the selected algorithms. This book is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. It is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: UMB; UMW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9781402075131
- ISBN
- 9781402075131
Hardback
Condition: New
€ 192.58
€ 192.58
Paperback. Updated and revised, the book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs. Num Pages: 448 pages, Illustrations. BIC Classification: UMJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 172 x 24. Weight in Grams: 736.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 448
- Format
- Paperback
- Publication date
- 1998
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780134843469
- ISBN
- 9780134843469
Paperback
Condition: New
€ 88.12
€ 88.12
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.84€ 95.26
€ 118.84
€ 95.26
paperback. Prepares students for the world of computing by giving them a solid foundation in the science of computer science, algorithms. By working with algorithms from the start, students will understand the power of computers as problem solving tools and learn to think like programmers. Num Pages: 399 pages, illustrations. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 192 x 232 x 23. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Pearson United States
- Edition
- 1st Edition
- Number of pages
- 399
- Condition
- New
- SKU
- V9780201314519
- ISBN
- 9780201314519
Paperback
Condition: New
€ 183.77
€ 183.77
Introduction to Concurrency Theory: Transition Systems and CCS (Texts ...
Gorrieri, Roberto, Versari, Cristian
Hardcover. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 334 pages, 63 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 684.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319214900
- ISBN
- 9783319214900
Hardback
Condition: New
€ 67.92
€ 67.92