.png){kind=logo}
Computer programming / software development
Results 141 - 160 of 7488
Computer programming / software development
Paperback. Editor(s): Baldoni, Matteo; Dennis, Louise; Mascardi, Viviana; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 221 pages, 42 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642378898
- ISBN
- 9783642378898
Paperback
Condition: New
€ 85.05
€ 85.05
Paperback. Editor(s): Baldoni, Matteo; Muller, Jorg P. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319509822
- ISBN
- 9783319509822
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback / so. Editor(s): Baldoni, Roberto; Nisse, Nicolas; Van Steen, Maarten. Series: Lecture Notes in Computer Science / Theoretical Computer Sci. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783319038490
- ISBN
- 9783319038490
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540401179
- ISBN
- 9783540401179
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Editor(s): Baloian, Nelson; Zorian, Yervant; Taslakian, Perouz; Shoukouryan, Samvel. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 74 black & white illustrations, biography. BIC Classification: JNV; UBJ; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319227467
- ISBN
- 9783319227467
Paperback
Condition: New
€ 66.40
€ 66.40
Persuasive Technology: Design for Health and Safety: 7th International...
. Ed(S): Bang, Magnus; Ragnemalm, Eva L.
paperback. Contains the proceedings of the 7th International Conference on Persuasive Technology, Persuasive 2012, held in Linkoping, Sweden, in June 2012. This title covers the typical fields of persuasive technology, such as health, safety and education. Editor(s): Bang, Magnus; Ragnemalm, Eva L. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 292 pages, 63 black & white illustrations, biography. BIC Classification: MBP; UBJ; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642310362
- ISBN
- 9783642310362
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Editor(s): Bar-Noy, Amotz; Halldorsson, Magnus M. Series: Lecture Notes in Computer Science. Num Pages: 155 pages, 26 black & white illustrations, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 229.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642360916
- ISBN
- 9783642360916
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Constitutes the refereed proceedings of the Second International Conference on Decision and Game Theory for Security, GameSec 2011, held in College Park, Maryland, USA, in November 2011. Editor(s): Baras, John S.; Katz, Jonathan; Altman, Eitan. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 269 pages, biography. BIC Classification: PBUD; UKN; UMB; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642252792
- ISBN
- 9783642252792
Paperback
Condition: New
€ 83.28
€ 83.28
Multi-Point Interaction with Real and Virtual Objects
. Ed(S): Barbagli, Federico; Prattichizzo, Do...
Paperback. Editor(s): Barbagli, Federico; Prattichizzo, Domenico; Salisbury, Kenneth. Series: Springer Tracts in Advanced Robotics. Num Pages: 296 pages, biography. BIC Classification: TJFM; UGK; UML; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783642425899
- ISBN
- 9783642425899
Paperback
Condition: New
€ 127.81
€ 127.81
Paperback. Constitutes selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. Editor(s): Barbosa, Luis Soares; Lumpe, Markus. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 315 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642272684
- ISBN
- 9783642272684
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Editor(s): Barcelo, Pablo; Pichler, Reinhard. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 205 pages, 20 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH; UYA; UYQ. 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
- 205
- Condition
- New
- SKU
- V9783642329241
- ISBN
- 9783642329241
Paperback
Condition: New
€ 61.41
€ 61.41
Discrete Geometry for Computer Imagery: 18th IAPR International Confer...
. Ed(S): Barcucci, Elena; Frosini, Andrea; Ri...
paperback. Editor(s): Barcucci, Elena; Frosini, Andrea; Rinaldi, Simone. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 435 pages, 205 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Switzerland
- Edition
- 2014th Edition
- Number of pages
- 435
- Condition
- New
- SKU
- V9783319099545
- ISBN
- 9783319099545
Paperback
Condition: New
€ 67.96
€ 67.96
Geosciences and Water Resources: Environmental Data Modeling
. Ed(S): Bardinet, Claude; Royer, Jean-Jacque...
Paperback. Editor(s): Bardinet, Claude; Royer, Jean-Jacques. Series: Data and Knowledge in a Changing World (Closed). Num Pages: 336 pages, 21 colour illustrations, 35 black & white tables, biography. BIC Classification: PN; PS; RB; RGW; TQD; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 521.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642644832
- ISBN
- 9783642644832
Paperback
Condition: New
€ 128.19
€ 128.19
Transactions on Computational Collective Intelligence XIII
. Ed(S): Barkatou, Moulay; Cluzeau, Thomas; R...
Paperback. Editor(s): Barkatou, Moulay; Cluzeau, Thomas; Regensburger, Georg; Rosenkranz, Markus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 213 pages, biography. BIC Classification: PBD; PBKJ; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642544781
- ISBN
- 9783642544781
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems. Editor(s): Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 207 pages, 38 black & white illustrations, 13 colour illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783642195822
- ISBN
- 9783642195822
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Barneva, Reneta P.; Bhattacharya, Bhargab B.; Brimkov, Valentin E. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, 177 colour illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 376
- Condition
- New
- SKU
- V9783319261447
- ISBN
- 9783319261447
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Constitutes the refereed proceedings of the 15th International Workshop on Combinatorial Image Analysis, IWCIA 2012, held in Austin, TX, USA in November 2012. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Aggarwal, Jake K. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 313 pages, 176 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642347313
- ISBN
- 9783642347313
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Slapal, Josef. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 287 pages, 142 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 287
- Condition
- New
- SKU
- V9783319071473
- ISBN
- 9783319071473
Paperback
Condition: New
€ 66.64
€ 66.64
Computational Modeling of Objects Presented in Images. Fundamentals, M...
. Ed(S): Barneva, Reneta P.; Brimkov, Valenti...
Paperback. Editor(s): Barneva, Reneta P.; Brimkov, Valentin E.; Tavares, Joao Manuel R. S. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 95 black & white illustrations, biography. BIC Classification: UKN; UML; UNF; UR; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319546087
- ISBN
- 9783319546087
Paperback
Condition: New
€ 66.49
€ 66.49
Hardback. This volume describes the status of fractal imaging research and looks to future directions. It will be useful to researchers in the areas of fractal image compression, analysis, and synthesis, iterated function systems, and fractals in education. In particular it includes a vision for the future of these areas. Editor(s): Barnsley, Prof. Michael; Saupe, Dietmar; Vrscay, Edward R. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 280 pages, biography. BIC Classification: PBPH; UG; UMW; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 890.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9780387955216
- ISBN
- 9780387955216
Hardback
Condition: New
€ 196.92
€ 196.92