Computer programming / software development
Results 3817 - 3840 of 8435
Computer programming / software development
Paperback. Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540752202
- ISBN
- 9783540752202
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. Constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, held in Nuremberg, Germany, in September 2007. This book presents 33 revised full papers and 16 short papers that were reviewed and selected from 136 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 563 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540751007
- ISBN
- 9783540751007
Paperback
Condition: New
€ 66.48
€ 66.48
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. This book addresses various issues of computing with constraints that range from methodological and foundational aspects to solving real-world problems in various application fields. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 902 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 45. Weight in Grams: 1371.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 902
- Condition
- New
- SKU
- V9783540749691
- ISBN
- 9783540749691
Paperback
Condition: New
€ 127.57
€ 127.57
Paperback. Constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. This book contains sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, and finite model theory. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 614 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4
- Number of pages
- 614
- Condition
- New
- SKU
- V9783540749141
- ISBN
- 9783540749141
Paperback
Condition: New
€ 124.79
€ 124.79
Paperback / so. Editor(s): Holleczek, Peter; Vogel-Heuser, Birgit. Series: Informatik Aktuell. Num Pages: 126 pages, black & white illustrations, black & white tables, figures, bibliography. BIC Classification: UMZ; UT. Category: (G) General (US: Trade). Dimension: 236 x 159 x 9. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9783540748366
- ISBN
- 9783540748366
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 308 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540747918
- ISBN
- 9783540747918
Paperback
Condition: New
€ 64.02
€ 64.02
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007. This book presents 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540746089
- ISBN
- 9783540746089
Paperback
Condition: New
€ 65.68
€ 65.68
paperback. Constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 10-13, 2007. This book presents 18 revised full papers together with 9 invited papers that were reviewed and selected. Series: Lecture Notes in Computer Science. Num Pages: 338 pages, biography. BIC Classification: UK; UMB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9783540745921
- ISBN
- 9783540745921
Paperback
Condition: New
€ 64.33
€ 64.33
Paperback. Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 280 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540744634
- ISBN
- 9783540744634
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Constitutes the refereed post-proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2006, held as 2 events at AAMAS 2006, the 5th Joint Conference on Autonomous Agents and Multiagent Systems in Japan, and ECAI 2006, the 17th European Conference on Artificial Intelligence in Italy. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UMZ; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540744573
- ISBN
- 9783540744573
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006. This work contains papers that address various theoretical and methodological issues on functional and function-based languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 282 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 282
- Condition
- New
- SKU
- V9783540741299
- ISBN
- 9783540741299
Paperback
Condition: New
€ 64.10
€ 64.10
Hardback. Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their original development. It contains references and pointers to developments. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1136.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 646
- Condition
- New
- SKU
- V9783540741060
- ISBN
- 9783540741060
Hardback
Condition: New
€ 189.24
€ 189.24
paperback. Constitutes the proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 480 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540740605
- ISBN
- 9783540740605
Paperback
Condition: New
€ 65.70
€ 65.70
Paperback. Constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007. This work contains papers that are organized in topical sections on types, runtime implementation, empirical studies, programs and predicates, language design and inheritance and derivation. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 638 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 973.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 638
- Condition
- New
- SKU
- V9783540735885
- ISBN
- 9783540735885
Paperback
Condition: New
€ 125.09
€ 125.09
Paperback. Constitutes the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, held in Medford, MA, USA in July 2007. This work contains papers that are organized in topical sections on component-based architectures and change, quality of service and runtime verification and monitoring. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 297
- Condition
- New
- SKU
- V9783540735502
- ISBN
- 9783540735502
Paperback
Condition: New
€ 63.93
€ 63.93
Paperback. Covers the proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 434 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540734475
- ISBN
- 9783540734475
Paperback
Condition: New
€ 65.22
€ 65.22
Paperback. Constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. This book features papers that are organized in topical sections on directed model checking. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 295 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 295
- Condition
- New
- SKU
- V9783540733690
- ISBN
- 9783540733690
Paperback
Condition: New
€ 63.95
€ 63.95
Paperback. This book covers developing web applications with Ruby on Rails. It discusses Ajax, directory services, and web services. In addition, the book makes a comparison with PHP, the most commonly used scripting language for developing web applications. Num Pages: 394 pages, 202 black & white illustrations, 32 black & white tables, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783540731443
- ISBN
- 9783540731443
Paperback
Condition: New
€ 65.41
€ 65.41
Paperback. Describes experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. This book covers topics such as fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 248 pages, 1, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540731306
- ISBN
- 9783540731306
Paperback
Condition: New
€ 65.89
€ 65.89
Paperback. Constitutes the proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007. This book includes papers that are organized in topical sections on managing agile processes, extending agile methodologies, empirical studies, and methodology issue. Series: Lecture Notes in Computer Science. Num Pages: 295 pages, biography. BIC Classification: UMF; UMH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 295
- Condition
- New
- SKU
- V9783540731009
- ISBN
- 9783540731009
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2007, held in Trondheim, Norway. This book covers goal-driven requirements engineering (RE), products and product-lines, value-based RE and the value of RE, and requirements elicitation. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540730309
- ISBN
- 9783540730309
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. Constitutes the refereed proceedings of the 19th International Conference on Advanced Information Systems Engineering, CAiSE 2007, held in Trondheim, Norway in June 2007. This book features papers that are organized in topical sections on ontologies, extended enterprises, service-oriented architecture, strategic alignment, and requirements. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 622 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 943.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 622
- Condition
- New
- SKU
- V9783540729877
- ISBN
- 9783540729877
Paperback
Condition: New
€ 125.65
€ 125.65
Paperback. Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 327 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540729198
- ISBN
- 9783540729198
Paperback
Condition: New
€ 64.69
€ 64.69
Hardback. Num Pages: black & white illustrations, black & white tables, figures, bibliography. BIC Classification: UF; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 239 x 160 x 15. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540728696
- ISBN
- 9783540728696
Hardback
Condition: New
€ 53.80
€ 53.80