Mathematical theory of computation
Results 433 - 456 of 1831
Mathematical theory of computation
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 651 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 651
- Condition
- New
- SKU
- V9783642040801
- ISBN
- 9783642040801
Paperback
Condition: New
€ 125.74
€ 125.74
Paperback. Editor(s): Koutny, Maciej; Ulidowski, Irek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 596 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783642329395
- ISBN
- 9783642329395
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Editor(s): D'Argenio, Pedro R.; Melgratti, Hernan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 576 pages, 83 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642401831
- ISBN
- 9783642401831
Paperback
Condition: New
€ 66.82
€ 66.82
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
€ 66.77
€ 66.77
Paperback. Num Pages: 422 pages, 126 black & white illustrations, 4 black & white tables, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 422
- Condition
- New
- SKU
- V9781849969512
- ISBN
- 9781849969512
Paperback
Condition: New
€ 187.56
€ 187.56
Hardback. Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising. Num Pages: 422 pages, 126 black & white illustrations, 4 black & white tables, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 847.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9781852338954
- ISBN
- 9781852338954
Hardback
Condition: New
€ 188.48
€ 188.48
Condition: The Geometry of Numerical Algorithms (Grundlehren der mathe...
Bürgisser, Peter, Cucker, Felipe
Hardcover. Condition Series: Grundlehren der Mathematischen Wissenschaften. Num Pages: 585 pages, biography. BIC Classification: PBKS; PBT; PBU; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 165 x 36. Weight in Grams: 1002.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 583
- Condition
- New
- SKU
- V9783642388958
- ISBN
- 9783642388958
Hardback
Condition: New
€ 179.03
€ 179.03
Paperback. Editor(s): Duchier, Denys; Parmentier, Yannick. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 191 pages, 30 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642415777
- ISBN
- 9783642415777
Paperback
Condition: New
€ 58.90
€ 58.90
Hardback. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 123 pages, 94 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMA; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 2nd ed. 2017
- Condition
- New
- SKU
- V9783319547916
- ISBN
- 9783319547916
Hardback
Condition: New
€ 111.37
€ 111.37
Hardcover. Constraints Meet Concurrency Series: Atlantis Studies in Computing. Num Pages: 163 pages, 13 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 14. Weight in Grams: 396.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390669
- ISBN
- 9789462390669
Hardback
Condition: New
€ 64.06
€ 64.06
Paperback. Series: Lecture Notes in Mathematics. Num Pages: 256 pages, 5 black & white illustrations, biography. BIC Classification: PBF; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 256
- Condition
- New
- SKU
- V9783319194936
- ISBN
- 9783319194936
Paperback
Condition: New
€ 69.27
€ 69.27
Paperback. Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988 Editor(s): Broy, Manfred. Series: NATO ASI Subseries F. Num Pages: 478 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 147 x 27. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 478
- Condition
- New
- SKU
- V9783642748868
- ISBN
- 9783642748868
Paperback
Condition: New
€ 124.87
€ 124.87
Paperback. Num Pages: 644 pages, 284 black & white illustrations, biography. BIC Classification: PBKS; TBC; UGK; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Number of pages
- 644
- Condition
- New
- SKU
- V9781441938633
- ISBN
- 9781441938633
Paperback
Condition: New
€ 104.79
€ 104.79
Paperback. Editor(s): Mecatti, Fulvia; Conti, Pier Luigi; Ranalli, Maria Giovanna. Series: Contributions to Statistics. Num Pages: 241 pages, 8 black & white illustrations, 9 colour illustrations, biography. BIC Classification: JHBC; PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319358574
- ISBN
- 9783319358574
Paperback
Condition: New
€ 63.63
€ 63.63
Paperback. Editor(s): Davis, Brian; Kaljurand, Kaarel; Kuhn, Tobias. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 212 pages, 40 black & white illustrations, biography. BIC Classification: UGD; UNH; UYA; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 212
- Condition
- New
- SKU
- V9783319102221
- ISBN
- 9783319102221
Paperback
Condition: New
€ 63.36
€ 63.36
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. Editor(s): Rosner, Michael; Fuchs, Norbert E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 204 pages, 32 black & white illustrations, biography. BIC Classification: UGD; UNH; UYA; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 204
- Condition
- New
- SKU
- V9783642311741
- ISBN
- 9783642311741
Paperback
Condition: New
€ 63.35
€ 63.35
Paperback. Editor(s): Kuhn, Tobias; Fuchs, Norbert E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 200 pages, 34 black & white illustrations, biography. BIC Classification: UGD; UNH; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 200
- Condition
- New
- SKU
- V9783642326110
- ISBN
- 9783642326110
Paperback
Condition: New
€ 58.90
€ 58.90
Paperback. Series: Network Theory and Applications. Num Pages: 233 pages, biography. BIC Classification: GPFC; THR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 233
- Condition
- New
- SKU
- V9781475738216
- ISBN
- 9781475738216
Paperback
Condition: New
€ 122.37
€ 122.37
hardcover. A collection of his most wide-ranging and non-technical lectures and interviews Num Pages: 158 pages, biography. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 164 x 14. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. 2002. Corr. 2nd printing 2002
- Number of pages
- 158
- Condition
- New
- SKU
- V9781852335496
- ISBN
- 9781852335496
Hardback
Condition: New
€ 51.99€ 44.74
€ 51.99
€ 44.74
Convexification and Global Optimization in Continuous and Mixed-Intege...
Tawarmalani, Mohit; Sahinidis, Nikolaos V.
Paperback. Series: Nonconvex Optimization and Its Applications. Num Pages: 503 pages, 89 black & white illustrations, biography. BIC Classification: KJT; PBMW; PBU; PDN; PN; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 503
- Condition
- New
- SKU
- V9781441952356
- ISBN
- 9781441952356
Paperback
Condition: New
€ 241.77
€ 241.77
paperback. Editor(s): Murphey, Robert; Pardalos, Panos M. Series: Applied Optimization. Num Pages: 320 pages, biography. BIC Classification: PBKQ; PBW; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 320
- Condition
- New
- SKU
- V9781441952172
- ISBN
- 9781441952172
Paperback
Condition: New
€ 122.67
€ 122.67
Paperback. A festschrift that is published in honor of Vladimir Lifschitz on the occasion of his 65th birthday. It presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. Editor(s): Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 605 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 841.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 605
- Condition
- New
- SKU
- V9783642307423
- ISBN
- 9783642307423
Paperback
Condition: New
€ 67.05
€ 67.05
Paperback. Editor(s): Meyer, Roland; Platzer, Andre; Wehrheim, Heike. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 69 colour illustrations, biography. BIC Classification: PBC; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319235059
- ISBN
- 9783319235059
Paperback
Condition: New
€ 64.06
€ 64.06
Hardcover.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1993. 4th printing 2000
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540556404
- ISBN
- 9783540556404
Hardback
Condition: New
€ 112.30
€ 112.30