Computer programming / software development
Results 1633 - 1656 of 7832
Computer programming / software development
Paperback. Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. Editor(s): Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 635 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 889.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 635
- Condition
- New
- SKU
- V9783540372158
- ISBN
- 9783540372158
Paperback
Condition: New
€ 131.18
€ 131.18
Hardback. Collaboration is central to modern software engineering. The editors of this book have assembled an impressive selection of authors who have contributed to a body of work tackling a wide range of issues in the field of collaborative software engineering. Editor(s): Mistrik, Ivan; Grundy, John; Hoek, Andre van der; Whitehead, Jim. Num Pages: 409 pages, biography. BIC Classification: UMZ; UYZG; UYZM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 164 x 15. Weight in Grams: 782.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 409
- Condition
- New
- SKU
- V9783642102936
- ISBN
- 9783642102936
Hardback
Condition: New
€ 136.16
€ 136.16
Paperback. Collaboration is central to modern software engineering. The editors of this book have assembled an impressive selection of authors who have contributed to a body of work tackling a wide range of issues in the field of collaborative software engineering. Editor(s): Mistrik, Ivan; Grundy, John; Hoek, Andre van der; Whitehead, Jim. Num Pages: 433 pages, biography. BIC Classification: UMZ; UYZG; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783642424311
- ISBN
- 9783642424311
Paperback
Condition: New
€ 129.11
€ 129.11
Paperback. Editor(s): Mitton, Nathalie; Chaouchi, Hakima; Noel, Thomas; Watteyne, Thomas; Gabillon, Alban; Capolsini, Patrick. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 139 pages, 46 black & white illustrations, biography. BIC Classification: UMZ; UNH; UR; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 139
- Condition
- New
- SKU
- V9783319527260
- ISBN
- 9783319527260
Paperback
Condition: New
€ 70.95
€ 70.95
Artificial Neural Networks and Machine Learning -- ICANN 2013
. Ed(S): Mladenov, Valeri; Koprinkova-Hristov...
Paperback. Editor(s): Mladenov, Valeri; Koprinkova-Hristova, Petia; Palm, Gunther; Villa, Alessandro E. P.; Apolloni, Bruno; Kasabov, Nikola K. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 661 pages, 231 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 661
- Condition
- New
- SKU
- V9783642407277
- ISBN
- 9783642407277
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. Editor(s): Monrose, Fabian; Blanc, Gregory; Garcia-Alfaro, Joaquin. Series: Lecture Notes in Computer Science. Num Pages: 495 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 495
- Condition
- New
- SKU
- V9783319457185
- ISBN
- 9783319457185
Paperback
Condition: New
€ 68.49
€ 68.49
Hardback. Covers chapters presented at WEIS 2009. This book features topics that include identity theft, modeling uncertainty's effects, future directions in the economics of information security, economics of privacy, options, misaligned incentives in systems, cyber-insurance, and modeling security dynamics. It is suitable for managers and policy makers. Editor(s): Moore, Tyler; Pym, David; Ioannidis, Christos. Num Pages: 337 pages, biography. BIC Classification: K; UKN; UMB; UR; UT. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 1440.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9781441969668
- ISBN
- 9781441969668
Hardback
Condition: New
€ 255.82
€ 255.82
Paperback. Editor(s): Moore, Tyler; Pym, David; Ioannidis, Christos. Num Pages: 337 pages, biography. BIC Classification: K; UKN; UMB; UR; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9781489997227
- ISBN
- 9781489997227
Paperback
Condition: New
€ 249.88
€ 249.88
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
Paperback. Editor(s): Mora, Antonio M.; Squillero, Giovanni. Series: Lecture Notes in Computer Science. Num Pages: 940 pages, 304 black & white illustrations, biography. BIC Classification: UKN; UMB; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 47. Weight in Grams: 1419.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 940
- Condition
- New
- SKU
- V9783319165486
- ISBN
- 9783319165486
Paperback
Condition: New
€ 133.29
€ 133.29
Hardback. Aspect-Oriented Requirements Engineering Editor(s): Moreira, Ana; Chitchyan, Ruzanna; Araujo, Joao; Rashid, Awais. Num Pages: 383 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 765.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783642386398
- ISBN
- 9783642386398
Hardback
Condition: New
€ 129.61
€ 129.61
Paperback. Editor(s): Moreira, Ana; Schatz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 820 pages, 299 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 820
- Condition
- New
- SKU
- V9783642415326
- ISBN
- 9783642415326
Paperback
Condition: New
€ 72.10
€ 72.10
Theory, Practice, and Applications of Rules on the Web
. Ed(S): Morgenstern, Leora; Stefaneas, Petro...
Paperback. Editor(s): Morgenstern, Leora; Stefaneas, Petros; Levy, Francois; Wyner, Adam; Paschke, Adrian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 267 pages, 69 black & white illustrations, biography. BIC Classification: UB; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642396168
- ISBN
- 9783642396168
Paperback
Condition: New
€ 61.41
€ 61.41
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 712 pages, 291 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642407598
- ISBN
- 9783642407598
Paperback
Condition: New
€ 70.42
€ 70.42
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 756 pages, 306 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783642407628
- ISBN
- 9783642407628
Paperback
Condition: New
€ 71.47
€ 71.47
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Mori, Kensaku; Sakuma, Ichiro; Sato,...
Paperback. Editor(s): Mori, Kensaku; Sakuma, Ichiro; Sato, Yoshinobu; Barillot, Christian; Navab, Nassir. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 840 pages, 331 black & white illustrations, biography. BIC Classification: MBG; MMPH; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1264.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 840
- Condition
- New
- SKU
- V9783642408106
- ISBN
- 9783642408106
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. Contains the refereed post-proceedings of the First International Conference on Exploring Services Science (IESS) in Geneva, Switzerland, in February 2010. Editor(s): Morin, Jean Henry; Ralyte, Jolita; Snene, Mehdi. Series: Lecture Notes in Business Information Processing. Num Pages: 312 pages, 78 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642143182
- ISBN
- 9783642143182
Paperback
Condition: New
€ 67.19
€ 67.19
Paperback. Editor(s): Morisio, Maurizio; Torchiano, Marco. Num Pages: 170 pages, 17 black & white tables, biography. BIC Classification: UMZ; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 170
- Condition
- New
- SKU
- V9781447156987
- ISBN
- 9781447156987
Paperback
Condition: New
€ 137.75
€ 137.75
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
. Ed(S): Moschitti, Alessandro; Plank, Barbar...
Paperback. Editor(s): Moschitti, Alessandro; Plank, Barbara. Series: Communications in Computer and Information Science. Num Pages: 159 pages, 36 black & white illustrations, biography. BIC Classification: UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783642452598
- ISBN
- 9783642452598
Paperback
Condition: New
€ 65.50
€ 65.50
Structural Information and Communication Complexity
. Ed(S): Moscibroda, Thomas; Rescigno, Adele ...
Paperback / so. Editor(s): Moscibroda, Thomas; Rescigno, Adele a. Series: Lecture Notes in Computer Science / Theoretical Computer Sci. Num Pages: 348 pages, black & white illustrations, bibliography. BIC Classification: UKN; UMB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Number of pages
- 348
- Condition
- New
- SKU
- V9783319035772
- ISBN
- 9783319035772
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. This work is devoted to investigating and developing the synergy between software engineering for multi-agent systems and agent-based social simulation. The text offers topical sections on model design issues, applications, simulating social relations and processes, and formal approaches. Editor(s): Moss, Scott; Davidsson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540415220
- ISBN
- 9783540415220
Paperback
Condition: New
€ 69.76
€ 69.76
Paperback. Editor(s): Mossakowski, Till; Kreowski, Hans-Jorg. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 313 pages, biography. BIC Classification: PBC; UM; UYA; UYZG. 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
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642284113
- ISBN
- 9783642284113
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Editor(s): Moura, Edleno S. de; Crochemore, Maxime. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 65 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 293
- Condition
- New
- SKU
- V9783319119175
- ISBN
- 9783319119175
Paperback
Condition: New
€ 66.70
€ 66.70
Cyber Physical Systems. Design, Modeling, and Evaluation
. Ed(S): Mousavi, Mohammed Reza; Berger, Chri...
Paperback. Editor(s): Mousavi, Mohammed Reza; Berger, Christian. Series: Lecture Notes in Computer Science. Num Pages: 154 pages, 43 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 154
- Condition
- New
- SKU
- V9783319251400
- ISBN
- 9783319251400
Paperback
Condition: New
€ 54.39
€ 54.39