Computer programming / software development
Results 1033 - 1056 of 8428
Computer programming / software development
Paperback. Editor(s): Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Rocha, Ana Maria Alves Coutinho; Torre, Carmelo Maria; Taniar, David; Apduhan, Bernady O.; Stankova, Elena; Shangguang, Wang. Series: Lecture Notes in Computer Science. Num Pages: 636 pages, 207 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNF; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 636
- Condition
- New
- SKU
- V9783319420912
- ISBN
- 9783319420912
Paperback
Condition: New
€ 70.00
€ 70.00
Computational Science and its Applications - ICCSA 2016
. Ed(S): Gervasi, Osvaldo; Murgante, Beniamin...
Paperback. Editor(s): Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Rocha, Ana Maria Alves Coutinho; Torre, Carmelo Maria; Taniar, David; Apduhan, Bernady O.; Stankova, Elena; Shangguang, Wang. Series: Lecture Notes in Computer Science. Num Pages: 661 pages, 282 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 992.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 661
- Condition
- New
- SKU
- V9783319421070
- ISBN
- 9783319421070
Paperback
Condition: New
€ 70.00
€ 70.00
Computational Science and its Applications - ICCSA 2016
. Ed(S): Gervasi, Osvaldo; Murgante, Beniamin...
Paperback. Editor(s): Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Rocha, Ana Maria Alves Coutinho; Torre, Carmelo Maria; Taniar, David; Apduhan, Bernady O.; Stankova, Elena; Shangguang, Wang. Series: Lecture Notes in Computer Science. Num Pages: 601 pages, 230 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 914.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 601
- Condition
- New
- SKU
- V9783319421100
- ISBN
- 9783319421100
Paperback
Condition: New
€ 119.19
€ 119.19
Paperback. Editor(s): Gheorghe, Marian; Rozenberg, Grzegorz; Salomaa, Arto; Sosik, Petr; Zandron, Claudio. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 416 pages, 72 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 416
- Condition
- New
- SKU
- V9783319143699
- ISBN
- 9783319143699
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. Editor(s): Gheyi, Rohit; Naumann, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642332951
- ISBN
- 9783642332951
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Ghose, Aditya K.; Zhu, Huibiao; Yu, Qi; Delis, Alex; Sheng, Quan Z. (University of New South Wales); Perrin, Olivier; Wang, Jianmin; Wang, Yan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 482 pages, 153 black & white illustrations, biography. BIC Classification: KJMV3; UB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 482
- Condition
- New
- SKU
- V9783642378034
- ISBN
- 9783642378034
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Editor(s): Ghosh, Sujata; Prasad, Sanjiva. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 28 black & white illustrations, biography. BIC Classification: UGK; UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783662540688
- ISBN
- 9783662540688
Paperback
Condition: New
€ 66.30
€ 66.30
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Giacobazzi, Roberto; Berdine, Josh; ...
Paperback. Editor(s): Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella. Series: Lecture Notes in Computer Science. Num Pages: 567 pages, 123 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 567
- Condition
- New
- SKU
- V9783642358722
- ISBN
- 9783642358722
Paperback
Condition: New
€ 69.64
€ 69.64
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319121536
- ISBN
- 9783319121536
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Giannakopoulou, Dimitra; Mery, Dominique. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, 142 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783642327582
- ISBN
- 9783642327582
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Editor(s): Giannakopoulou, Dimitra; Salaun, Gwen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 416 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 416
- Condition
- New
- SKU
- V9783319104300
- ISBN
- 9783319104300
Paperback
Condition: New
€ 67.77
€ 67.77
Hardback. Dedicated to the memory of Steven Vajda, one of the pioneers of mathematical programming, who was born in Hungary. This book provides readers with an insight into developments in mathematical programming. It is suitable for researchers and postgraduate students with an interest in the theoretical and algorithmic aspects of the field. Editor(s): Giannessi, Franco; Komlosi, Sandor; Rapcsak, Tamas. Series: Applied Optimization. Num Pages: 326 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9780792350361
- ISBN
- 9780792350361
Hardback
Condition: New
€ 200.43
€ 200.43
Hardback. Contains refereed papers based on lectures presented at the XIV International Conference on Mathematical Programming, held at Matrahaza, Hungary. This volume is suitable for researchers in operations research, economics, mathematics, physics, and engineering. Editor(s): Giannessi, Franco; Pardalos, Panos M.; Rapcsak, Tamas. Series: Applied Optimization. Num Pages: 280 pages, biography. BIC Classification: PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9781402000096
- ISBN
- 9781402000096
Hardback
Condition: New
€ 133.32
€ 133.32
Paperback. Editor(s): Gibbons, Jeremy; Jeuring, Johan. Series: IFIP Advances in Information and Communication Technology. Num Pages: 253 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 253
- Condition
- New
- SKU
- V9781475753202
- ISBN
- 9781475753202
Paperback
Condition: New
€ 127.42
€ 127.42
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. Editor(s): Gibbons, Jeremy; Nogueira, Pablo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 373 pages, 57 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 373
- Condition
- New
- SKU
- V9783642311123
- ISBN
- 9783642311123
Paperback
Condition: New
€ 67.72
€ 67.72
Paperback. Focus on masters' level education in software engineering. Topics discussed include: software engineering principles, current software engineering curricula, experiences with ex- isting courses, and the future of software engineering edu- cation. Editor(s): Gibbs, Norman E.; Fairley, Richard E. Num Pages: 439 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 439
- Condition
- New
- SKU
- V9781461291299
- ISBN
- 9781461291299
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Giese, Holger; Konig, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 297 pages, 110 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319091075
- ISBN
- 9783319091075
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. Editor(s): Giese, Holger; Rosu, Grigore. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 282 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 282
- Condition
- New
- SKU
- V9783642307928
- ISBN
- 9783642307928
Paperback
Condition: New
€ 66.82
€ 66.82
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. Editor(s): Gill, Andy; Hage, Jurriaan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 191 pages, 68 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642344060
- ISBN
- 9783642344060
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Gilmore, Stephen; Ryan, Mark D. Num Pages: 243 pages, black & white illustrations. BIC Classification: UMX; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 351.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 243
- Condition
- New
- SKU
- V9781852333928
- ISBN
- 9781852333928
Paperback
Condition: New
€ 66.49
€ 66.49
Hardback. Highlighting the coherence of, and connections between, current themes in the subject, this volume collates original contributions from key researchers into a new trend in the contemporary theory of knowledge and belief known as 'dynamic epistemology'. Editor(s): Girard, Patrick R.; Roy, Olivier; Marion, Mathieu. Series: Synthese Library. Num Pages: 252 pages, 10 black & white tables, biography. BIC Classification: HPK; HPL; JPA; KCH; PDA; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 534.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 252
- Condition
- New
- SKU
- V9789400700734
- ISBN
- 9789400700734
Hardback
Condition: New
€ 132.55
€ 132.55
Paperback. Editor(s): Giunchiglia, Enrico; Walsh, Toby. Num Pages: 300 pages, biography. BIC Classification: UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 300
- Condition
- New
- SKU
- V9789400787155
- ISBN
- 9789400787155
Paperback
Condition: New
€ 194.14
€ 194.14
paperback. Editor(s): Gladyshev, Pavel; Rogers, Marcus K. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 309 pages, 94 black & white illustrations, biography. BIC Classification: UBJ; UF; UMB; UR; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 309
- Condition
- New
- SKU
- V9783642355141
- ISBN
- 9783642355141
Paperback
Condition: New
€ 67.12
€ 67.12
paperback. A collection of papers from the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, and the 6th International Conference on Algebraic and Logic Programming. They are organized in sections on topics such as verification, logic programming and term rewriting. Editor(s): Glaser, Hugh; Palamidessi, Catuscia; Meinke, Karl. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540650126
- ISBN
- 9783540650126
Paperback
Condition: New
€ 74.41
€ 74.41