.png){kind=logo}
Computer programming / software development
Results 2001 - 2020 of 7831
Computer programming / software development
Paperback. Editor(s): Seidl, Helmut. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 617 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 937.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 617
- Condition
- New
- SKU
- V9783642288685
- ISBN
- 9783642288685
Paperback
Condition: New
€ 70.15
€ 70.15
Paperback. Constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. This book features the papers that are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as, certification and logic. Editor(s): Yang, Hongseok. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 383 pages, 108 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 383
- Condition
- New
- SKU
- V9783642253171
- ISBN
- 9783642253171
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 647 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 647
- Condition
- New
- SKU
- V9783642119569
- ISBN
- 9783642119569
Paperback
Condition: New
€ 131.93
€ 131.93
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642106712
- ISBN
- 9783642106712
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 353 pages, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540893295
- ISBN
- 9783540893295
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. This proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programming languages and systems, including static analysis, security, concurrency and program verification. Editor(s): Drossopoulou, Sophia. Series: Lecture Notes in Computer Science. Num Pages: 415 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Condition
- New
- SKU
- V9783540787389
- ISBN
- 9783540787389
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Contains sections on models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, and static analysis and abstract interpretation. This book also covers semantic theories for object oriented languages, process algebraic techniques, and applicative programming. Editor(s): Nicola, Rocco de. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 560 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 781.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783540713142
- ISBN
- 9783540713142
Paperback
Condition: New
€ 136.17
€ 136.17
Paperback. Constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. This book presents 22 revised full papers together with 2 invited talks and 1 tutorial that examine foundational and practical issues in programming languages and systems. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, biography. BIC Classification: UMX. Category: (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540489375
- ISBN
- 9783540489375
Paperback
Condition: New
€ 72.88
€ 72.88
Paperback. Constitutes the proceedings of the 11th European Symposium on Programming held in France in 2002. The 21 revised full papers cover typing and modularity, programming paradigms, lambda calculus, program analysis applications and principles, and verification and analysis of distributed programs. Editor(s): Metayer, Daniel le. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 330
- Condition
- New
- SKU
- V9783540433637
- ISBN
- 9783540433637
Paperback
Condition: New
€ 71.09
€ 71.09
Paperback. The refereed proceedings of the 10th European Symposium on Programming, covering various programming paradigms and their integration development of correct, secure and efficient software, systems and type systems, program analysis, and program transformation. Editor(s): Sands, David. Series: Lecture Notes in Computer Science. Num Pages: 438 pages, biography. BIC Classification: UMC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783540418627
- ISBN
- 9783540418627
Paperback
Condition: New
€ 73.12
€ 73.12
Paperback. Constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. This work features papers that address fundamental issues in the specification, analysis, and implementation of programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 354 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 1120.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 354
- Condition
- New
- SKU
- V9783540330950
- ISBN
- 9783540330950
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 442 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540297352
- ISBN
- 9783540297352
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 638.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540254355
- ISBN
- 9783540254355
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. This book covers topics such as type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, language support, and more. Series: Lecture Notes in Computer Science. Num Pages: 464 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540237242
- ISBN
- 9783540237242
Paperback
Condition: New
€ 73.57
€ 73.57
Paperback. Editor(s): Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 432 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 22. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 432
- Condition
- New
- SKU
- V9783540213130
- ISBN
- 9783540213130
Paperback
Condition: New
€ 162.21
€ 162.21
Paperback. Editor(s): Degano, Pierpaolo. Series: Lecture Notes in Computer Science. Num Pages: 856 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 856
- Condition
- New
- SKU
- V9783540008866
- ISBN
- 9783540008866
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. Editor(s): Feng, Xinyu; Park, Sungwoo. Series: Lecture Notes in Computer Science. Num Pages: 525 pages, 133 colour illustrations, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 525
- Condition
- New
- SKU
- V9783319265285
- ISBN
- 9783319265285
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. Editor(s): Garrigue, Jacques. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 508 pages, 117 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 508
- Condition
- New
- SKU
- V9783319127354
- ISBN
- 9783319127354
Paperback
Condition: New
€ 68.59
€ 68.59
Paperback. Editor(s): Shan, Chung-Chien. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 391 pages, 40 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 391
- Condition
- New
- SKU
- V9783319035413
- ISBN
- 9783319035413
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Editor(s): Igarashi, Atsushi. Series: Lecture Notes in Computer Science. Num Pages: 482 pages, 100 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 482
- Condition
- New
- SKU
- V9783319479576
- ISBN
- 9783319479576
Paperback
Condition: New
€ 68.37
€ 68.37