.png){kind=logo}
Computer programming / software development
Results 5449 - 5472 of 8428
Computer programming / software development
Hardback. In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author's coherent logical approach covers theory, practice, and applications. Num Pages: 426 pages, biography. BIC Classification: TJFM; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 246 x 164 x 23. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642145087
- ISBN
- 9783642145087
Hardback
Condition: New
€ 130.88
€ 130.88
Paperback. Constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010. Editor(s): Ranka, Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore; Dua, Sumeet; Mishra, Prabhat; Moona, Rajat; Poon, Sheung-Hung; Wang, Cho-Li. Series: Communications in Computer and Information Science. Num Pages: 613 pages, 264 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642148330
- ISBN
- 9783642148330
Paperback
Condition: New
€ 131.12
€ 131.12
Paperback. Constitutes the refereed proceedings of the 4th European Conference on Software Architecture, ECSA 2010, held in Copenhagen, Denmark, in August 2010. Editor(s): Babar, Muhammad Ali; Gorton, Ian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, 162 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642151132
- ISBN
- 9783642151132
Paperback
Condition: New
€ 69.50
€ 69.50
Hardback. This book features a collection of articles by software researchers and technologists whose contributions have shaped the field. It focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. Editor(s): Nanz, Sebastian. Num Pages: 185 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 247 x 163 x 17. Weight in Grams: 436.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783642151866
- ISBN
- 9783642151866
Hardback
Condition: New
€ 67.03
€ 67.03
Hardback. Constitutes the refereed proceedings of the IFIP WG 9.7 International Conference on the History of Computing, HC 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Tatnall, Arthur. Series: IFIP Advances in Information and Communication Technology. Num Pages: 239 pages, biography. BIC Classification: TBX; UBJ; UKP; UM; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642151989
- ISBN
- 9783642151989
Hardback
Condition: New
€ 67.43
€ 67.43
Hardback. As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Num Pages: 248 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 245 x 174 x 22. Weight in Grams: 718.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642152276
- ISBN
- 9783642152276
Hardback
Condition: New
€ 161.73
€ 161.73
Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 1...
. Ed(S): Hinchey, Mike; Kleinjohann, Bernd; K...
hardcover. Constitutes the refereed proceedings of the 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and the 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter, Jr.; Rammig, Franz J. (University of Paderborn); Timmis, Jonathan; Wolf, Marilyn. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 644.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642152337
- ISBN
- 9783642152337
Hardback
Condition: New
€ 68.32
€ 68.32
Hardback. Constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, that was held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Calude, Christian S.; Sassone, Vladimiro. Series: IFIP Advances in Information and Communication Technology. Num Pages: 400 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642152399
- ISBN
- 9783642152399
Hardback
Condition: New
€ 68.98
€ 68.98
Hardback. Constitutes the refereed proceedings of the 25th IFIP TC 11 International Information Security Conference, SEC 2010, that was held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Rannenberg, Kai; Varadharajan, Vijay; Weber, Christian. Series: IFIP Advances in Information and Communication Technology. Num Pages: 329 pages, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642152566
- ISBN
- 9783642152566
Hardback
Condition: New
€ 68.32
€ 68.32
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, 264 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 600
- Condition
- New
- SKU
- V9783642152764
- ISBN
- 9783642152764
Paperback
Condition: New
€ 131.06
€ 131.06
Enterprise Architecture, Integration and Interoperability
. Ed(S): Bernus, Peter; Doumeingts, Guy; Fox,...
Hardback. Constitutes the refereed proceedings of the IFIP TC 5 International Conference on Enterprise Architecture, Integration, Interoperability and Networking, EAI2N 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Bernus, Peter; Doumeingts, Guy; Fox, Mark. Series: IFIP Advances in Information and Communication Technology. Num Pages: 191 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642155086
- ISBN
- 9783642155086
Hardback
Condition: New
€ 67.07
€ 67.07
Hardback. The Handbook of Conceptual Modeling collects many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. It points toward interesting challenges. Editor(s): Embley, David W.; Thalheim, B. Num Pages: 608 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 245 x 164 x 41. Weight in Grams: 1030.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 608
- Condition
- New
- SKU
- V9783642158643
- ISBN
- 9783642158643
Hardback
Condition: New
€ 198.26
€ 198.26
Paperback. Constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente, The Netherlands, in September/October 2010. Editor(s): Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schurr, Andy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 431 pages, biography. BIC Classification: PBV; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783642159275
- ISBN
- 9783642159275
Paperback
Condition: New
€ 68.29
€ 68.29
Paperback. This book offers nine papers applying different aspect-oriented modeling techniques to the same case study, a relatively complex crisis management system. Readers grasp the strengths of each approach and encourages cross-fertilization among the techniques. Series: Lecture Notes in Computer Science / Transactions on Aspect-oriented Software Development. Num Pages: 438 pages, 234 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMG; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783642160851
- ISBN
- 9783642160851
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback / so. Editor(s): Halang, Wolfgang A; Holleczek, Peter. Series: Informatik Aktuell. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 222.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642161889
- ISBN
- 9783642161889
Paperback
Condition: New
€ 60.02
€ 60.02
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. Editor(s): Mery, Dominique; Merz, Stephan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 347 pages, 110 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783642162640
- ISBN
- 9783642162640
Paperback
Condition: New
€ 67.41
€ 67.41
Hardback. Constitutes the refereed proceedings of the 10th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2010, held in Buenos Aires, Argentina, in November 2010. Editor(s): Cellary, Wojciech; Estevez, Elsa. Series: IFIP Advances in Information and Communication Technology. Num Pages: 320 pages, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 628.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642162824
- ISBN
- 9783642162824
Hardback
Condition: New
€ 68.20
€ 68.20
Paperback. Constitutes the proceedings of the second workshop on Business Process Modeling Notation, BPMN 2010, held in Potsdam, Germany, in October 2010. Editor(s): Mendling, Jan; Weidlich, Matthias; Weske, Mathias. Series: Lecture Notes in Business Information Processing. Num Pages: 129 pages, 65 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 225.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 129
- Condition
- New
- SKU
- V9783642162978
- ISBN
- 9783642162978
Paperback
Condition: New
€ 66.95
€ 66.95
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: 530 pages, 173 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 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
- 530
- Condition
- New
- SKU
- V9783642163357
- ISBN
- 9783642163357
Paperback
Condition: New
€ 130.26
€ 130.26
Hardback. Constitutes the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2009, held in Bordeaux, France, in September 2009. Editor(s): Vallespir, Bruno; Alix, Thecle. Series: IFIP Advances in Information and Communication Technology. Num Pages: 688 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1138.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 688
- Condition
- New
- SKU
- V9783642163579
- ISBN
- 9783642163579
Hardback
Condition: New
€ 132.65
€ 132.65
Paperback. Constitutes the proceedings of the First International Conference on Security-Enriched Urban Computing and Smart Grid, held in Daejeon, Korea, in September 2010. Editor(s): Kim, Tai-hoon; Stoica, Adrian; Chang, Ruay-Shiung. Series: Communications in Computer and Information Science. Num Pages: 663 pages, 418 black & white illustrations, biography. BIC Classification: PSA; UKN; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 663
- Condition
- New
- SKU
- V9783642164439
- ISBN
- 9783642164439
Paperback
Condition: New
€ 131.57
€ 131.57
Hardcover. This book shows how runtime behavior can be analyzed in a rigorous way and for combinatorial optimization in particular. It presents well-known problems such as minimum spanning trees, shortest paths, maximum matching, and covering and scheduling problems. Series: Natural Computing Series. Num Pages: 228 pages, biography. BIC Classification: PBU; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 181 x 258 x 16. Weight in Grams: 530.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2010th Edition
- Number of pages
- 214
- Condition
- New
- SKU
- V9783642165436
- ISBN
- 9783642165436
Hardback
Condition: New
€ 67.60
€ 67.60
Hardback. Editor(s): Moore, Tyler; Shenoi, Sujeet (Center for Information Security, University of Tulsa, USA). Series: IFIP Advances in Information and Communication Technology. Num Pages: 278 pages, biography. BIC Classification: UKR; UMB; UY. Category: (P) Professional & Vocational. Dimension: 181 x 240 x 22. Weight in Grams: 706.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 278
- Condition
- New
- SKU
- V9783642168055
- ISBN
- 9783642168055
Hardback
Condition: New
€ 67.87
€ 67.87
Hardback. Constitutes the refereed proceedings of the Second IFIP WG 11.6 Working Conference on Policies and Research in Identity Management, IDMAN 2010, held in Oslo, Norway, in November 2010. This title features the papers that focus on identity management in general and surveillance and monitoring in particular. Editor(s): De Leeuw, Elisabeth; Fischer-Hubner, Simone; Fritsch, Lothar. Series: IFIP Advances in Information and Communication Technology. Num Pages: 151 pages, biography. BIC Classification: UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 399.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642173028
- ISBN
- 9783642173028
Hardback
Condition: New
€ 66.97
€ 66.97