Computer programming / software development
Results 2261 - 2280 of 8712
Computer programming / software development
Paperback. Editor(s): Thiemann, Peter. Series: Lecture Notes in Computer Science. Num Pages: 819 pages, 32 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 41. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 819
- Condition
- New
- SKU
- V9783662494974
- ISBN
- 9783662494974
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions. Editor(s): Vitek, Jan. Series: Lecture Notes in Computer Science. Num Pages: 852 pages, 274 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1282.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 852
- Condition
- New
- SKU
- V9783662466681
- ISBN
- 9783662466681
Paperback
Condition: New
€ 126.45
€ 126.45
Paperback. Editor(s): Shao, Zhong. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 590 pages, 161 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 590
- Condition
- New
- SKU
- V9783642548321
- ISBN
- 9783642548321
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. Editor(s): Felleisen, Matthias; Gardner, Philippa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 640 pages, 162 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 887.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783642370359
- ISBN
- 9783642370359
Paperback
Condition: New
€ 67.13
€ 67.13
Paperback. Editor(s): Jhala, Ranjit; Igarashi, Atsushi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 401 pages, 104 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783642351815
- ISBN
- 9783642351815
Paperback
Condition: New
€ 65.32
€ 65.32
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
€ 67.36
€ 67.36
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
€ 64.71
€ 64.71
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
€ 126.57
€ 126.57
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
€ 64.62
€ 64.62
Paperback. Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 426 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642005893
- ISBN
- 9783642005893
Paperback
Condition: New
€ 65.44
€ 65.44
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
€ 64.47
€ 64.47
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
€ 64.91
€ 64.91
Paperback. Constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. This book addresses all issues in programming languages and systems - ranging from foundational to practical issues. Editor(s): Shao, Zhong. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 447 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540766360
- ISBN
- 9783540766360
Paperback
Condition: New
€ 65.38
€ 65.38
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
€ 130.34
€ 130.34
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
€ 69.56
€ 69.56
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
€ 67.92
€ 67.92
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
€ 70.20
€ 70.20
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
€ 68.11
€ 68.11
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
€ 69.87
€ 69.87
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
€ 65.81
€ 65.81