Mathematical theory of computation
Results 161 - 180 of 366
Mathematical theory of computation
Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 358
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521898850
- ISBN
- 9780521898850
Hardback
Condition: New
€ 85.03
€ 85.03
Paperback. This book details the theory, algorithms, and applications of structured low-rank approximation, and presents efficient local optimization methods and effective suboptimal convex relaxations for Toeplitz, Hankel and Sylvester structured problems and more. Series: Communications and Control Engineering. Num Pages: 268 pages, 24 colour tables, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 268
- Condition
- New
- SKU
- V9781447158363
- ISBN
- 9781447158363
Paperback
Condition: New
€ 142.97
€ 142.97
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319500164
- ISBN
- 9783319500164
Paperback
Condition: New
€ 47.99€ 44.09
€ 47.99
€ 44.09
Hardback. Introduces techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. This work contains a number of open problems and proposals for further research. Series: Progress in Computer Science and Applied Logic. Num Pages: 182 pages, biography. BIC Classification: GPJ; PBH; URY; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 182
- Condition
- New
- SKU
- V9783764358884
- ISBN
- 9783764358884
Hardback
Condition: New
€ 68.66
€ 68.66
Hardback. The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems. Series: Numerical Mathematics & Scientific Computation. Num Pages: 464 pages. BIC Classification: PBKF; PBKJ; PBWH; UYAM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 161 x 28. Weight in Grams: 884.
- Publisher
- Oxford University Press
- Format
- Hardback
- Publication date
- 2017
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780198508380
- ISBN
- 9780198508380
Hardback
Condition: New
€ 155.53
€ 155.53
Hardback. Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method. Num Pages: 682 pages, illustrations. BIC Classification: PBW; TG; UYA. Category: (P) Professional & Vocational. Dimension: 251 x 171 x 36. Weight in Grams: 1188.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 682
- Format
- Hardback
- Publication date
- 2013
- Edition
- 5th Edition
- Condition
- New
- SKU
- V9781119973348
- ISBN
- 9781119973348
Hardback
Condition: New
€ 112.33
€ 112.33
Hardback. Looks at the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. This work is focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also explored. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792340058
- ISBN
- 9780792340058
Hardback
Condition: New
€ 126.32
€ 126.32
Hardback. Editor(s): Arlo-Costa, Horacio; Hendricks, Vincent F.; Benthem, Johan van. Series: Springer Graduate Texts in Philosophy. Num Pages: 872 pages, 77 black & white illustrations, biography. BIC Classification: HPK; PBUD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319204505
- ISBN
- 9783319204505
Hardback
Condition: New
€ 163.27
€ 163.27
hardcover. Series: Princeton Legacy Library. Num Pages: 212 pages, black & white illustrations. BIC Classification: PBB; PBX; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 13. Weight in Grams: 457.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Princeton University Press United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780691653105
- ISBN
- 9780691653105
Hardback
Condition: New
€ 132.83
€ 132.83
Hardback. Brings together the theory of data based neurofuzzy modelling and the linguistic attributes of fuzzy logic in a single cohesive mathematical framework. After introducing the basic theory of data based modelling, this book develops various concepts including extended additive and multiplicative submodels. Series: Advanced Information Processing. Num Pages: 323 pages, biography. BIC Classification: UYA; UYQN; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 697.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540426868
- ISBN
- 9783540426868
Hardback
Condition: New
€ 123.67
€ 123.67
Hardback. Series: Texts in Computational Science and Engineering. Num Pages: 216 pages, 43 black & white illustrations, biography. BIC Classification: UFM; UMX; UYA. Category: (G) General (US: Trade). Dimension: 266 x 257 x 20. Weight in Grams: 632.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319324517
- ISBN
- 9783319324517
Hardback
Condition: New
€ 71.63
€ 71.63
Hardback. Series: Texts in Computational Science and Engineering. Num Pages: biography. BIC Classification: PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319554556
- ISBN
- 9783319554556
Hardback
Condition: New
€ 74.87
€ 74.87
Paperback. Constitutes the proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008. This title includes the papers that address various subjects in algorithmics reaching from design and analysis issues of algorithms. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 861 pages, biography. BIC Classification: UG; UKN; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 861
- Condition
- New
- SKU
- V9783540877431
- ISBN
- 9783540877431
Paperback
Condition: New
€ 220.79
€ 220.79
Hardback. An introduction to simple type theory, containing 200 exercises with complete solutions. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, 23 tables 193 exercises. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 161 x 236 x 25. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 410
- Condition
- New
- SKU
- V9780521771733
- ISBN
- 9780521771733
Hardback
Condition: New
€ 165.74
€ 165.74
Paperback. Constitutes the proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. This title includes the papers that cover various aspects of artificial intelligence in computer-game playing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 287 pages, biography. BIC Classification: UGG; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540876076
- ISBN
- 9783540876076
Paperback
Condition: New
€ 115.93
€ 115.93
paperback. This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell. Num Pages: 318 pages, 1 b/w illus. 120 exercises. BIC Classification: PBKS; UMX; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 177 x 298 x 18. Weight in Grams: 538.
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781316626221
- ISBN
- 9781316626221
Paperback
Condition: New
€ 47.52
€ 47.52
Paperback. Series: Vieweg advances studies in computer science. Num Pages: 227 pages. BIC Classification: UL; UMZ; UT; UYA; UYD. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 148 x 210. .
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783528053581
- ISBN
- 9783528053581
Paperback
Condition: New
€ 69.28
€ 69.28
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
Paperback. Providing an easy introduction to the boundary element method, this book is ideal for any reader wishing to work in this field or use this method for the solution of engineering problems. From the beginning, the emphasis is on the implementation of the method into computer programs which can be used to solve real problems. Num Pages: 472 pages, Illustrations. BIC Classification: UMX; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 170 x 27. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 472
- Condition
- New
- SKU
- V9780471863335
- ISBN
- 9780471863335
Paperback
Condition: New
€ 82.19
€ 82.19
Hardback. This review of the mathematics uses in computing takes in a host of topics including software engineering and reliability, coding theory, and cryptography, and is an enlightening introductory guide to the calculations which have built our technological world. Num Pages: 288 pages, biography. BIC Classification: GPJ; PBX; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 22. Weight in Grams: 592.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 338
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781447145332
- ISBN
- 9781447145332
Hardback
Condition: New
€ 76.88
€ 76.88