.png){kind=logo}
Mathematical theory of computation
Results 261 - 280 of 1825
Mathematical theory of computation
Paperback. Editor(s): De Paiva, Valeria; Queiroz, Ruy de; Moss, Lawrence S.; Leivant, Daniel; Oliveira, Anjolina G. de. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 14 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783662477083
- ISBN
- 9783662477083
Paperback
Condition: New
€ 55.88
€ 55.88
Logic, Language, and Computation: 10th International Tbilisi Symposium...
. Ed(S): Aher, Martin; Hole, Daniel; Jerabek,...
paperback. Editor(s): Aher, Martin; Hole, Daniel; Jerabek, Emil; Kupke, Clemens. Series: Lecture Notes in Computer Science. Num Pages: 347 pages, 47 black & white illustrations, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 2015th Edition
- Number of pages
- 347
- Condition
- New
- SKU
- V9783662469057
- ISBN
- 9783662469057
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. With a foreword by Serge Haroche Editor(s): Blanchard, Philippe; Frohlich, Jurg. Series: Lecture Notes in Physics. Num Pages: 348 pages, 37 black & white illustrations, biography. BIC Classification: PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 22. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783662464212
- ISBN
- 9783662464212
Paperback
Condition: New
€ 67.36
€ 67.36
Hardcover. Num Pages: 323 pages, 102 black & white illustrations, biography. BIC Classification: TJFM1; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 247 x 167 x 24. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783662463529
- ISBN
- 9783662463529
Hardback
Condition: New
€ 129.25
€ 129.25
Hardcover. Num Pages: 170 pages, 1 colour illustrations, biography. BIC Classification: PDA; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 164 x 244 x 15. Weight in Grams: 424.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783662460979
- ISBN
- 9783662460979
Hardback
Condition: New
€ 66.85
€ 66.85
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Editor(s): Gao, Jie; Efrat, Alon; Fekete, Sandor P.; Zhang, YanYong. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 180 pages, 43 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783662460177
- ISBN
- 9783662460177
Paperback
Condition: New
€ 54.65
€ 54.65
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI
. Ed(S): Hameurlain, Abdelkader; Kung, Josef;...
Paperback. Editor(s): Hameurlain, Abdelkader; Kung, Josef; Wagner, Roland; Dang, Tran Khanh; Thoai, Nam. Series: Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems. Num Pages: 112 pages, 35 black & white illustrations, biography. BIC Classification: UR; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 112
- Condition
- New
- SKU
- V9783662459461
- ISBN
- 9783662459461
Paperback
Condition: New
€ 76.39
€ 76.39
Paperback. Editor(s): Banerjee, Mohua. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 246 pages, 24 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 384.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783662458235
- ISBN
- 9783662458235
Paperback
Condition: New
€ 66.95
€ 66.95
paperback. Transactions on Computational Science XXIV Editor(s): Gavrilova, Marina L.; Tan, C. J. Kenneth; Thapliyal, Himanshu; Ranganathan, Nagarajan. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 160 pages, 72 black & white illustrations, biography. BIC Classification: UMB; UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2014th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9783662457108
- ISBN
- 9783662457108
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Editor(s): Remke, Anne; Stoelinga, Marielle. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 69 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783662454886
- ISBN
- 9783662454886
Paperback
Condition: New
€ 66.64
€ 66.64
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 565 pages, 139 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 565
- Condition
- New
- SKU
- V9783662452332
- ISBN
- 9783662452332
Paperback
Condition: New
€ 69.14
€ 69.14
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 662 pages, 187 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783662452301
- ISBN
- 9783662452301
Paperback
Condition: New
€ 70.00
€ 70.00
Hardcover. Semantics of Probabilistic Processes Num Pages: 249 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 248 x 163 x 19. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783662451977
- ISBN
- 9783662451977
Hardback
Condition: New
€ 67.53
€ 67.53
Paperback. Editor(s): Zaverucha, Gerson; Santos Costa, Vitor; Paes, Aline Marins. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 154 pages, 31 black & white illustrations, biography. BIC Classification: UM; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 154
- Condition
- New
- SKU
- V9783662449226
- ISBN
- 9783662449226
Paperback
Condition: New
€ 54.39
€ 54.39
Paperback. Editor(s): Diaz, Josep; Sangiorgi, Davide. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 57 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783662446010
- ISBN
- 9783662446010
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Baldan, Paolo; University of Roma "La Sapienza". Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 616
- Condition
- New
- SKU
- V9783662445839
- ISBN
- 9783662445839
Paperback
Condition: New
€ 69.58
€ 69.58
Hardback. Uncertainty Theory Series: Springer Uncertainty Research. Num Pages: 504 pages, 105 black & white illustrations, biography. BIC Classification: KJT; PBT; UYAM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 919.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4 Rev ed
- Number of pages
- 504
- Condition
- New
- SKU
- V9783662443538
- ISBN
- 9783662443538
Hardback
Condition: New
€ 130.58
€ 130.58
Paperback. Editor(s): Jones, Richard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 724 pages, 195 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1092.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783662442012
- ISBN
- 9783662442012
Paperback
Condition: New
€ 70.54
€ 70.54
Paperback. Editor(s): Kohlenbach, Ulrich; Barcelo, Pablo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 17 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783662441442
- ISBN
- 9783662441442
Paperback
Condition: New
€ 66.37
€ 66.37