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
€ 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
€ 176.07
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
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
€ 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
€ 64.73
Practical Aspects of Declarative Languages: 14th International Symposi...
. Ed(S): Russo, Claudio; Zhou, Neng-Fa
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
€ 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
€ 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
€ 67.80
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 77.97
Introduction to Concurrency Theory: Transition Systems and CCS (Texts ...
Gorrieri, Roberto, Versari, Cristian
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
€ 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
€ 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
€ 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
€ 70.98
€ 26.65