Computing
Results 6625 - 6648 of 10742
Computing
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 proceedings of the 7th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2010, held in Perpignan, France, in October 2010. This volume also contains extended abstracts of the three invited papers. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Daumas, Marc. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 81 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642162916
- ISBN
- 9783642162916
Paperback
Condition: New
€ 67.35
€ 67.35
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
Organizational, Business, and Technological Aspects of the Knowledge S...
. Ed(S): Lytras, Miltiadis D.; Ordonez de Pab...
Paperback. Constitutes the proceedings of the Second World Summit on the Knowledge Society Primer held in Corfu, Greece, in September 2010. Editor(s): Lytras, Miltiadis D.; Ordonez de Pablos, Patricia; Ziderman, Adrian; Roulstone, Alan; Maurer, Hermann; Imber, Jonathan B. Series: Communications in Computer and Information Science. Num Pages: 539 pages, 116 black & white illustrations, biography. BIC Classification: JNV; KJE; UBJ; UKN; UKR; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 798.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 539
- Condition
- New
- SKU
- V9783642163234
- ISBN
- 9783642163234
Paperback
Condition: New
€ 130.55
€ 130.55
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
€ 129.96
€ 129.96
Ubiquitous Intelligence and Computing: 7th International Conference, U...
. Ed(S): Yu, Zhiwen; Liscano, Ramiro; Chen, G...
paperback. Constitutes the proceedings of the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010, held in Xi'an, China, during October 26-29, 2010. Editor(s): Yu, Zhiwen; Liscano, Ramiro; Chen, Guanling; Zhang, Daqing; Zhou, Xingshe. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 696 pages, 295 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 696
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642163548
- ISBN
- 9783642163548
Paperback
Condition: New
€ 131.97
€ 131.97
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
Paperback. Constitutes the proceedings of the International Conference on Research and Education in Robotics held in La Ferte-Bernard, France, in May 2009. Editor(s): Gottscheber, Achim; Obdrzalek, David; Schmidt, Colin E. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 105 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642163692
- ISBN
- 9783642163692
Paperback
Condition: New
€ 66.20
€ 66.20
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
Paperback. Constitutes the proceedings of the 5th International Symposium on Computational Intelligence and Intelligent Systems held in Wuhan, China, in October 2010. Editor(s): Tong, Hengjian; Kang, Zhuo. Series: Communications in Computer and Information Science. Num Pages: 289 pages, 117 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783642163876
- ISBN
- 9783642163876
Paperback
Condition: New
€ 67.23
€ 67.23
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 E-business Technology and Strategy held in Ottowa, Canada, in September 2010. Editor(s): Zaman, Marzia; Liang, Yawei; Siddiqui, Sohail; Wang, Tim; Liu, Vincent; Lu, Ceecee. Series: Communications in Computer and Information Science. Num Pages: 327 pages, 80 black & white illustrations, biography. BIC Classification: KJE; KJM; UBJ; UKR; UND. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642163968
- ISBN
- 9783642163968
Paperback
Condition: New
€ 67.64
€ 67.64
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
Paperback. Assembles 15 refereed and revised papers, selected from two workshops organized at the XXIV World Congress of Philosophy of Law and Social Philosophy (IVR, Beijing, China, September 15-20, 2009) and at JURIX-09 (December 16-19, 2009, Rotterdam). Editor(s): Casanovas, Pompeu; Pagallo, Ugo; Sartor, Giovanni; Ajani, Gianmaria. Series: Lecture Notes in Computer Science. Num Pages: 243 pages, 62 black & white illustrations, biography. BIC Classification: LA; UBJ; UKN; UKR; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642165238
- ISBN
- 9783642165238
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Constitutes the selected papers of the fourth international conference on Metadata and Semantic Research, MTSR 2010, held in Alcala de Henares, Spain, in October 2010. Editor(s): Sanchez-Alonso, Salvador; Athanasiadis, Ioannis N. Series: Communications in Computer and Information Science. Num Pages: 364 pages, 96 black & white illustrations, biography. BIC Classification: UNN. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 20. Weight in Grams: 558.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642165511
- ISBN
- 9783642165511
Paperback
Condition: New
€ 67.88
€ 67.88
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 708 pages, 220 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 708
- Condition
- New
- SKU
- V9783642165573
- ISBN
- 9783642165573
Paperback
Condition: New
€ 131.97
€ 131.97
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 498 pages, 157 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 20. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 498
- Condition
- New
- SKU
- V9783642165603
- ISBN
- 9783642165603
Paperback
Condition: New
€ 69.07
€ 69.07