Algorithms & data structures
Results 201 - 220 of 298
Algorithms & data structures
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010. Editor(s): Kuhne, Thomas; Selic, Bran V.; Gervais, Marie-Pierre; Terrier, Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 364 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642135941
- ISBN
- 9783642135941
Paperback
Condition: New
€ 66.25
€ 66.25
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.81
€ 64.81
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. Constitutes the refereed proceedings of the 3rd International Conference on Advanced Communication and Networking, ACN 2011, held in Brno, Czech Republik, in June 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Robles, Rosslin John; Balitanas, Maricel. Series: Communications in Computer and Information Science. Num Pages: 468 pages, 84 black & white illustrations, 205 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642233111
- ISBN
- 9783642233111
Paperback
Condition: New
€ 67.41
€ 67.41
Signal Processing, Image Processing and Pattern Recognition
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Ramos,...
Paperback. Comprises of selected papers of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Ramos, Carlos; Kang, Byeong Ho. Series: Communications in Computer and Information Science. Num Pages: 450 pages, 145 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UKN; UMB; UYQP; UYT. 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
- Edition
- 2011
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642271823
- ISBN
- 9783642271823
Paperback
Condition: New
€ 66.97
€ 66.97
Multimedia, Computer Graphics and Broadcasting, Part I: International ...
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Grosky...
paperback. Constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Rothwell, Edward J.; Kang, Byeong Ho; Shin, Seung-Jung. Series: Communications in Computer and Information Science. Num Pages: 424 pages, 76 black & white illustrations, 140 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783642272035
- ISBN
- 9783642272035
Paperback
Condition: New
€ 66.72
€ 66.72
Paperback. Comprises of selected papers of the International Conferences, SecTech 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Fang, Wai-Chi; Villalba, Javier Garcia; Arnett, Kirk P.; Khurram Khan, Muhammad. Series: Communications in Computer and Information Science. Num Pages: 252 pages, 30 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642271885
- ISBN
- 9783642271885
Paperback
Condition: New
€ 65.24
€ 65.24
Database Theory and Application, Bio-Science and Bio-Technology
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Cuzzoc...
Paperback. Comprises of selected papers of the International Conferences, DTA and BSBT 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Cuzzocrea, Alfredo; Arslan, Tughrul; Zhang, Yanchun; Ma, Jianhua; Chung, Kyo-Il; Mariyam, Siti; Song, Xiaofeng; Shamsuddin, Siti Mariyam. Series: Communications in Computer and Information Science. Num Pages: 197 pages, 36 black & white illustrations, 45 colour illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. 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
- Edition
- 2011
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642271564
- ISBN
- 9783642271564
Paperback
Condition: New
€ 66.08
€ 66.08
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
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 127.34
€ 127.34
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, that was held in Lac-Beauport, QC, Canada, in June 2010. Editor(s): Johnson, Michael; Pavlovic, Dusko. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, 36 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642177958
- ISBN
- 9783642177958
Paperback
Condition: New
€ 65.18
€ 65.18
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. 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
- 419
- Condition
- New
- SKU
- V9783642182747
- ISBN
- 9783642182747
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "Second International Conference on Game Theory for Networks" (GameNets 2011) held in Shanghai, China, April 16-18, 2011. Editor(s): Jain, Rahul; Kannan, Rajgopal; Vasilakos, Thanos. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 676 pages, 155 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 38. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783642303722
- ISBN
- 9783642303722
Paperback
Condition: New
€ 129.08
€ 129.08
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
Information Processing and Management of Uncertainty in Knowledge-Base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 785 pages, 237 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 785
- Condition
- New
- SKU
- V9783642140570
- ISBN
- 9783642140570
Paperback
Condition: New
€ 129.52
€ 129.52
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642140549
- ISBN
- 9783642140549
Paperback
Condition: New
€ 129.52
€ 129.52
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.40
€ 66.40
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.80
€ 128.80
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.78
€ 127.78