×


 x 

Shopping cart

Mathematical theory of computation

Results 121 - 144 of 190

Mathematical theory of computation

Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
267
Condition
New
SKU
V9783642232824
ISBN
9783642232824
Paperback
Condition: New

€ 83.71

Paperback. Constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. This book features the papers that are organized in topical sections on algorithms, environments, languages, models and systems, and applications. Editor(s): Lee, Jimmy. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 836 pages, 170 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1134.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
836
Condition
New
SKU
V9783642237850
ISBN
9783642237850
Paperback
Condition: New

€ 176.07

paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Edition
2011th Edition
Number of pages
291
Condition
New
SKU
V9783642244513
ISBN
9783642244513
Paperback
Condition: New

€ 81.33

Paperback. Constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. Editor(s): Wolff, Burkhart; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
226
Condition
New
SKU
V9783642245794
ISBN
9783642245794
Paperback
Condition: New

€ 64.73

paperback. Editor(s): Russo, Claudio; Zhou, Neng-Fa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 304 pages, 75 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 458.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Number of pages
304
Condition
New
Edition
2012th Edition
SKU
V9783642276934
ISBN
9783642276934
Paperback
Condition: New

€ 65.33

Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
326
Condition
New
SKU
V9783642277047
ISBN
9783642277047
Paperback
Condition: New

€ 65.73

Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
356
Condition
New
SKU
V9783642278716
ISBN
9783642278716
Paperback
Condition: New

€ 67.80

Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
457
Condition
New
SKU
V9783642279393
ISBN
9783642279393
Paperback
Condition: New

€ 66.88

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrucken, Germany, in September 2011. This title covers various aspects of parameterized and exact computation and complexity. Editor(s): Marx, Daniel; Rossmanith, Peter. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
273
Condition
New
SKU
V9783642280498
ISBN
9783642280498
Paperback
Condition: New

€ 81.24

Paperback. Editor(s): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
151
Condition
New
SKU
V9783642281655
ISBN
9783642281655
Paperback
Condition: New

€ 64.06

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

€ 65.70

Paperback. Constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 64 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
556
Condition
New
SKU
V9783642283314
ISBN
9783642283314
Paperback
Condition: New

€ 67.73

Paperback. Editor(s): Hao, Jin-Kao; Middendorf, Martin. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, 62 black & white illustrations, biography. BIC Classification: PBU; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
264
Condition
New
SKU
V9783642291234
ISBN
9783642291234
Paperback
Condition: New

€ 83.42

Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
372
Condition
New
SKU
V9783642305603
ISBN
9783642305603
Paperback
Condition: New

€ 67.95

Paperback. Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. Editor(s): Brorsson, Mats; Pinho, Luis Miguel. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, 59 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
220
Condition
New
SKU
V9783642305979
ISBN
9783642305979
Paperback
Condition: New

€ 66.61

Hardback. Belief-based Stability in Coalition Formation with Uncertainty Num Pages: 183 pages, 27 black & white illustrations, biography. BIC Classification: PBUD; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
Format
Hardback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
183
Condition
New
SKU
V9783642382147
ISBN
9783642382147
Hardback
Condition: New

€ 125.83

Paperback. Series: SpringerBriefs in Mathematical Physics. Num Pages: 148 pages, 18 black & white illustrations, 113 colour illustrations, 2 black & white tables, 11 colo. BIC Classification: PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 284.
Format
Paperback
Publication date
2015
Publisher
Springer Verlag, Singapore Singapore
Number of pages
148
Condition
New
SKU
V9789812879950
ISBN
9789812879950
Paperback
Condition: New

€ 93.48

Paperback. A clear and self-contained introduction to discrete mathematics for undergraduates and early graduates. Num Pages: 464 pages, black & white illustrations, frontispiece. BIC Classification: PBF; PBV; UYA. Category: (UU) Undergraduate. Dimension: 232 x 158 x 25. Weight in Grams: 690.
Format
Paperback
Publication date
2008
Publisher
Oxford University Press United Kingdom
Edition
2nd Edition
Number of pages
464
Condition
New
SKU
V9780198570424
ISBN
9780198570424
Paperback
Condition: New

€ 115.53

Paperback. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
Format
Paperback
Publication date
2012
Publisher
Oxford University Press United Kingdom
Number of pages
456
Condition
New
SKU
V9780199652600
ISBN
9780199652600
Paperback
Condition: New

€ 90.36

Paperback. Series: UNITEXT. Num Pages: 260 pages, biography. BIC Classification: PBT; PHU; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Edition
1st ed. 2016
Number of pages
260
Condition
New
SKU
V9783319072531
ISBN
9783319072531
Paperback
Condition: New

€ 77.97

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

Paperback. With its companion website to shed more light on the complex material, Multimedia Maths achieves the perfect balance between deductive mathematics and broad accessibility. Num Pages: 230 pages, 20 b&w. BIC Classification: PBW; UYAM. Category: (G) General (US: Trade). Dimension: 240 x 170 x 14. Weight in Grams: 485.
Publisher
Lannoo Publishers
Format
Paperback
Publication date
2017
Condition
New
SKU
V9789401438216
ISBN
9789401438216
Paperback
Condition: New

€ 46.99
€ 37.81

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

Paperback. .
Publisher
Springer International Publishing AG
Format
Paperback
Publication date
2016
Edition
1st ed. 2016
Condition
New
SKU
V9783319478456
ISBN
9783319478456
Paperback
Condition: New

€ 70.98
€ 26.65

Subscribe to our newsletter

News on special offers, signed editions & more!