.png){kind=logo}
Mathematical theory of computation
Results 73 - 96 of 1825
Mathematical theory of computation
Paperback. Editor(s): Barcelo, Pablo; Pichler, Reinhard. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 205 pages, 20 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH; UYA; UYQ. 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
- 205
- Condition
- New
- SKU
- V9783642329241
- ISBN
- 9783642329241
Paperback
Condition: New
€ 61.41
€ 61.41
Transactions on Computational Collective Intelligence XIII
. Ed(S): Barkatou, Moulay; Cluzeau, Thomas; R...
Paperback. Editor(s): Barkatou, Moulay; Cluzeau, Thomas; Regensburger, Georg; Rosenkranz, Markus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 213 pages, biography. BIC Classification: PBD; PBKJ; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642544781
- ISBN
- 9783642544781
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Barneva, Reneta P.; Bhattacharya, Bhargab B.; Brimkov, Valentin E. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, 177 colour illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 376
- Condition
- New
- SKU
- V9783319261447
- ISBN
- 9783319261447
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Constitutes the refereed proceedings of the 15th International Workshop on Combinatorial Image Analysis, IWCIA 2012, held in Austin, TX, USA in November 2012. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Aggarwal, Jake K. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 313 pages, 176 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642347313
- ISBN
- 9783642347313
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Slapal, Josef. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 287 pages, 142 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 287
- Condition
- New
- SKU
- V9783319071473
- ISBN
- 9783319071473
Paperback
Condition: New
€ 66.64
€ 66.64
Paperback. Editor(s): Bartocci, Ezio; Lio, Pietro; Paoletti, Nicola. Series: Lecture Notes in Computer Science. Num Pages: 369 pages, 108 black & white illustrations, biography. BIC Classification: PSA; UGK; UMZ; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 369
- Condition
- New
- SKU
- V9783319451763
- ISBN
- 9783319451763
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Bartocci, Ezio; Majumdar, Rupak. Series: Lecture Notes in Computer Science. Num Pages: 451 pages, 133 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 451
- Condition
- New
- SKU
- V9783319238197
- ISBN
- 9783319238197
Paperback
Condition: New
€ 68.11
€ 68.11
Experimental Methods for the Analysis of Optimization Algorithms
. Ed(S): Bartz-Beielstein, Thomas; Chiarandin...
Paperback. With contributions from leaders in the field, this volume assesses the main issues in the experimental analysis of algorithms, examines their developmental cycle, and demonstrates how to configure and tune algorithms with advanced experimental techniques. Editor(s): Bartz-Beielstein, Thomas; Chiarandini, Marco; Paquete, Luis; Preuss, Mike. Num Pages: 479 pages, biography. BIC Classification: GPFC; KJT; PBKS; PBT; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 479
- Condition
- New
- SKU
- V9783642445903
- ISBN
- 9783642445903
Paperback
Condition: New
€ 129.56
€ 129.56
hardcover. Editor(s): Baskent, Can; Moss, Lawrence S.; Ramanujam, Ramaswamy. Series: Outstanding Contributions to Logic. Num Pages: 359 pages, 28 black & white illustrations, biography. BIC Classification: CFG; HPL; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 359
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9783319478425
- ISBN
- 9783319478425
Hardback
Condition: New
€ 140.61
€ 140.61
Paperback. This useful text offers new insights and solutions for the development of theorems, algorithms and advanced methods for real-time applications across a range of disciplines. Its accessible style is enhanced by examples, figures and experimental analysis. Editor(s): Bayro Corrochano, Eduardo; Scheuermann, Gerik. Num Pages: 548 pages. BIC Classification: UGC; UGK; UYAM; UYQ; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 548
- Condition
- New
- SKU
- V9781447157687
- ISBN
- 9781447157687
Paperback
Condition: New
€ 239.76
€ 239.76
Paperback. Editor(s): Beckert, Bernhard; Hahnle, Reiner; Schmitt, Peter H. Series: Lecture Notes in Computer Science. Num Pages: 702 pages, 110 black & white illustrations, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1110.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 702
- Condition
- New
- SKU
- V9783319498119
- ISBN
- 9783319498119
Paperback
Condition: New
€ 153.53
€ 153.53
Paperback. Editor(s): Beckmann, Arnold; Jonoska, Natasa. Series: Lecture Notes in Computer Science. Num Pages: 391 pages, 21 black & white illustrations, biography. BIC Classification: PSA; UMB; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 391
- Condition
- New
- SKU
- V9783319401881
- ISBN
- 9783319401881
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Editor(s): Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya. Series: Lecture Notes in Computer Science. Num Pages: 378 pages, 20 black & white illustrations, biography. BIC Classification: 1D; UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 378
- Condition
- New
- SKU
- V9783319200279
- ISBN
- 9783319200279
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Editor(s): Beierle, Christoph; Meghini, Carlo. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 451 pages, 95 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 451
- Condition
- New
- SKU
- V9783319049380
- ISBN
- 9783319049380
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Editor(s): Bekki, Daisuke; Murata, Tsuyoshi; Mineshima, Koji. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, 48 black & white illustrations, biography. BIC Classification: JPP; UNF; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783662481189
- ISBN
- 9783662481189
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Editor(s): Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Schulte, Wolfram; Finkbeiner, Bernd. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 15 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 329
- Condition
- New
- SKU
- V9783319235332
- ISBN
- 9783319235332
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Editor(s): Beklemishev, Lev D.; Musatov, Daniil V. Series: Lecture Notes in Computer Science. Num Pages: 463 pages, 66 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 463
- Condition
- New
- SKU
- V9783319202969
- ISBN
- 9783319202969
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. This title covers topics such as: various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, and partial order. Editor(s): Beklemishev, Lev D.; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642209192
- ISBN
- 9783642209192
Paperback
Condition: New
€ 67.19
€ 67.19
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Beldiceanu, Nicolas; Jussien, Narend...
Paperback. Editor(s): Beldiceanu, Nicolas; Jussien, Narendra; Pinson, Eric. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 420 pages, 69 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783642298271
- ISBN
- 9783642298271
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Addresses graduate students with a background in physics, mathematics or computer science. This book concentrates on many aspects of quantum information theory and technology. It presents the mathematical tools required for a comprehension of various aspects of quantum mechanics, classical information, and coding theory. Editor(s): Benatti, Fabio; Fannes, Mark; Floreanini, Roberto; Petritis, Dimitri. Series: Lecture Notes in Physics. Num Pages: 360 pages, 48 black & white illustrations, biography. BIC Classification: PHJ; PHQ; UYAM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 1120.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783642119132
- ISBN
- 9783642119132
Paperback
Condition: New
€ 71.35
€ 71.35
Mathematical Morphology and its Applications to Signal and Image Proce...
. Ed(S): Benediktsson, Jon Atli; Chanussot, J...
Paperback. Editor(s): Benediktsson, Jon Atli; Chanussot, Jocelyn; Najman, Laurent; Talbot, Hugues. Series: Lecture Notes in Computer Science. Num Pages: 768 pages, 324 black & white illustrations, biography. BIC Classification: PBD; UYAM; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 39. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 768
- Condition
- New
- SKU
- V9783319187198
- ISBN
- 9783319187198
Paperback
Condition: New
€ 70.97
€ 70.97
From Programs to Systems - The Systems Perspective in Computing
. Ed(S): Bensalem, Saddek; Lakhneck, Yassine;...
Paperback. Editor(s): Bensalem, Saddek; Lakhneck, Yassine; Legay, Axel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 76 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642548475
- ISBN
- 9783642548475
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997 Editor(s): Berger, Ulrich; Schwichtenberg, Helmut. Series: NATO ASI Subseries F. Num Pages: 448 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642636707
- ISBN
- 9783642636707
Paperback
Condition: New
€ 195.66
€ 195.66
Algebraic Logic and Universal Algebra in Computer Science: Conference,...
. Ed(S): Bergman, Clifford H.; Maddux, Roger ...
paperback. The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or. Editor(s): Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 17. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer United States
- Edition
- 1990th Edition
- Number of pages
- 303
- Condition
- New
- SKU
- V9780387972886
- ISBN
- 9780387972886
Paperback
Condition: New
€ 67.93
€ 67.93