Algorithms & data structures
Results 141 - 160 of 298
Algorithms & data structures
Information and Communication Technologies: International Conference, ...
. Ed(S): Das, Vinu V.; Vijaykumar, R.
paperback. A book that was constitutes the proceedings of the International Conference on Information and Communication Technologies that was held in Kochi, Kerala, India in September 2010. Editor(s): Das, Vinu V.; Vijaykumar, R. Series: Communications in Computer and Information Science. Num Pages: 704 pages, 359 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 38. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 704
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642157653
- ISBN
- 9783642157653
Paperback
Condition: New
€ 129.23
€ 129.23
Paperback. Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, 131 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642157684
- ISBN
- 9783642157684
Paperback
Condition: New
€ 67.41
€ 67.41
Paperback. Constitutes the refereed proceedings of the 7th European Performance Engineering Workshop, EPEW 2010, held in Bertinoro, Italy, in September 2010. This book features the papers that are organized in topical sections on network and software performance; timed models and model checking; model solutions and bounds; and, compositional analysis. Editor(s): Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642157837
- ISBN
- 9783642157837
Paperback
Condition: New
€ 65.24
€ 65.24
Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642158971
- ISBN
- 9783642158971
Paperback
Condition: New
€ 65.24
€ 65.24
Paperback. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 64.51
€ 64.51
Stabilization, Safety, and Security of Distributed Systems
. Ed(S): Dolev, Shlomi; Cobb, Jorge; Fischer,...
Paperback. Constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held in New York, USA, in September 2010. Editor(s): Dolev, Shlomi; Cobb, Jorge; Fischer, Michael; Yung, Moti. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 614 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMB; UR; UYQE; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 33. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 614
- Condition
- New
- SKU
- V9783642160226
- ISBN
- 9783642160226
Paperback
Condition: New
€ 128.16
€ 128.16
Paperback. Constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in Vienna, Austria, in October 2010. Editor(s): Blesa Aguilera, Maria J.; Blum, Christian; Raidl, Gunther R. (Vienna University of Technology); Roli, Andrea; Sampels, Michael. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 43 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642160530
- ISBN
- 9783642160530
Paperback
Condition: New
€ 65.06
€ 65.06
Paperback. Constitutes the refereed proceedings of the 21th International Conference on Algorithmic Learning Theory, ALT 2010, that was held in Canberra, Australia. Editor(s): Hutter, Marcus; Stephan, Frank; Vovk, Vladimir; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 421 pages, 45 black & white illustrations, biography. BIC Classification: JNV; UMB; UMX; UYQM. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 421
- Condition
- New
- SKU
- V9783642161070
- ISBN
- 9783642161070
Paperback
Condition: New
€ 66.86
€ 66.86
Paperback. Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands. Editor(s): Pol, Jaco C. van de (Centre for Mathematics and Computer Science (CWI)). Series: Lecture Notes in Computer Science. Num Pages: 263 pages, 70 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 20. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642161636
- ISBN
- 9783642161636
Paperback
Condition: New
€ 65.82
€ 65.82
Paperback. This second issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems consists of journal versions of selected papers from the 11th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009). Series: Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems. Num Pages: 141 pages, 65 black & white illustrations, biography. BIC Classification: UKR; UMB; UND; UNF; UYQE. Category: (P) Professional & Vocational. Dimension: 237 x 153 x 9. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 141
- Condition
- New
- SKU
- V9783642161742
- ISBN
- 9783642161742
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Constitutes the proceedings of the 8th German Conference on Multiagent System Technologies that was held in Leipzig, Germany, in September 2010. Editor(s): Dix, Jurgen; Witteveen, Cees. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 221 pages, 81 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642161773
- ISBN
- 9783642161773
Paperback
Condition: New
€ 65.06
€ 65.06
Paperback. This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary applications covers the state of the art in the field. It also points to a number of potentially fruitful areas for future research. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 60 black & white illustrations, biography. BIC Classification: PBKS; TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 264.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642162329
- ISBN
- 9783642162329
Paperback
Condition: New
€ 64.43
€ 64.43
Model-Based Engineering of Embedded Real-Time Systems
. Ed(S): Giese, Holger; Karsai, Gabor; Lee, E...
Paperback. Describes novel and advanced approaches to solving problems arising in the domain of embedded real-time systems. This title is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Editor(s): Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 400 pages, 94 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642162763
- ISBN
- 9783642162763
Paperback
Condition: New
€ 66.60
€ 66.60
Paperback. Constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. Editor(s): Heng, Swee-Huay; Kurosawa, Kaoru. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642162794
- ISBN
- 9783642162794
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. Editor(s): Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 264 pages, 44 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642163098
- ISBN
- 9783642163098
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010. Editor(s): Zhu, Rongbo; Zhang, Yanchun; Liu, Baoxiang; Liu, Chunfeng. Series: Communications in Computer and Information Science. Num Pages: 534 pages, 207 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642163388
- ISBN
- 9783642163388
Paperback
Condition: New
€ 127.64
€ 127.64
Paperback. Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testing that took place January 2010 at the Institute for Computer Science, Tsinghua University, China. Editor(s): Goldreich, Oded. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, 5 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 154 x 18. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642163661
- ISBN
- 9783642163661
Paperback
Condition: New
€ 66.22
€ 66.22
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
€ 65.33
€ 65.33
Paperback. Constitutes the refereed post-conference proceedings of the 6th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2009, held in Pisa, Italy, in September 2009. Editor(s): Martinelli, Fabio; Preneel, Bart. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, 41 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642164408
- ISBN
- 9783642164408
Paperback
Condition: New
€ 65.82
€ 65.82
Paperback. Constitutes the proceedings of the 10th Conference on Transport Systems Telematics, held in Katowice-Ustron, in October 2010 Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 470 pages, 198 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND. Category: (P) Professional & Vocational. Dimension: 204 x 214 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 470
- Condition
- New
- SKU
- V9783642164712
- ISBN
- 9783642164712
Paperback
Condition: New
€ 126.97
€ 126.97