Algorithms & data structures
Results 1 - 20 of 300
Algorithms & data structures
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; 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
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Editor(s): Ablayev, Farid; Mayr, Ernst W. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, 49 black & white illustrations, biography. BIC Classification: UMB; UMC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 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
- 397
- Condition
- New
- SKU
- V9783642131813
- ISBN
- 9783642131813
Paperback
Condition: New
€ 66.69
€ 66.69
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; 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
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 66.08
€ 66.08
Advances in Wireless, Mobile Networks and Applications
. Ed(S): Al-Majeed, Salah S.; Hu, Chih-Lin; N...
Paperback. Editor(s): Al-Majeed, Salah S.; Hu, Chih-Lin; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 317 pages, 75 black & white illustrations, 30 black & white tables, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642211522
- ISBN
- 9783642211522
Paperback
Condition: New
€ 66.10
€ 66.10
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
Advances in Information Retrieval Theory: Third International Conferen...
. Ed(S): Amati, Giambattista; Crestani, Fabio
paperback. Constitutes the refereed proceedings of the Third International Conference on the Theory of Information Retrieval, ICTIR 2011, held in Bertinoro, Italy, in September 2011. Editor(s): Amati, Giambattista; Crestani, Fabio. Series: Lecture Notes in Computer Science. Num Pages: 346 pages, 35 black & white illustrations, 31 colour illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 157 x 232 x 20. Weight in Grams: 566.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 346
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642233173
- ISBN
- 9783642233173
Paperback
Condition: New
€ 66.25
€ 66.25
Frontiers in Algorithmics and Algorithmic Aspects in Information and M...
. Ed(S): Atallah, Mikhail J.; Li, Xiang-Yang;...
Paperback. Editor(s): Atallah, Mikhail J.; Li, Xiang-Yang; Zhu, Binhai. Series: Lecture Notes in Computer Science. Num Pages: 390 pages, 65 black & white illustrations, 20 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZM. 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
- Edition
- 2011
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642212031
- ISBN
- 9783642212031
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. Editor(s): Ayala, Jose L.; Garcia-Camara, Braulio; Prieto, Manuel; Ruggiero, Martino; Sicard, Gilles. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 81 black & white illustrations, 108 colour illustrations, biography. BIC Classification: UGK; UKN; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642241536
- ISBN
- 9783642241536
Paperback
Condition: New
€ 66.08
€ 66.08
Evolutionary Computation 1: Basic Algorithms and Operators
. Ed(S): Baeck, Thomas; Fogel, D. B.; Michale...
paperback. Offers information on algorithms and operators used in evolutionary computing. This book discusses the basic ideas that underlie the main paradigms of evolutionary algorithms, evolution strategies, evolutionary programming, and genetic programming. It is suitable for individual researchers, teachers, and students in the field. Editor(s): Baeck, Thomas; Fogel, D. B.; Michalewicz, Z. Num Pages: 378 pages, Illustrations. BIC Classification: UMB. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 13. Weight in Grams: 521.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- CRC Press United Kingdom
- Edition
- 1st Edition
- Number of pages
- 378
- Condition
- New
- SKU
- V9780750306645
- ISBN
- 9780750306645
Paperback
Condition: New
€ 100.91
€ 100.91
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Information Security and Assurance, ISA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Bandyopadhyay, Samir Kumar; Adi, Wael; Kim, Tai-hoon; Xiao, Yang. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 151 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; URY; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642133640
- ISBN
- 9783642133640
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. Editor(s): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642281655
- ISBN
- 9783642281655
Paperback
Condition: New
€ 64.43
€ 64.43
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
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Bloch, Isabelle; Cesar, Roberto Marc...
Paperback. Constitutes the refereed proceedings of the 15th iberoamerican Congress on Pattern Recognition, CIARP 2010, held in Sao Paulo, Brazil, in November 2010. Editor(s): Bloch, Isabelle; Cesar, Roberto Marcond, Jr. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, 210 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783642166860
- ISBN
- 9783642166860
Paperback
Condition: New
€ 68.39
€ 68.39
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