.png){kind=logo}
Computer programming / software development
Results 2541 - 2560 of 8277
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. Editor(s): Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 105 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642307287
- ISBN
- 9783642307287
Paperback
Condition: New
€ 67.69
€ 67.69
Hardback. Presenting a cutting-edge workflow language explicitly expressing parallelism and data distribution for generic workflow applications, this book includes sophisticated algorithms for automatically creating and optimizing workflows using semantic technologies. Num Pages: 222 pages, biography. BIC Classification: UM; UNH; UYQ; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 523.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 222
- Condition
- New
- SKU
- V9783642307140
- ISBN
- 9783642307140
Hardback
Condition: New
€ 128.27
€ 128.27
Paperback. Presents the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. Editor(s): Hirsch, Edward; Karhumaki, Juhani; Lepisto, Arto; Prilutskii, Michail. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 350 pages, 25 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 502.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642306419
- ISBN
- 9783642306419
Paperback
Condition: New
€ 67.51
€ 67.51
Information Processing in Computer Assisted Interventions
. Ed(S): Abolmaesumi, Purang; Joskowicz, Leo;...
paperback. Presents the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. This title focuses on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging. Editor(s): Abolmaesumi, Purang; Joskowicz, Leo; Navab, Nassir; Jannin, Pierre. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 193 pages, 89 black & white illustrations, biography. BIC Classification: UML; UYQV; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 193
- Condition
- New
- SKU
- V9783642306174
- ISBN
- 9783642306174
Paperback
Condition: New
€ 82.52
€ 82.52
Paperback. Constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012. Series: Communications in Computer and Information Science. Num Pages: 566 pages, 238 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 566
- Condition
- New
- SKU
- V9783642305665
- ISBN
- 9783642305665
Paperback
Condition: New
€ 130.43
€ 130.43
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with Tools 2012 Federated Conferences. Editor(s): Gschwind, Thomas; Paoli, Flavio De; Gruhn, Volker; Book, Matthias. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 207 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783642305634
- ISBN
- 9783642305634
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. A two-volume-set that constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012. Editor(s): Benlamri, Rachid. Series: Communications in Computer and Information Science. Num Pages: 665 pages, 318 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 924.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 665
- Condition
- New
- SKU
- V9783642305061
- ISBN
- 9783642305061
Paperback
Condition: New
€ 131.37
€ 131.37
paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Wireless Internet (WICON 2011) held in Xi'an, Shaanxi, China in October 2011. Editor(s): Ren, Pinyi; Zhang, Chao; Liu, Xin; Liu, Pei; Ci, Song. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 600 pages, 366 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 908.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 600
- Condition
- New
- SKU
- V9783642304927
- ISBN
- 9783642304927
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. Constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. Editor(s): Hu, Zhenjiang; Lara, Juan de. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 308 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 17. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 308
- Condition
- New
- SKU
- V9783642304750
- ISBN
- 9783642304750
Paperback
Condition: New
€ 67.07
€ 67.07
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czec...
. Ed(S): Brucker, Achim; Julliand, Jacques
paperback. Constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. Editor(s): Brucker, Achim; Julliand, Jacques. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 187 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 187
- Condition
- New
- SKU
- V9783642304729
- ISBN
- 9783642304729
Paperback
Condition: New
€ 82.47
€ 82.47
Hardback. This book features papers from the ACIS SERA 2012 conference. It examines the theory, applications and tools of software engineering research, management and applications. It also discusses practical challenges and offers solutions. Editor(s): Lee, Roger. Series: Studies in Computational Intelligence. Num Pages: 196 pages, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783642304590
- ISBN
- 9783642304590
Hardback
Condition: New
€ 127.97
€ 127.97
Paperback. Constitutes the proceedings of the '7th Hellenic Conference on Artificial Intelligence, SETN 2012', held in Lamia, Greece, in May 2012. Editor(s): Maglogiannis, Ilias; Plagianakos, Vassilis; Vlahavas, Ioannis P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 399 pages, 88 black & white illustrations, biography. BIC Classification: UMB; UNH; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Condition
- New
- SKU
- V9783642304477
- ISBN
- 9783642304477
Paperback
Condition: New
€ 67.93
€ 67.93
Information Security and Privacy Research: 27th IFIP TC 11 Information...
. Ed(S): Gritzalis, Dimitris; Furnell, Steven...
hardcover. Constitutes the refered proceedings of the 27th IFIP TC 11 International Information Security Conference, SEC 2012, held in Heraklion, Crete, Greece, in June 2012. Editor(s): Gritzalis, Dimitris; Furnell, Steven; Theoharidou, Marianthi. Series: IFIP Advances in Information and Communication Technology. Num Pages: 608 pages, biography. BIC Classification: UKN; UMB; UNH; UR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1026.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 608
- Condition
- New
- SKU
- V9783642304354
- ISBN
- 9783642304354
Hardback
Condition: New
€ 131.81
€ 131.81
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile Multimedia Communications (MOBIMEDIA 2011) held in Cagliari, Italy, in September 2011. Editor(s): Atzori, Luigi; Delgado, Jaime; Giusto, Daniel. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 336 pages, 175 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 481.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642304187
- ISBN
- 9783642304187
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. A survey that features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 173 pages, 60 black & white illustrations, biography. BIC Classification: TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642303968
- ISBN
- 9783642303968
Paperback
Condition: New
€ 82.44
€ 82.44
Paperback. Constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. Editor(s): Ferri, Massimo; Frosini, Patrizio; Landi, Claudia; Cerri, Andrea; Di Fabio, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 167 pages, 60 black & white illustrations, biography. BIC Classification: UGK; UMB; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 143 x 11. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 167
- Condition
- New
- SKU
- V9783642302374
- ISBN
- 9783642302374
Paperback
Condition: New
€ 83.55
€ 83.55
Advances in Computer Science, Engineering and Applications
. Ed(S): Wyld, David C.; Zizka, Jan; Nagamala...
Paperback. The Second International Conference on Computer Science, Engineering & Applications (ICCSEA-2012), held in Delhi, India, during May 25-27, 2012 attracted many local and international delegates. This title offers presentations in the developments of various areas of computer science, engineering and applications research. Editor(s): Wyld, David C.; Zizka, Jan; Nagamalai, Dhinaharan. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 1050 pages, 421 black & white illustrations, 78 colour illustrations, biography. BIC Classification: TJK; UMZ; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 58. Weight in Grams: 1609.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1050
- Condition
- New
- SKU
- V9783642301568
- ISBN
- 9783642301568
Paperback
Condition: New
€ 378.72
€ 378.72
Advances in Computer Science, Engineering and Applications
. Ed(S): Wyld, David C.; Zizka, Jan; Nagamala...
Paperback. The Second International Conference on Computer Science, Engineering & Applications (ICCSEA-2012), held in Delhi, India, during May 25-27, 2012 attracted many local and international delegates. This title features presentations on the advanced developments of various areas of computer science, engineering and applications research. Editor(s): Wyld, David C.; Zizka, Jan; Nagamalai, Dhinaharan. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 1100 pages, 405 black & white illustrations, 79 colour illustrations, biography. BIC Classification: TJK; UMZ; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 58. Weight in Grams: 1686.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1100
- Condition
- New
- SKU
- V9783642301100
- ISBN
- 9783642301100
Paperback
Condition: New
€ 380.40
€ 380.40
Paperback. Here is an extensive overview of practical and efficient modern techniques for design and implementation of secure computation and related protocols. Covers circuit optimization, hardware-assisted garbled circuit protocols and modular design of SFE protocols. Num Pages: 138 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 138
- Condition
- New
- SKU
- V9783642300417
- ISBN
- 9783642300417
Paperback
Condition: New
€ 149.91
€ 149.91
Hardback. The 31 contributed papers presented at the AD2012 conference cover the application of algorithmic differentiation (AD) to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. This title presents proceedings of this conference. Editor(s): Forth, Shaun; Hovland, Paul; Phipps, Eric; Utke, Jean; Walther, Andrea. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 380 pages, 30 black & white tables, biography. BIC Classification: PBKS; PDE; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642300226
- ISBN
- 9783642300226
Hardback
Condition: New
€ 129.66
€ 129.66