Computer programming / software development
Results 1061 - 1080 of 1982
Computer programming / software development
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
€ 67.35
€ 67.35
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.48
€ 66.48
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2010, held in Calvia, Mallorca, Spain, in September 2010. This title addresses aspects of distributed computing, and were organized in topical sections on cooperative applications, cooperative design. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 302 pages, 125 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642160653
- ISBN
- 9783642160653
Paperback
Condition: New
€ 65.44
€ 65.44
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
€ 66.58
€ 66.58
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
€ 127.38
€ 127.38
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
€ 66.02
€ 66.02
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Man...
. Ed(S): Buchwald, Hagen; Fleischmann, Albert...
Paperback. Constitutes the refereed proceedings of the First Workshop on Subject-Oriented Business Process Management, S-BPM ONE 2009, held in Karlsruhe, Germany, in October 2009. This title features the papers that are organized in topical sections on visionary engagements; essential capabilities; and, penetration perspectives. Editor(s): Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef G.; Stary, Christian. Series: Communications in Computer and Information Science. Num Pages: 149 pages, 63 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783642159145
- ISBN
- 9783642159145
Paperback
Condition: New
€ 64.01
€ 64.01
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
€ 66.76
€ 66.76
Statistical Atlases and Computational Models of the Heart
. Ed(S): Camara, Oscar; Pop, Mihaela; Rhode, ...
Paperback. A that book constitutes the refereed proceedings of the First Joint International Workshop on Statistical Atlases and Computational Models of the Heart and Cardiac Electrophysiological Simulation Challenge, STACOM-CESC 2010, that was held in conjunction with MICCAI 2010, in Beijing, China, in September 2010. Editor(s): Camara, Oscar; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Smith, Nicholas; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, 140 black & white illustrations, biography. BIC Classification: PSA; UG; UM; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642158346
- ISBN
- 9783642158346
Paperback
Condition: New
€ 67.20
€ 67.20
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
€ 64.86
€ 64.86
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
€ 68.98
€ 68.98
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
€ 132.30
€ 132.30
Paperback. A book that constitutes the proceedings of the International Conference on Power Electronics and Instrumentation Engineering that was held in Kochi, Kerala, India, in September 2010. Editor(s): Das, Vinu V.; Stephen, Janahallal; Thankachan, Nessy. Series: Communications in Computer and Information Science. Num Pages: 114 pages, 95 black & white illustrations, biography. BIC Classification: UK; UMB; UMZ; UT; UYF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 114
- Condition
- New
- SKU
- V9783642157387
- ISBN
- 9783642157387
Paperback
Condition: New
€ 65.57
€ 65.57
Paperback. Constitutes the post-conference proceedings of the 6th International Workshop on Enterprise and Organizational Modeling and Simulation (EOMAS 2010), held at the CAiSE 2010 conference in Hammamet, Tunisia, June 7-8, 2010. Editor(s): Barjis, Joseph. Series: Lecture Notes in Business Information Processing. Num Pages: 197 pages, 73 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642157226
- ISBN
- 9783642157226
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the 6th International Conference, ICGS3, that was held in Braga, Portugal, in September 2010. Editor(s): Magalhaes, Sergio Tenreiro de; Jahankhani, Hamid; Hessami, Ali G. Series: Communications in Computer and Information Science. Num Pages: 301 pages, 84 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 301
- Condition
- New
- SKU
- V9783642157165
- ISBN
- 9783642157165
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. Constitutes the proceedings of the 16th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Maastricht, The Netherlands, in September 2010. Editor(s): Kolfschoten, Gwendolyn; Herrmann, Thomas A.; Sim, Robert B.; Lukosch, Stephan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 364 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UNF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642157134
- ISBN
- 9783642157134
Paperback
Condition: New
€ 67.95
€ 67.95
Paperback. A book constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, that was held in Shanghai in September 2010. Editor(s): Qiu, Guoping; Lam, Kin Man; Kiya, Hitoshi; Xue, Xiang-Yang; Kuo, C.-C. Jay; Lew, Michael S. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 745 pages, 384 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 1057.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 745
- Condition
- New
- SKU
- V9783642157011
- ISBN
- 9783642157011
Paperback
Condition: New
€ 128.40
€ 128.40
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on Medical Imaging and Augmented Reality, MIAR 2010, held in Beijing, China, in September 2010. Editor(s): Liao, Hongen; Edwards, Peter J.; Pan, Xiaochuan; Fan, Yong; Yang, Guang-Zhong. Series: Lecture Notes in Computer Science. Num Pages: 573 pages, 271 black & white illustrations, biography. BIC Classification: MMP; UGK; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 573
- Condition
- New
- SKU
- V9783642156984
- ISBN
- 9783642156984
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. A book that constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, that was held in Shanghai in September 2010. Editor(s): Qiu, Guoping; Lam, Kin Man; Kiya, Hitoshi; Xue, Xiang-Yang; Kuo, C.-C. Jay; Lew, Michael S. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 759 pages, 433 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 1057.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 759
- Condition
- New
- SKU
- V9783642156953
- ISBN
- 9783642156953
Paperback
Condition: New
€ 132.23
€ 132.23
Systems, Software and Services Process Improvement: 17th European Conf...
. Ed(S): Riel, Andreas; O'Connor, Rory; Tichk...
paperback. Constitutes the refereed proceedings of the 17th EuroSPI conference in Grenoble, France, during September 1-3. This book includes the papers that are organized in topical sections on SPI Tools, SPI Methods, SPI in SMEs, SPI and Economic Aspects as well as Future of SPI. Editor(s): Riel, Andreas; O'Connor, Rory; Tichkiewitch, Serge; Messnarz, Richard. Series: Communications in Computer and Information Science. Num Pages: 303 pages, 67 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 303
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642156656
- ISBN
- 9783642156656
Paperback
Condition: New
€ 67.35
€ 67.35