Algorithms & data structures
Results 217 - 240 of 2204
Algorithms & data structures
Business Process Management: 8th International Conference, BPM 2010, H...
. Ed(S): Hull, Richard; Mendling, Jan; Tai, S...
paperback. Constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. Editor(s): Hull, Richard; Mendling, Jan; Tai, Stefan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 359 pages, 140 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642156175
- ISBN
- 9783642156175
Paperback
Condition: New
€ 66.01
€ 66.01
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
€ 64.73
€ 64.73
Paperback. Constitutes the proceedings of the 15th European Symposium on Computer Security held in Athens, Greece in September 2010. Editor(s): Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi. Series: Lecture Notes in Computer Science. Num Pages: 718 pages, 163 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 718
- Condition
- New
- SKU
- V9783642154966
- ISBN
- 9783642154966
Paperback
Condition: New
€ 128.31
€ 128.31
Paperback. A book that constitutes the proceedings of the Third International Workshop on Multiple Access Communications, MACOM 2010, that was held in Barcelona, Spain, in September 2010. Editor(s): Vinel, Alexey; Bellalta, Boris; Sacchi, Claudio; Lyakhov, Andrey; Telek, Miklos; Oliver, Miquel. Series: Lecture Notes in Computer Science. Num Pages: 287 pages, 101 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; URY. Category: (P) Professional & Vocational. Dimension: 236 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
- 287
- Condition
- New
- SKU
- V9783642154270
- ISBN
- 9783642154270
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Constitutes the refereed proceedings of the 21 International Conference on Database and Expert Systems Applications, DEXA 2010, held in Bilbao, Spain, August 30-September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 650 pages, 145 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 250 x 151 x 25. Weight in Grams: 957.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 650
- Condition
- New
- SKU
- V9783642153952
- ISBN
- 9783642153952
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 613 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642153747
- ISBN
- 9783642153747
Paperback
Condition: New
€ 127.50
€ 127.50
Paperback. Constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). Editor(s): Kucera, Antonin; Potapov, Igor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 199 pages, 42 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. 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
- 199
- Condition
- New
- SKU
- V9783642153488
- ISBN
- 9783642153488
Paperback
Condition: New
€ 64.43
€ 64.43
Foundational and Practical Aspects of Resource Analysis: First Interna...
. Ed(S): Eekelen, Marko Van; Shkaravska, Olha
paperback. Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. Editor(s): Eekelen, Marko van; Shkaravska, Olha. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 35 black & white illustrations, biography. BIC Classification: UKN; UMB; UMG; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 170
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642153303
- ISBN
- 9783642153303
Paperback
Condition: New
€ 64.15
€ 64.15
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Evolvable Systems, ICES 2010, held in York, UK, in September 2010. Editor(s): Tempesti, Gianluca; Tyrrell, Andy M.; Miller, Julian. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 228 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642153228
- ISBN
- 9783642153228
Paperback
Condition: New
€ 66.30
€ 66.30
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.01
€ 65.01
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luce, France, in August 2010. Editor(s): Doncieux, Stephane; Girard, Benoit; Guillot, Agnes; Hallam, John; Meyer, Jean-Arcady; Mouret, Jean-Baptiste. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 662 pages, 308 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783642151927
- ISBN
- 9783642151927
Paperback
Condition: New
€ 127.73
€ 127.73
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.58
€ 64.58
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
€ 64.86
€ 64.86
Paperback. Constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. This title features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. Editor(s): Dix, Jurgen; Leite, Joao; Governatori, Guido; Jamroga, Wojtek. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 257 pages, 42 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149764
- ISBN
- 9783642149764
Paperback
Condition: New
€ 65.01
€ 65.01
Advanced Intelligent Computing Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhao, Zhongming; Bevilacqua, Vitoantonio; Figueroa, Juan Carlos. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 689 pages, 268 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 689
- Condition
- New
- SKU
- V9783642149214
- ISBN
- 9783642149214
Paperback
Condition: New
€ 128.03
€ 128.03
Advanced Intelligent Computing. Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the proceedings of the 6th International Conference on Advanced Intelligent Computing, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); McGinnity, Martin; Heutte, Laurent; Zhang, Xiao-Ping. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 243 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642148309
- ISBN
- 9783642148309
Paperback
Condition: New
€ 127.01
€ 127.01
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.30
€ 65.30
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa on July 2009. Series: Lecture Notes in Computer Science. Num Pages: 147 pages, 44 black & white illustrations, biography. BIC Classification: UMB; UMX; UND; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 147
- Condition
- New
- SKU
- V9783642146831
- ISBN
- 9783642146831
Paperback
Condition: New
€ 64.01
€ 64.01
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.01
€ 66.01
Frontiers in Algorithms: 4th International Workshop, FAW 2010, Wuhan, ...
. Ed(S): Lee, D. T.; Chen, Danny Z.; Ying, Sh...
paperback. Constitutes the refereed proceedings of the 4th International Frontiers of Algorithmics Workshop, FAW 2010, held in Wuhan, China, in August 2010. Editor(s): Lee, D. T.; Chen, Danny Z.; Ying, Shi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 74 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642145520
- ISBN
- 9783642145520
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation. Series: Lecture Notes in Business Information Processing. Num Pages: 411 pages, 97 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 411
- Condition
- New
- SKU
- V9783642145377
- ISBN
- 9783642145377
Paperback
Condition: New
€ 66.58
€ 66.58
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
€ 65.15
€ 65.15