Algorithms & data structures
Results 161 - 180 of 298
Algorithms & data structures
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 66.69
€ 66.69
Mechanisms for Autonomous Management of Networks and Services: 4th Int...
. Ed(S): Stiller, Burkhard; Turck, Filip de
paperback. Constitutes the refereed proceedings of the 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, held in Zurich, Switzerland, in June 2010. Editor(s): Stiller, Burkhard; Turck, Filip de. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 192
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642139857
- ISBN
- 9783642139857
Paperback
Condition: New
€ 64.81
€ 64.81
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. 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
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. This volume contains revised papers from the Rough Set and Knowledge Technology Conference (RSKT 2008), together with five papers introducing advances in rough set theory and its applications. It is part of the LNCS Transactions on Rough Sets series. Editor(s): Slowinski, Roman; Lingras, Pawan; Tsumoto, Shusaku; Miao, Duoqian. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 5 colour illustrations, biography. BIC Classification: UG; UMB; UMX; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642144660
- ISBN
- 9783642144660
Paperback
Condition: New
€ 66.10
€ 66.10
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
€ 64.43
€ 64.43
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): San Martin, Cesar; Kim, Sang-Woon
Paperback. Editor(s): San Martin, Cesar; Kim, Sang-Woon. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 721 pages, 127 black & white illustrations, 146 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 721
- Condition
- New
- SKU
- V9783642250842
- ISBN
- 9783642250842
Paperback
Condition: New
€ 69.58
€ 69.58
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. Editor(s): Rocha, Ricardo; Launchbury, John. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 265 pages, 52 black & white illustrations, 12 colour illustrations, biography. BIC Classification: UMB; UMG; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642183775
- ISBN
- 9783642183775
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Constitutes the refereed proceedings of the International Conference, VISIGRAPP 2010, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), and on Computer Graphics Theory and Applications (GRAPP), held in Angers, France, in May 2010. Editor(s): Richard, Dr Paul; Braz, Jose. Series: Communications in Computer and Information Science. Num Pages: 319 pages, 85 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 319
- Condition
- New
- SKU
- V9783642253812
- ISBN
- 9783642253812
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology. Editor(s): Real, Jorge; Vardanega, Tullio. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 65 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642135491
- ISBN
- 9783642135491
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. Constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010. Editor(s): Ranka, Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore; Dua, Sumeet; Mishra, Prabhat; Moona, Rajat; Poon, Sheung-Hung; Wang, Cho-Li. Series: Communications in Computer and Information Science. Num Pages: 275 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642148248
- ISBN
- 9783642148248
Paperback
Condition: New
€ 65.68
€ 65.68
Paperback. Constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. Editor(s): Raman, Venkatesh; Saurabh, Saket. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 239 pages, 18 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642174926
- ISBN
- 9783642174926
Paperback
Condition: New
€ 65.18
€ 65.18
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Mobile Networks and Managements (MONAMI 2011) held in Aveiro, Portugal, in September 2011. Editor(s): Pentikousis, Kostas; Aguiar, Rui L.; Sargento, Susana; Aguero, Ramon. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 418 pages, 155 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 418
- Condition
- New
- SKU
- V9783642304217
- ISBN
- 9783642304217
Paperback
Condition: New
€ 66.97
€ 66.97
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
€ 66.40
€ 66.40
Paperback. Constitutes the proceedings of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2010, and the Conference on Multimedia, Computer Graphics and Broadcasting, MulGraB 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Pal, Sankar K.; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 342 pages, 169 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783642176401
- ISBN
- 9783642176401
Paperback
Condition: New
€ 66.08
€ 66.08
Paperback. Constitutes the proceedings of the Second International Conference on Recent Trends in Wireless and Mobile Networks, held in Ankara, Turkey, in June 2010. Editor(s): Ozcan, Abdulkadir; Chaki, Nabendu; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 446 pages, 183 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642141706
- ISBN
- 9783642141706
Paperback
Condition: New
€ 126.77
€ 126.77
Paperback. Editor(s): Obaidat, Mohammad S.; Filipe, Joaquim. Series: Communications in Computer and Information Science. Num Pages: 359 pages, 85 black & white illustrations, 37 colour illustrations, biography. BIC Classification: KJE; UKN; UMB; UMX; URY; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642200762
- ISBN
- 9783642200762
Paperback
Condition: New
€ 66.40
€ 66.40
Software Process Improvement and Capability Determination
. Ed(S): O'Connor, Rory; Rout, Terry; McCaffe...
Paperback. Editor(s): O'Connor, Rory; Rout, Terry; McCaffery, Fergal; Dorling, Alec. Series: Communications in Computer and Information Science. Num Pages: 247 pages, 21 black & white illustrations, 46 colour illustrations, biography. BIC Classification: PSA; UBJ; UKN; UMB; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642212321
- ISBN
- 9783642212321
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. This book features the papers that are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, and security proofs. Editor(s): Nitaj, Abderrahmane; Pointcheval, David. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 44 black & white illustrations, 8 colour illustrations, biography. BIC Classification: UKN; UL; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 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
- 387
- Condition
- New
- SKU
- V9783642219689
- ISBN
- 9783642219689
Paperback
Condition: New
€ 65.97
€ 65.97
New Modeling Concepts for Today's Software Processes: International Co...
. Ed(S): Munch, Jurgen; Yang, Ye; Schafer, Wi...
paperback. Constitutes the proceedings of the International Conference on New Modeling Concepts for Today's Software Processes, held in Paderborn, Germany in July 2010. Editor(s): Munch, Jurgen; Yang, Ye; Schafer, Wilhelm. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 382 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 382
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642143465
- ISBN
- 9783642143465
Paperback
Condition: New
€ 66.54
€ 66.54