.png){kind=logo}
Computer programming / software development
Results 6781 - 6800 of 7836
Computer programming / software development
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): 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
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. 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): 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. 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. 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. 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 / 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. 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. 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): 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 / 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
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
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
Paperback. Editor(s): Guiochet, Jeremie; Bitsch, Friedemann. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 105 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UTN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 339
- Condition
- New
- SKU
- V9783319454764
- ISBN
- 9783319454764
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Compiled from the proceedings of the Second International Bioinformatics, this volume contains 39 revised full papers presented together with a full invited paper. Among the topics addressed are exact and approximate algorithms for genomics, sequence analysis, gene and signal recognition. Editor(s): Guigo, Roderic; Gusfield, Dan. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, biography. BIC Classification: PSAK; PSB; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783540442110
- ISBN
- 9783540442110
Paperback
Condition: New
€ 136.32
€ 136.32
Transactional Memory. Foundations, Algorithms, Tools, and Applications...
. Ed(S): Guerraoui, Rachid; Romano, Paolo
paperback. Editor(s): Guerraoui, Rachid; Romano, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 469 pages, 133 black & white illustrations, biography. BIC Classification: UMB; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 469
- Condition
- New
- SKU
- V9783319147192
- ISBN
- 9783319147192
Paperback
Condition: New
€ 68.37
€ 68.37
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. Constitutes the refereed post-proceedings of the 4th International Workshop on Software Composition, SC 2005, held in April 2005. The papers in this volume are organized in topical sections on dynamic languages, component composition, component contracts and protocols, and component adaptation and configuration. Editor(s): Gschwind, Thomas; Assmann, Uwe; Nierstrasz, Oscar M. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 11. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540287483
- ISBN
- 9783540287483
Paperback
Condition: New
€ 68.49
€ 68.49