Mathematical theory of computation
Results 21 - 40 of 366
Mathematical theory of computation
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
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
€ 95.06€ 94.09
€ 95.06
€ 94.09
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
An Introduction to Modern Mathematical Computing: With Mathematica®
Borwein, Jonathan M.; Skerritt, Matthew P.
hardcover. An essential read for mathematicians, this volume looks beyond the syntax and semantics of Mathematica and other programs. It focuses on why they are necessary tools for anyone who engages in mathematics, as well as showing how to create better proofs. Series: Springer Undergraduate Texts in Mathematics and Technology. Num Pages: 240 pages, 4 black & white illustrations, 91 colour illustrations, 3 colour tables, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 264 x 182 x 18. Weight in Grams: 612.
- Publisher
- Springer United States
- Number of pages
- 240
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461442523
- ISBN
- 9781461442523
Hardback
Condition: New
€ 71.23
€ 71.23
Hardcover. Wavelet theory is on the boundary between mathematics and engineering, making it ideal for demonstrating to students that mathematics research is thriving in the modern day. This title offers an introduction to wavelet theory. Series: Undergraduate Texts in Mathematics. Num Pages: 519 pages, biography. BIC Classification: PBF; PBKF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 165 x 235 x 32. Weight in Grams: 940.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 519
- Format
- Hardback
- Publication date
- 2001
- Edition
- Corrected
- Condition
- New
- SKU
- V9780387986395
- ISBN
- 9780387986395
Hardback
Condition: New
€ 95.12
€ 95.12
Analytical and Stochastic Modelling Techniques and Applications
. Ed(S): Remke, Anne; Manini, Daniele; Gribau...
paperback. Editor(s): Remke, Anne; Manini, Daniele; Gribaudo, Marco. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 98 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYAM; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319185781
- ISBN
- 9783319185781
Paperback
Condition: New
€ 63.82
€ 63.82
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
€ 67.44
€ 67.44
Hardback. Intended to be used as a textbook for a special topic course in computer science. This title addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. It focuses on the role of continuous mathematics. Series: Theory and Decision Library B. Num Pages: 431 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1730.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 431
- Condition
- New
- SKU
- V9780792347224
- ISBN
- 9780792347224
Hardback
Condition: New
€ 248.84
€ 248.84
Paperback. "Learn to use set theory and logic to design databases and their business rules effectively, and to communicate precisely about those designs with other stakeholders."--Cover. Num Pages: 432 pages, biography. BIC Classification: UND; UYA. Category: (G) General (US: Trade). Dimension: 235 x 191 x 21. Weight in Grams: 730.
- Publisher
- APress United States
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781430242840
- ISBN
- 9781430242840
Paperback
Condition: New
€ 83.28
€ 83.28
Hardcover. Covers theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. This book contains useful algorithms and results about the intrinsic complexity of combinatorial problems. It is of interest to theoretical computer scientists, operations researchers, and discrete mathematicians. Num Pages: 380 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 29. Weight in Grams: 740.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Format
- Hardback
- Publication date
- 2004
- Edition
- 1st ed. 2001. Corr. 2nd printing 2002
- Condition
- New
- SKU
- V9783540653677
- ISBN
- 9783540653677
Hardback
Condition: New
€ 121.13
€ 121.13
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
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
€ 67.29
€ 67.29
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
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 100.21
€ 100.21
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
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 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
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. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 124.30
€ 124.30
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