Mathematical theory of computation
Results 201 - 220 of 366
Mathematical theory of computation
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 116.23
€ 116.23
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 64.07
€ 64.07
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 194.66
€ 194.66
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 144.42
€ 144.42
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789491216947
- ISBN
- 9789491216947
Hardback
Condition: New
€ 65.15
€ 65.15
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. Editor(s): Langs, Georg; Rish, Irina; Grosse-Wentrup, Moritz; Murphy, Brian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 266 pages, 83 black & white illustrations, biography. BIC Classification: UB; UNF; UYAM; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 400.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642347122
- ISBN
- 9783642347122
Paperback
Condition: New
€ 59.78
€ 59.78
hardcover. This work presents a bold new theory of the cognitive circuitry of the brain, with emphasis on the functioning of human vision. The author has developed a computational theory that provides a unitary explanation for a wide range of visual capabilities and behaviors, most of which have no accepted theoretical explanation. Num Pages: 240 pages, Illustrations. BIC Classification: MJN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 6452 x 4522 x 19. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Stanford University Press United States
- Number of pages
- 240
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780804742771
- ISBN
- 9780804742771
Hardback
Condition: New
€ 76.18
€ 76.18
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319275840
- ISBN
- 9783319275840
Paperback
Condition: New
€ 46.67
€ 46.67
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9781852339029
- ISBN
- 9781852339029
Hardback
Condition: New
€ 178.24€ 62.22
€ 178.24
€ 62.22
Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2012
- Edition
- 3rd ed. 2012
- Condition
- New
- SKU
- V9781447141280
- ISBN
- 9781447141280
Paperback
Condition: New
€ 76.04
€ 76.04
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 67.27
€ 67.27
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
Mathematical Morphology and its Applications to Signal and Image Proce...
. Ed(S): Benediktsson, Jon Atli; Chanussot, J...
Paperback. Editor(s): Benediktsson, Jon Atli; Chanussot, Jocelyn; Najman, Laurent; Talbot, Hugues. Series: Lecture Notes in Computer Science. Num Pages: 768 pages, 324 black & white illustrations, biography. BIC Classification: PBD; UYAM; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 39. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 768
- Condition
- New
- SKU
- V9783319187198
- ISBN
- 9783319187198
Paperback
Condition: New
€ 68.56
€ 68.56
Hardback. From the reviews: "[!] the interested reader will find in Bremaud's book an invaluable reference because of its coverage, scope and style, as well as of the unified treatment it offers of (signal processing oriented) Fourier and wavelet basics." Mathematical Reviews Num Pages: 270 pages, biography. BIC Classification: PBK; TBJ; TJ; UYAM; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 270
- Condition
- New
- SKU
- V9780387953380
- ISBN
- 9780387953380
Hardback
Condition: New
€ 116.84
€ 116.84
Hardback. Num Pages: 82 pages, illustrations (black and white). BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 167 x 15. Weight in Grams: 320.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 82
- Condition
- New
- SKU
- V9781848216860
- ISBN
- 9781848216860
Hardback
Condition: New
€ 178.28
€ 178.28
Paperback. A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics. Num Pages: 408 pages, black & white illustrations, figures. BIC Classification: UG; UYAM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 27. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118712191
- ISBN
- 9781118712191
Paperback
Condition: New
€ 79.68
€ 79.68
Hardback. Editor(s): Drmota, Michael; Flajolet, Philippe; Gardy, Daniele; Gittenberger, Bernhard. Series: Trends in Mathematics. Num Pages: 556 pages, 26 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 978.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 556
- Condition
- New
- SKU
- V9783764371289
- ISBN
- 9783764371289
Hardback
Condition: New
€ 126.84
€ 126.84
Hardback. The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the University of Versailles-St-Quentin in 2000 and was acknowledged a success. The second colloquium was held in September 16-19, 2002, again in Versailles. This book gathers the second colloquium proceedings. Editor(s): Chauvin, B.; Flajolet, Philippe; Gardy, Daniele; Mokkadem, A. Series: Trends in Mathematics. Num Pages: 543 pages, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 2120.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 543
- Condition
- New
- SKU
- V9783764369330
- ISBN
- 9783764369330
Hardback
Condition: New
€ 139.73
€ 139.73
Hardback. This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering. Tools for analysis and algorithms are confronted to a large set of relevant examples that show the difficulties and the limitations of the most naive approaches. Num Pages: 472 pages, black & white illustrations. BIC Classification: PBWH; UYAM; UYM. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 29. Weight in Grams: 846.
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781848219885
- ISBN
- 9781848219885
Hardback
Condition: New
€ 177.60
€ 177.60