Algorithms & data structures
Results 1849 - 1872 of 1984
Algorithms & data structures
Theory and Applications of Satisfiability Testing -SAT 2013
. Ed(S): Jarvisalo, Matti; Gelder, Allen Van
Paperback. Editor(s): Jarvisalo, Matti; Gelder, Allen van. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 453 pages, 84 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 453
- Condition
- New
- SKU
- V9783642390708
- ISBN
- 9783642390708
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Editor(s): Abraham, Erika; Johnsen, Einar Broch; Bonsangue, Marcello. Series: Lecture Notes in Computer Science. Num Pages: 427 pages, 112 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 427
- Condition
- New
- SKU
- V9783319307336
- ISBN
- 9783319307336
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Editor(s): Martin-Vide, Carlos; Mizuki, Takaaki; Vega-Rodriguez, Miguel Angel. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, 88 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 235
- Condition
- New
- SKU
- V9783319490007
- ISBN
- 9783319490007
Paperback
Condition: New
€ 63.57
€ 63.57
Paperback. Editor(s): Dediu, Adrian Horia; Magdalena, Luis; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 189 pages, 53 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 189
- Condition
- New
- SKU
- V9783319268408
- ISBN
- 9783319268408
Paperback
Condition: New
€ 52.60
€ 52.60
Hardback. Series: Mathematics for Industry. Num Pages: 235 pages, 32 black & white illustrations, 4 black & white tables, biography. BIC Classification: PBWH; TJF; TTBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 235
- Condition
- New
- SKU
- V9784431557371
- ISBN
- 9784431557371
Hardback
Condition: New
€ 122.96
€ 122.96
Paperback. Constitutes the refreed proceedings of the Seventh Theory of Cryptography Conference, TCC 2010, held in Zurich, Switzerland, February 9-11, 2010. This book includes papers that are organized in topical sections on parallel repetition, obfuscation, multiparty computation, CCA security, and threshold cryptography and secret sharing. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 607 pages, 55 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 943.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 607
- Condition
- New
- SKU
- V9783642117985
- ISBN
- 9783642117985
Paperback
Condition: New
€ 127.26
€ 127.26
Paperback. Editor(s): Dodis, Yevgeniy; Nielsen, Jesper Buus. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 680 pages, 89 black & white illustrations, biography. BIC Classification: UMB; UNC; URY; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 680
- Condition
- New
- SKU
- V9783662464939
- ISBN
- 9783662464939
Paperback
Condition: New
€ 67.32
€ 67.32
Paperback. Editor(s): Dodis, Yevgeniy; Nielsen, Jesper Buus. Series: Lecture Notes in Computer Science. Num Pages: 720 pages, 67 black & white illustrations, biography. BIC Classification: UMB; UNC; URY; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1086.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 720
- Condition
- New
- SKU
- V9783662464960
- ISBN
- 9783662464960
Paperback
Condition: New
€ 67.67
€ 67.67
Paperback. Constitutes the refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. This book focuses on theoretical aspects of quantum computation, quantum communication, and quantum cryptography. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 125 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 125
- Condition
- New
- SKU
- V9783540893035
- ISBN
- 9783540893035
Paperback
Condition: New
€ 64.86
€ 64.86
Theory of Quantum Computation, Communication, and Cryptography
. Ed(S): Bacon, Dave; Martin-Delgado, Miguel;...
Paperback. Editor(s): Bacon, Dave; Martin-Delgado, Miguel; Roetteler, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 219 pages, 37 black & white illustrations, biography. BIC Classification: GPJ; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642544286
- ISBN
- 9783642544286
Paperback
Condition: New
€ 64.05
€ 64.05
Hardcover. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 160 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 16. Weight in Grams: 380. Series: Monographs in Theoretical Computer Science : an Eatcs Series. 159 pages, 1, black & white illustrations. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMB. Dimension: 241 x 166 x 16. Weight: 380.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2003rd Edition
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540422006
- ISBN
- 9783540422006
Hardback
Condition: New
€ 125.53
€ 125.53
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 160 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 160
- Condition
- New
- SKU
- V9783642075810
- ISBN
- 9783642075810
Paperback
Condition: New
€ 124.12
€ 124.12
Paperback. This proceedings is a representation of decades of reasearch, teaching and application in the field. Image Processing, Fusion and Information Technology areas, Digital radio Communication, Wimax, Electrical engg, VLSI approach to processor design, embedded systems design are dealt in detail through models and illustrative techniques. Editor(s): Pise, S. J. Num Pages: 332 pages, 60 black & white tables, biography. BIC Classification: GPJ; UG; UMB; UNH; UYD; UYQL. Category: (G) General (US: Trade). Dimension: 279 x 210 x 18. Weight in Grams: 829.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 332
- Condition
- New
- SKU
- V9788132217077
- ISBN
- 9788132217077
Paperback
Condition: New
€ 177.50
€ 177.50
Paperback. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: PBC; PBU; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 320
- Condition
- New
- SKU
- V9789048164400
- ISBN
- 9789048164400
Paperback
Condition: New
€ 124.16
€ 124.16
Hardback. This book covers Test Theory, Rough Sets and Logical Analysis of Data. The authors intend for this comparative appraisal to lead to new theoretical results and real-life applications based on the combination of the three approaches. Series: Intelligent Systems Reference Library. Num Pages: 220 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 490.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642286667
- ISBN
- 9783642286667
Hardback
Condition: New
€ 123.96
€ 123.96
Hardback. This book provides a comprehensive study of complexity results and optimal and suboptimal algorithms concerning time-dependent scheduling in single-, parallel- and dedicated-machine environments. This is the first monograph on time-dependent scheduling. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 396 pages, 26 black & white illustrations, 48 black & white tables, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 760.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540694458
- ISBN
- 9783540694458
Hardback
Condition: New
€ 157.72
€ 157.72
Paperback. Num Pages: 169 pages, 61 black & white illustrations, 14 colour illustrations, 11 black & white tables, 2 colou. BIC Classification: TTBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 169
- Condition
- New
- SKU
- V9783319380773
- ISBN
- 9783319380773
Paperback
Condition: New
€ 121.32
€ 121.32
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Editor(s): Kowalewski, S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 472 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642007675
- ISBN
- 9783642007675
Paperback
Condition: New
€ 66.60
€ 66.60
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Esparza, Javier; Majumdar, Rupak
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Esparza, Javier; Majumdar, Rupak. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 484 pages, 102 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642120015
- ISBN
- 9783642120015
Paperback
Condition: New
€ 66.93
€ 66.93
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Flanagan, Cormac; Konig, Barbara
Paperback. Constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. Editor(s): Flanagan, Cormac; Konig, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783642287558
- ISBN
- 9783642287558
Paperback
Condition: New
€ 67.87
€ 67.87
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Piterman, Nir; Smolka, Scott
Paperback. Editor(s): Piterman, Nir; Smolka, Scott. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 137 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642367410
- ISBN
- 9783642367410
Paperback
Condition: New
€ 67.75
€ 67.75
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abraham, Erika; Havelund, Klaus
Paperback. Editor(s): Abraham, Erika; Havelund, Klaus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 142 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. 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
- 670
- Condition
- New
- SKU
- V9783642548611
- ISBN
- 9783642548611
Paperback
Condition: New
€ 68.56
€ 68.56
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Baier, Christel; Tinelli, Cesare
Paperback. Editor(s): Baier, Christel; Tinelli, Cesare. Series: Lecture Notes in Computer Science. Num Pages: 743 pages, 210 black & white illustrations, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 743
- Condition
- New
- SKU
- V9783662466803
- ISBN
- 9783662466803
Paperback
Condition: New
€ 67.87
€ 67.87
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Chechik, Marsha; Raskin, Jean-Franco...
Paperback. Editor(s): Chechik, Marsha; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science. Num Pages: 980 pages, 220 black & white illustrations, biography. BIC Classification: UMB; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 1478.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 980
- Condition
- New
- SKU
- V9783662496732
- ISBN
- 9783662496732
Paperback
Condition: New
€ 69.91
€ 69.91