Algorithms & data structures
Results 281 - 300 of 300
Algorithms & data structures
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Editor(s): Bolduc, Claude; Desharnais, Jules; Ktari, Bechir. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 427 pages, 57 black & white illustrations, biography. BIC Classification: MJCM; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 427
- Condition
- New
- SKU
- V9783642133206
- ISBN
- 9783642133206
Paperback
Condition: New
€ 66.84
€ 66.84
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 64.95
€ 64.95
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 65.82
€ 65.82
Testing: Academic and Industrial Conference - Practice and Research Te...
. Ed(S): Bottaci, Leonardo; Fraser, Gordon
paperback. Constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, that was held in Windsor, UK, in September 2010. Editor(s): Bottaci, Leonardo; Fraser, Gordon. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 82 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642155840
- ISBN
- 9783642155840
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. 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
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642169571
- ISBN
- 9783642169571
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Constitutes the refereed proceedings of the 18th International Symposium on Graph Drawing, GD 2010, held in Konstanz, Germany, during September 2010. This title also contains a detailed report about the 17th Annual Graph Drawing Contest, held as a satellite event of GD 2010. Editor(s): Brandes, Ulrik; Cornelsen, Sabine. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, 111 black & white illustrations, 91 colour illustrations, biography. BIC Classification: UMB; UYA; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642184680
- ISBN
- 9783642184680
Paperback
Condition: New
€ 66.97
€ 66.97
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 64.17
€ 64.17
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642232824
- ISBN
- 9783642232824
Paperback
Condition: New
€ 81.80
€ 81.80
Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642167492
- ISBN
- 9783642167492
Paperback
Condition: New
€ 65.13
€ 65.13
Paperback. Constitutes the refereed proceedings of the International Conference on Future Generation Communication and Networking, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Chang, Alan Chin-Chen; Li, Ming Chu; Rong, Chunming; Patrikakis, Charalampos Z.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 250 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642175862
- ISBN
- 9783642175862
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Constitutes the refereed proceedings of the 2nd International Conference on Advanced Communication and Networking, ACN 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Chang, Chin-Cheng; Vasilakos, Thanos; Das, Purnendu; Kim, Tai-hoon; Kang, Byeong Ho; Khurram Khan, Muhammad. Series: Communications in Computer and Information Science. Num Pages: 170 pages, 121 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 170
- Condition
- New
- SKU
- V9783642134043
- ISBN
- 9783642134043
Paperback
Condition: New
€ 64.51
€ 64.51
Paperback. constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. This title features the papers that are organized in topical sections on using OpenMP with application, tools for OpenMP, extensions of OpenMP, and implementation and performance. Editor(s): Chapman, Barbara M.; Gropp, William D.; Kumaran, Kalyan; Muller, Matthias S. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 42 black & white illustrations, 33 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642214868
- ISBN
- 9783642214868
Paperback
Condition: New
€ 64.66
€ 64.66
Formal Modeling and Analysis of Timed Systems: 8th International Confe...
. Ed(S): Chatterjee, Krishnendu; Henzinger, T...
paperback. Constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. This title includes 14 papers that were presented are carefully reviewed and selected from 31 submissions. It contains three invited talks and two invited tutorials. Editor(s): Chatterjee, Krishnendu; Henzinger, Thomas A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 55 black & white illustrations, biography. BIC Classification: GPFC; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 257
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642152962
- ISBN
- 9783642152962
Paperback
Condition: New
€ 65.38
€ 65.38
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
€ 66.84
€ 66.84
Paperback. Constitutes the refereed proceedings of the International Workshops on the Applications of Evolutionary Computation, EvoApplications 2010, held in Istanbul, Turkey, in April 2010 colocated with the Evo* 2010 events. Editor(s): Chio, Cecilia di; Brabazon, Anthony; Caro, Gianni Di; Ebner, Marc; Farooq, Muddassar; Fink, Andreas; Grahl, Jorn; Greenfield, Gary; Machado, Penousal; O'Neill, Michael. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, 150 black & white illustrations, biography. BIC Classification: MJCM; UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783642122415
- ISBN
- 9783642122415
Paperback
Condition: New
€ 127.21
€ 127.21
Paperback. Constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2011, that was held in Torino, Italy, colocated with the Evo 2011 events. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Merelo, Juan Julian; Neri, Ferrante; Preuss, Mike; Richter, Hendrik. Series: Lecture Notes in Computer Science. Num Pages: 367 pages, 76 black & white illustrations, 57 colour illustrations, biography. BIC Classification: UG; UKN; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 367
- Condition
- New
- SKU
- V9783642205248
- ISBN
- 9783642205248
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. Editor(s): Clarke, Dave; Agha, Gul A. Series: Lecture Notes in Computer Science. Num Pages: 183 pages, 50 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642134135
- ISBN
- 9783642134135
Paperback
Condition: New
€ 64.81
€ 64.81
Paperback. Editor(s): Cordeiro, Jose; Ranchordas, Alpesh Kumar; Shishkov, Boris. Series: Communications in Computer and Information Science. Num Pages: 291 pages, 61 black & white illustrations, 34 colour illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642201158
- ISBN
- 9783642201158
Paperback
Condition: New
€ 65.82
€ 65.82