Computer programming / software development
Results 1993 - 2016 of 7831
Computer programming / software development
Paperback. Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and pragmatic aspects of programming languages overall. The main programming paradigms are presented, in a straightforward way. Series: Undergraduate Topics in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (UU) Undergraduate. Dimension: 235 x 157 x 24. Weight in Grams: 696.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 460
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9781848829138
- ISBN
- 9781848829138
Paperback
Condition: New
€ 67.80
€ 67.80
Programming Languages with Applications to Biology and Security
. Ed(S): Bodei, Chiara; Ferrari, Gianluigi; P...
Paperback. Editor(s): Bodei, Chiara; Ferrari, Gianluigi; Priami, Corrado. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, 77 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 375
- Condition
- New
- SKU
- V9783319255262
- ISBN
- 9783319255262
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Editor(s): Yang, Hongseok. Series: Lecture Notes in Computer Science. Num Pages: 969 pages, 236 black & white illustrations, biography. BIC Classification: UM; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2017
- Number of pages
- 969
- Condition
- New
- SKU
- V9783662544334
- ISBN
- 9783662544334
Paperback
Condition: New
€ 133.89
€ 133.89
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
€ 71.41
€ 71.41
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
€ 132.47
€ 132.47
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
€ 69.34
€ 69.34
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
€ 70.33
€ 70.33
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
€ 68.05
€ 68.05
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