Computer programming / software development
Results 2161 - 2180 of 3497
Computer programming / software development
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
€ 71.54
€ 71.54
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
€ 70.46
€ 70.46
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
€ 70.30
€ 70.30
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
€ 135.55
€ 135.55
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
€ 71.14
€ 71.14
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
€ 72.52
€ 72.52
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
€ 70.18
€ 70.18
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
€ 136.66
€ 136.66
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
€ 69.48
€ 69.48
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
€ 136.72
€ 136.72
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
€ 69.80
€ 69.80
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
€ 136.63
€ 136.63
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
€ 70.02
€ 70.02
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
€ 69.46
€ 69.46
Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. Editor(s): Petrenko, Alexandre; Simao, Adenilso; Maldonado, Jose Carlos. Series: Lecture Notes in Computer Science. Num Pages: 267 pages, 76 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 181 x 236 x 16. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642165726
- ISBN
- 9783642165726
Paperback
Condition: New
€ 70.30
€ 70.30
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010. Editor(s): Xie, Bing; Branke, Juergen; Sadjadi, S. Masoud; Zhang, Daqing; Zhou, Xingshe. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 328 pages, 112 black & white illustrations, biography. BIC Classification: UB; UKN; UMZ; UNH; URY; UYZM. 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
- 328
- Condition
- New
- SKU
- V9783642165757
- ISBN
- 9783642165757
Paperback
Condition: New
€ 70.30
€ 70.30
Paperback. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010. Editor(s): Falcone, Y.; Finkbeiner, B.; Havelund, K.; Lee, I-.der; Pace, G.; Rosu, Grigore; Sokolsky, Oleg; Tilmann, N.; Barringer, H. Series: Lecture Notes in Computer Science. Num Pages: 492 pages, 145 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 757.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 492
- Condition
- New
- SKU
- V9783642166112
- ISBN
- 9783642166112
Paperback
Condition: New
€ 72.64
€ 72.64
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
€ 73.48
€ 73.48
Paperback. A book that constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, that was held in Shanghai, China. Editor(s): Qin, Shengchao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 310 pages, 17 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 239 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
- 310
- Condition
- New
- SKU
- V9783642166891
- ISBN
- 9783642166891
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642167492
- ISBN
- 9783642167492
Paperback
Condition: New
€ 69.95
€ 69.95