.png){kind=logo}
Mathematical theory of computation
Results 265 - 288 of 1825
Mathematical theory of computation
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
Paperback. Editor(s): Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 255 pages, 4 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783662441237
- ISBN
- 9783662441237
Paperback
Condition: New
€ 66.34
€ 66.34
Pristine Perspectives on Logic, Language and Computation
. Ed(S): Colinet, Margot; Katrenko, Sophia; R...
Paperback. Editor(s): Colinet, Margot; Katrenko, Sophia; Rendsvig, Rasmus K. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 277 pages, 55 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783662441152
- ISBN
- 9783662441152
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Editor(s): Lirkov, Ivan; Margenov, Svetozar; Wasniewski, Jerzy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 669 pages, 173 black & white illustrations, biography. BIC Classification: UGK; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 669
- Condition
- New
- SKU
- V9783662438794
- ISBN
- 9783662438794
Paperback
Condition: New
€ 70.66
€ 70.66
Paperback. Editor(s): Asher, Nicholas; Soloviev, Sergei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 29 black & white illustrations, biography. BIC Classification: CFX; UM; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783662437414
- ISBN
- 9783662437414
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Editor(s): Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 93 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783662436516
- ISBN
- 9783662436516
Paperback
Condition: New
€ 67.21
€ 67.21
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Abraham, Erika; Palamidessi, Catusci...
Paperback. Editor(s): Abraham, Erika; Palamidessi, Catuscia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 313 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783662436127
- ISBN
- 9783662436127
Paperback
Condition: New
€ 66.88
€ 66.88
Introduction to Quantum Information Science (Graduate Texts in Physics...
Hayashi, Masahito, Ishizaka, Satoshi, Kawachi...
Hardcover. Introduction to Quantum Information Science Series: Graduate Texts in Physics. Num Pages: 332 pages, 30 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBW; PHQ; PHU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 24. Weight in Grams: 656.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783662435014
- ISBN
- 9783662435014
Hardback
Condition: New
€ 129.17
€ 129.17
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 101 pages, 31 black & white illustrations, 2 black & white tables, biography. BIC Classification: UMZ; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 174.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 101
- Condition
- New
- SKU
- V9783662434284
- ISBN
- 9783662434284
Paperback
Condition: New
€ 75.25
€ 75.25