×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!