Computer programming / software development
Results 1041 - 1060 of 7836
Computer programming / software development
Analytical Methods in Software Engineering Economics
. Ed(S): Gulledge, Thomas; Hutzler, William P...
Paperback. Editor(s): Gulledge, Thomas; Hutzler, William P. Num Pages: 252 pages, 80 black & white tables, biography. BIC Classification: KJQ; KJT; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642777974
- ISBN
- 9783642777974
Paperback
Condition: New
€ 137.39
€ 137.39
Approximation, Randomization and Combinatorial Optimization
. Ed(S): Gupta, Anupam; Jansen, Klaus; Rolim,...
Paperback. Editor(s): Gupta, Anupam; Jansen, Klaus; Rolim, Jose D. P.; Servedio, Rocco A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 689 pages, 21 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 954.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 689
- Condition
- New
- SKU
- V9783642325113
- ISBN
- 9783642325113
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback / so. Editor(s): Gupta, Prosenjit; Zaroliagis, Christos. Series: Lecture Notes in Computer Science / Programming and Software. Num Pages: 287 pages, black & white illustrations, bibliography. BIC Classification: GPF; UB; UKN; UMB; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Number of pages
- 287
- Condition
- New
- SKU
- V9783319041254
- ISBN
- 9783319041254
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Editor(s): Gurfinkel, Arie; Seshia, Sanjit A. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, 41 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319296128
- ISBN
- 9783319296128
Paperback
Condition: New
€ 66.16
€ 66.16
paperback. Editor(s): Gusev, Marjan; Mitrevski, Pece. Series: Communications in Computer and Information Science. Num Pages: 392 pages, biography. BIC Classification: UKN; UKR; UMB; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 561.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783642193248
- ISBN
- 9783642193248
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Editor(s): Gutierrez, Jaime; Schicho, Josef; Weimann, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 222 pages, 29 black & white illustrations, biography. BIC Classification: PBF; UMB; UYA; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319150802
- ISBN
- 9783319150802
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback / so. Editor(s): Gutin, Gregory; Szeider, Stefan. Series: Lecture Notes in Computer Science / Theoretical Computer Sci. Num Pages: black & white illustrations, bibliography. BIC Classification: UMB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783319038971
- ISBN
- 9783319038971
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Editor(s): Habrias, Henri; Frappier, Marc. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 282 pages, 7 black & white illustrations, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 282
- Condition
- New
- SKU
- V9781852333539
- ISBN
- 9781852333539
Paperback
Condition: New
€ 127.97
€ 127.97
Paperback. Constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. Editor(s): Haddad, Serge; Pomello, Lucia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 139 black & white illustrations, biography. BIC Classification: PBCD; UMZ; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642311307
- ISBN
- 9783642311307
Paperback
Condition: New
€ 68.25
€ 68.25
Paperback. Editor(s): Haemmerle, Ollivier; Stapleton, Gem; Burton, Jim; Faron-Zucker, Catherine. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 96 black & white illustrations, biography. BIC Classification: PBD; UMB; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319409849
- ISBN
- 9783319409849
Paperback
Condition: New
€ 66.49
€ 66.49
Paperback. Editor(s): Hage, Jurriaan; McCarthy, Jay. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 152 pages. BIC Classification: UMJ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 152
- Condition
- New
- SKU
- V9783319146744
- ISBN
- 9783319146744
Paperback
Condition: New
€ 54.39
€ 54.39
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Implementation and Applications of Functional Languages, IFL 2010, held in Alphen aan den Rijn, the Netherlands, in September 2010. Editor(s): Hage, Jurriaan; Morazan, Marco T. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 227 pages, 25 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642242755
- ISBN
- 9783642242755
Paperback
Condition: New
€ 82.86
€ 82.86
Paperback. Editor(s): Hagen, Hans; Roller, Dieter. Series: Computer Graphics: Systems and Applications. Num Pages: 286 pages, biography. BIC Classification: PN; TBD; UGC; UML; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 457.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642764066
- ISBN
- 9783642764066
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Editor(s): Hahnle, Reiner; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 125 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642406140
- ISBN
- 9783642406140
Paperback
Condition: New
€ 60.79
€ 60.79
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Hahnle, Reiner; Knoop, Jens; Margari...
Paperback. Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria. Editor(s): Hahnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard. Series: Communications in Computer and Information Science. Num Pages: 273 pages, 94 black & white illustrations, biography. BIC Classification: UMZ; UNF; UNH; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642347801
- ISBN
- 9783642347801
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Hajji, Said el; Nitaj, Abderrahmane; Carlet, Claude; Souidi, El Mamoun. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, 58 black & white illustrations, biography. BIC Classification: GPJ; PBD; UMB; URY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 401
- Condition
- New
- SKU
- V9783319186801
- ISBN
- 9783319186801
Paperback
Condition: New
€ 67.69
€ 67.69
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
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Halbwachs, Nicolas; Zuck, Lenore D.
Paperback. Editor(s): Halbwachs, Nicolas; Zuck, Lenore D. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 590 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 590
- Condition
- New
- SKU
- V9783540253334
- ISBN
- 9783540253334
Paperback
Condition: New
€ 137.15
€ 137.15
Paperback. Constitutes the proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems, held in Israel in 2002. The 11 papers cover e-business technology, XML documents, Web-based database queries, Web surfing privacy, mobile objects, ontologies, prototypes and more. Editor(s): Halevy, Alon; Gal, Avigdor. Series: Lecture Notes in Computer Science. Num Pages: 176 pages, biography. BIC Classification: UDB; UM; UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540438199
- ISBN
- 9783540438199
Paperback
Condition: New
€ 67.87
€ 67.87
Advances in Visual Informatics: Third International Visual Informatics...
. Ed(S): Halimah, Badioze Zaman; Robinson, Pe...
paperback. Editor(s): Halimah, Badioze Zaman; Robinson, Peter; Olivier, Patrick; Shih, Timothy K.; Velastin, Sergio. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 819 pages, 371 black & white illustrations, biography. BIC Classification: UMB; UML; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Switzerland
- Edition
- 2013th Edition
- Number of pages
- 819
- Condition
- New
- SKU
- V9783319029573
- ISBN
- 9783319029573
Paperback
Condition: New
€ 132.89
€ 132.89