Computer programming / software development
Results 921 - 940 of 1983
Computer programming / software development
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 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. This second issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems consists of journal versions of selected papers from the 11th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009). Series: Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems. Num Pages: 141 pages, 65 black & white illustrations, biography. BIC Classification: UKR; UMB; UND; UNF; UYQE. Category: (P) Professional & Vocational. Dimension: 237 x 153 x 9. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 141
- Condition
- New
- SKU
- V9783642161742
- ISBN
- 9783642161742
Paperback
Condition: New
€ 65.78
€ 65.78
Paperback. Constitutes the proceedings of the 8th German Conference on Multiagent System Technologies that was held in Leipzig, Germany, in September 2010. Editor(s): Dix, Jurgen; Witteveen, Cees. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 221 pages, 81 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642161773
- ISBN
- 9783642161773
Paperback
Condition: New
€ 66.58
€ 66.58
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
€ 65.93
€ 65.93
Software Technologies for Embedded and Ubiquitous Systems
. Ed(S): Min, Sang Lyul; Pettit, Robert; Pusc...
Paperback. Constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010, that was held in Waidhofen/Ybbs, Austria. Editor(s): Min, Sang Lyul; Pettit, Robert; Puschner, Peter; Ungerer, Theo. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 90 black & white illustrations, biography. BIC Classification: UKN; UKR; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 229 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
- 253
- Condition
- New
- SKU
- V9783642162558
- ISBN
- 9783642162558
Paperback
Condition: New
€ 64.95
€ 64.95
Model-Based Engineering of Embedded Real-Time Systems
. Ed(S): Giese, Holger; Karsai, Gabor; Lee, E...
Paperback. Describes novel and advanced approaches to solving problems arising in the domain of embedded real-time systems. This title is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Editor(s): Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 400 pages, 94 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642162763
- ISBN
- 9783642162763
Paperback
Condition: New
€ 68.15
€ 68.15
Paperback. Constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. Editor(s): Heng, Swee-Huay; Kurosawa, Kaoru. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642162794
- ISBN
- 9783642162794
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. Editor(s): Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 264 pages, 44 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642163098
- ISBN
- 9783642163098
Paperback
Condition: New
€ 66.96
€ 66.96
Paperback. Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010. Editor(s): Zhu, Rongbo; Zhang, Yanchun; Liu, Baoxiang; Liu, Chunfeng. Series: Communications in Computer and Information Science. Num Pages: 534 pages, 207 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642163388
- ISBN
- 9783642163388
Paperback
Condition: New
€ 126.88
€ 126.88
Paperback. Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testing that took place January 2010 at the Institute for Computer Science, Tsinghua University, China. Editor(s): Goldreich, Oded. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, 5 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 154 x 18. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642163661
- ISBN
- 9783642163661
Paperback
Condition: New
€ 67.76
€ 67.76
Conceptual Modeling – ER 2010: 29th International Conference on Conc...
. Ed(S): Parsons, Jeffrey T.; Motoshi, Saeki;...
paperback. Constitutes the refereed proceedings of the 29th International Conference on Conceptual Modeling, ER 2010, held in Vancouver, BC, Canada, in November 2010. Editor(s): Parsons, Jeffrey T.; Motoshi, Saeki; Shoval, Peretz; Woo, Carson C.; Wand, Yair. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 490 pages, 163 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 490
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642163722
- ISBN
- 9783642163722
Paperback
Condition: New
€ 69.07
€ 69.07
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications: ...
. Ed(S): May, Michael; Saitta, Lorenza
paperback. Culled from a range of workshops, summer schools and dissemination events, this survey of the state of the art in a rapidly emerging field provides both a conceptual foundation and detailed coverage of selected approaches to ubiquitous knowledge discovery. Editor(s): May, Michael; Saitta, Lorenza. Series: Lecture Notes in Computer Science. Num Pages: 255 pages, 51 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 255
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642163913
- ISBN
- 9783642163913
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010. Editor(s): Quintela Varajao, Joao Eduardo; Cruz-Cunha, Maria Manuela; Putnik, Goran D.; Trigo, Antonio. Series: Communications in Computer and Information Science. Num Pages: 453 pages, 135 black & white illustrations, biography. BIC Classification: KJ; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 25. Weight in Grams: 717.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 453
- Condition
- New
- SKU
- V9783642164019
- ISBN
- 9783642164019
Paperback
Condition: New
€ 130.02
€ 130.02
Paperback. LESS 2010 is the first scientific conference dedicated to advance the body of knowledge for lean enterprise software and systems development. This book contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. Editor(s): Abrahamsson, Pekka; Oza, Nilay. Series: Lecture Notes in Business Information Processing. Num Pages: 185 pages, 30 black & white illustrations, biography. BIC Classification: UFL; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783642164156
- ISBN
- 9783642164156
Paperback
Condition: New
€ 66.20
€ 66.20
Paperback. Constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010. Editor(s): Quintela Varajao, Joao Eduardo; Cruz-Cunha, Maria Manuela; Putnik, Goran D.; Trigo, Antonio. Series: Communications in Computer and Information Science. Num Pages: 467 pages, 133 black & white illustrations, biography. BIC Classification: KJ; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 236 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
- 467
- Condition
- New
- SKU
- V9783642164187
- ISBN
- 9783642164187
Paperback
Condition: New
€ 130.07
€ 130.07
Paperback. Constitutes the refereed post-conference proceedings of the 6th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2009, held in Pisa, Italy, in September 2009. Editor(s): Martinelli, Fabio; Preneel, Bart. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, 41 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642164408
- ISBN
- 9783642164408
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. Constitutes the proceedings of the 10th Conference on Transport Systems Telematics, held in Katowice-Ustron, in October 2010 Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 470 pages, 198 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND. Category: (P) Professional & Vocational. Dimension: 204 x 214 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 470
- Condition
- New
- SKU
- V9783642164712
- ISBN
- 9783642164712
Paperback
Condition: New
€ 129.99
€ 129.99
Implementation and Application of Functional Languages: 21st Internati...
. Ed(S): Morazan, Marco T.; Scholz, Sven-Bodo
paperback. Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009. Editor(s): Morazan, Marco T.; Scholz, Sven-Bodo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 237 pages, 107 black & white illustrations, biography. BIC Classification: UMB; UMJ; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642164774
- ISBN
- 9783642164774
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Constitutes the proceedings of the Third Conference on Human-Centred Software Engineering (HCSE 2010) held in Reykjavik, Iceland, in October 2010. Editor(s): Bernhaupt, Regina; Forbrig, Peter; Gulliksen, Jan; Larusdottir, Marta Kristin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, 90 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642164873
- ISBN
- 9783642164873
Paperback
Condition: New
€ 66.17
€ 66.17