Algorithms & data structures
Results 409 - 431 of 431
Algorithms & data structures
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011. Editor(s): McCune, Jonathan; Balacheff, Boris; Perrig, Adrian; Sadeghi, Ahmad-Reza; Sasse, Angela; Beres, Yolanta. Series: Lecture Notes in Computer Science. Num Pages: 314 pages, 28 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783642215988
- ISBN
- 9783642215988
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. .
- Publisher
- Cambridge University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781316624791
- ISBN
- 9781316624791
Paperback
Condition: New
€ 47.60
€ 47.60
Paperback. Constitutes the refereed proceedings of the International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Grosky, William I.; Kim, Tai-hoon; Mohammed, Sabah; Saha, Sanjoy Kumar. Series: Communications in Computer and Information Science. Num Pages: 159 pages, 74 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783642134661
- ISBN
- 9783642134661
Paperback
Condition: New
€ 67.80
€ 67.80
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications: ...
. Ed(S): May, Michael; Saitta, Lorenza
paperback. Culled from a range of workshops, summer schools and dissemination events, this survey of the state of the art in a rapidly emerging field provides both a conceptual foundation and detailed coverage of selected approaches to ubiquitous knowledge discovery. Editor(s): May, Michael; Saitta, Lorenza. Series: Lecture Notes in Computer Science. Num Pages: 255 pages, 51 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 255
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642163913
- ISBN
- 9783642163913
Paperback
Condition: New
€ 66.85
€ 66.85
paperback. Constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. This book includes papers that deal with various aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 269 pages, biography. BIC Classification: PSA; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Number of pages
- 269
- Condition
- New
- Edition
- 2008th Edition
- SKU
- V9783540851936
- ISBN
- 9783540851936
Paperback
Condition: New
€ 115.79
€ 115.79
Paperback. This witty book helps you understand how data compression algorithms work-in theory and practice-so you can choose the best solution among all the available compression tools. Num Pages: 242 pages, black & white illustrations. BIC Classification: UMB; UNA; UNH; UYF. Category: (P) Professional & Vocational. Dimension: 179 x 234 x 19. Weight in Grams: 426.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491961537
- ISBN
- 9781491961537
Paperback
Condition: New
€ 38.99€ 38.01
€ 38.99
€ 38.01
Hardback. Num Pages: 700 pages, 100 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319257013
- ISBN
- 9783319257013
Hardback
Condition: New
€ 70.19
€ 70.19
Hardcover. After an introduction to cryptography and data security, the authors of this book explain the main techniques in modern cryptography. The book is uniquely designed for students of engineering and applied computer science, and engineering practitioners. Num Pages: 372 pages, 39 black & white tables, biography. BIC Classification: TJK; UMB; UR. Category: (P) Professional & Vocational. Dimension: 247 x 168 x 33. Weight in Grams: 738.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Format
- Hardback
- Publication date
- 2011
- Edition
- 1st ed. 2010
- Condition
- New
- SKU
- V9783642041006
- ISBN
- 9783642041006
Hardback
Condition: New
€ 49.11
€ 49.11
Paperback. Possessing what readers need to grasp Unicode, this book takes on a guide through the character world. It is suitable for both beginning and seasoned programmers. Num Pages: 800 pages, Illustrations. BIC Classification: UMB. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 232 x 180 x 33. Weight in Grams: 1150.
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 800
- Format
- Paperback
- Publication date
- 2006
- Condition
- New
- SKU
- V9780596101213
- ISBN
- 9780596101213
Paperback
Condition: New
€ 60.29
€ 60.29
Paperback. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results. Editor(s): Butterfield, Andrew. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 279 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642145209
- ISBN
- 9783642145209
Paperback
Condition: New
€ 67.05
€ 67.05
Paperback. A book that constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, that was held in Shanghai, China. Editor(s): Qin, Shengchao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 310 pages, 17 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642166891
- ISBN
- 9783642166891
Paperback
Condition: New
€ 67.05
€ 67.05
Paperback. This book features a collection of papers from Paul Hertz to Dov Gabbay -- through Tarski, Godel, Kripke -- that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence. Editor(s): Beziau, Jean-Yves (University of Neuchatel). Series: Studies in Universal Logic. Num Pages: 428 pages, 155 black & white illustrations, biography. BIC Classification: HPL; PBC; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 169 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2012th Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9783034601443
- ISBN
- 9783034601443
Paperback
Condition: New
€ 66.34
€ 66.34
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783642182747
- ISBN
- 9783642182747
Paperback
Condition: New
€ 68.53
€ 68.53
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback / so. Series: Gabler Edition Wissenschaft. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV5; UMB. Category: (G) General (US: Trade). Dimension: 203 x 133 x 19. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824472840
- ISBN
- 9783824472840
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Editor(s): Cremers, Daniel; Magnor, Marcus A.; Oswald, Martin R.; Zelnik-Manor, Lihi. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 20 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642248696
- ISBN
- 9783642248696
Paperback
Condition: New
€ 83.12
€ 83.12
Paperback. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 939 pages, biography. BIC Classification: UMB; UML; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1413.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 939
- Condition
- New
- SKU
- V9783642050350
- ISBN
- 9783642050350
Paperback
Condition: New
€ 191.52
€ 191.52
Paperback. Num Pages: 272 pages. BIC Classification: JPF; JPHV; KCHS; PDR; PDZM; UMB; UYQM. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 198 x 129. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Penguin Books Ltd
- Condition
- New
- SKU
- 9780141985411
- ISBN
- 9780141985411
Paperback
Condition: New
€ 14.99€ 11.14
€ 14.99
€ 11.14
Paperback. Num Pages: 95 pages, 1 black & white illustrations, 48 colour illustrations, biography. BIC Classification: UL; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- APress United States
- Number of pages
- 95
- Condition
- New
- SKU
- V9781484226063
- ISBN
- 9781484226063
Paperback
Condition: New
€ 47.17
€ 47.17
Paperback. Constitutes the refereed proceedings of the 6th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2011, held in Chengdu, China, in August 2011. Editor(s): Cheng, Yu; Eun, Do Young; Qin, Zhiguang; Song, Min; Xing, Kai. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 434 pages, 55 black & white illustrations, 102 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642234897
- ISBN
- 9783642234897
Paperback
Condition: New
€ 68.03
€ 68.03
Wireless Algorithms, Systems, and Applications: 5th International Conf...
. Ed(S): Pandurangan, Gopal; Kumar, V. S. Ani...
paperback. Constitutes the refereed proceedings of the 5th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2010, held in Beijing, China, in August 2010. Editor(s): Pandurangan, Gopal; Kumar, V. S. Anil; Gu, Ming Dong; Liu, Yunhao; Li, Yingshu. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 256 pages, 156 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 256
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642146534
- ISBN
- 9783642146534
Paperback
Condition: New
€ 67.95
€ 67.95