.png){kind=logo}
Computing
Results 7961 - 7980 of 30854
Computing
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
Paperback. Programming Languages and Operational Semantics Series: Undergraduate Topics in Computer Science. Num Pages: 218 pages, 10 black & white illustrations, biography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 157 x 233 x 12. Weight in Grams: 324.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9781447163671
- ISBN
- 9781447163671
Paperback
Condition: New
€ 60.51
€ 60.51
Paperback. Editor(s): Rauber Du Bois, Andre; Trinder, Phil. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 167 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 167
- Condition
- New
- SKU
- V9783642409219
- ISBN
- 9783642409219
Paperback
Condition: New
€ 86.85
€ 86.85
Paperback. Editor(s): Pardo, Alberto; Swierstra, S. Doaitse. Series: Lecture Notes in Computer Science. Num Pages: 152 pages, 58 colour illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 152
- Condition
- New
- SKU
- V9783319240114
- ISBN
- 9783319240114
Paperback
Condition: New
€ 54.39
€ 54.39
Paperback. This interactive textbook introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. Each chapter includes practice exercises. Num Pages: 282 pages, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2008
- Number of pages
- 282
- Condition
- New
- SKU
- V9781441946362
- ISBN
- 9781441946362
Paperback
Condition: New
€ 148.84
€ 148.84
Paperback. Editor(s): Castor, Fernando; Liu, Yu David. Series: Lecture Notes in Computer Science. Num Pages: 187 pages, 72 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 187
- Condition
- New
- SKU
- V9783319452784
- ISBN
- 9783319452784
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. This interactive textbook introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. Each chapter includes practice exercises. Num Pages: 282 pages, biography. BIC Classification: UMX. Category: (UF) Further/Higher Education. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2008
- Number of pages
- 282
- Condition
- New
- SKU
- V9780387794211
- ISBN
- 9780387794211
Hardback
Condition: New
€ 149.83
€ 149.83