Mathematical theory of computation
Results 169 - 190 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
Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation. Editor(s): Idier, Jerome. Series: ISTE. Num Pages: 392 pages, Illustrations. BIC Classification: MMP; PBT; UYAM; UYT. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 158 x 25. Weight in Grams: 704.
- Publication date
- 2008
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 392
- Condition
- New
- SKU
- V9781848210325
- ISBN
- 9781848210325
Paperback
Condition: New
€ 221.07
€ 221.07
Hardcover. A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology. It describes methods employed in average case analysis of algorithms, combining both analytical and probabilistic tools in a single volume. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 576 pages, illustrations. BIC Classification: PBK; PBT; PBV; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 166 x 35. Weight in Grams: 968.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9780471240631
- ISBN
- 9780471240631
Hardback
Condition: New
€ 234.10
€ 234.10
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
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
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 232.48
€ 232.48
Hardcover. The book describes the fundamental principles of computer arithmetic. Algorithms for performing operations like addition, subtraction, multiplication and division in digit computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Series: Wiley Series in Microwave and Optical Engineering. Num Pages: 246 pages, Illustrations. BIC Classification: PB; UYA. Category: (P) Professional & Vocational. Dimension: 239 x 164 x 21. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 246
- Condition
- New
- SKU
- V9780471469452
- ISBN
- 9780471469452
Hardback
Condition: New
€ 129.90
€ 129.90
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 65.73
€ 65.73
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642218330
- ISBN
- 9783642218330
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting. This title includes topics that range in biological applicability from genome mapping, to sequence assembly, to microarray quality, to molecular modeling. Series: Lecture Notes in Computer Science. Num Pages: 409 pages, biography. BIC Classification: PSAK1; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 409
- Condition
- New
- SKU
- V9783540873600
- ISBN
- 9783540873600
Paperback
Condition: New
€ 118.07
€ 118.07
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. The aim of this work is to give breadth and depth to the C++ programmer's existing experience of the language. It presents a large number of algorithms, each of them implemented as ready-to-run (and standalone) programs. Num Pages: 368 pages, Ill. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 192 x 236 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9780471963554
- ISBN
- 9780471963554
Paperback
Condition: New
€ 77.17
€ 77.17
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
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. This book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. Editor(s): Corradini, Andrea; Klin, Bartek; Cirstea, Corina. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, 112 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783642229435
- ISBN
- 9783642229435
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance. Editor(s): Herik, H. Jaap van den; Spronck, Pieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 247 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642129926
- ISBN
- 9783642129926
Paperback
Condition: New
€ 66.70
€ 66.70
Hardcover. This title offers coverage of advances in the design of computer arithmetic units, particular attention is paid to the key applications of multimedia applications, 3-D graphic figure manipulation, wireless communications and encrypting messages. Num Pages: 344 pages, Ill. BIC Classification: UK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 162 x 20. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 344
- Condition
- New
- SKU
- V9780471412090
- ISBN
- 9780471412090
Hardback
Condition: New
€ 198.95
€ 198.95
Paperback. Num Pages: 364 pages, Illustrations. BIC Classification: PBCD; UL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 265 x 184 x 24. Weight in Grams: 909.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 364
- Condition
- New
- SKU
- V9780818677175
- ISBN
- 9780818677175
Paperback
Condition: New
€ 94.75
€ 94.75
Hardcover. This book introduces and explains the essential theory of compressive sensing from a mathematical perspective, offering a substantial collection of exercises with hints to solutions, along with MATLAB codes for algorithms and simulations. Series: Applied and Numerical Harmonic Analysis. Num Pages: 625 pages, 13 black & white illustrations, biography. BIC Classification: PBKF; PDE; TJK; TTBM; UYAM. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 39. Weight in Grams: 1088.
- Publisher
- Birkhäuser
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9780817649470
- ISBN
- 9780817649470
Hardback
Condition: New
€ 108.88
€ 108.88
Paperback. Network theory is a major topic of interdisciplinary research which covers diverse areas including physics, mathematics and sociology. This book covers all the basics and the most commonly used concepts in the field, provides examples of their applications in solving practical problems, and clear indications on how to analyse their results. Num Pages: 272 pages, 151 figures. BIC Classification: GPFC; PBV; PBWH; PHS; UYA. Category: (UU) Undergraduate. Dimension: 246 x 190 x 18. Weight in Grams: 598.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780198726463
- ISBN
- 9780198726463
Paperback
Condition: New
€ 73.14
€ 73.14
Hardback. .
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9781493940301
- ISBN
- 9781493940301
Hardback
Condition: New
€ 130.13€ 124.46
€ 130.13
€ 124.46
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 67.64
€ 67.64