.png){kind=logo}
Computer programming / software development
Results 1841 - 1860 of 7836
Computer programming / software development
Paperback. Constitutes the refereed post-proceedings of the 7th International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS 2005, that was held in Utrecht, Netherlands, in July 2005 and in Klagenfurt, Austria, in October 2005. This book presents 19 revised full papers. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540482918
- ISBN
- 9783540482918
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Constitutes the refereed proceedings of 14 international workshops that was held as part of OTM 2006 in Montpellier, France in October/November 2006. This title presents 191 revised full papers. Series: Lecture Notes in Computer Science. Num Pages: 1055 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1055
- Condition
- New
- SKU
- V9783540482734
- ISBN
- 9783540482734
Paperback
Condition: New
€ 135.20
€ 135.20
Paperback. Constitutes the proceedings of the Second International Conference on Natural Computation, ICNC 2006. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1040 pages, biography. BIC Classification: PSAJ; UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1549.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1040
- Condition
- New
- SKU
- V9783540459071
- ISBN
- 9783540459071
Paperback
Condition: New
€ 135.15
€ 135.15
Hardback. Devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The book covers the basics of classical knowledge discovery; the techniques in relational data mining; and advanced applications in various fields. Num Pages: 398 pages, 69 black & white tables, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540422891
- ISBN
- 9783540422891
Hardback
Condition: New
€ 135.84
€ 135.84
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 392 pages, 22 black & white illustrations, 30 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 1260.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540417873
- ISBN
- 9783540417873
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. This book addresses various aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, and security and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540377566
- ISBN
- 9783540377566
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This title covers various issues of research in logic programming. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 488 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 22
- Number of pages
- 488
- Condition
- New
- SKU
- V9783540366355
- ISBN
- 9783540366355
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. This book addresses issues that range from algorithmics to support for program construction in programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 654.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540356318
- ISBN
- 9783540356318
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback. Constitutes the refereed proceedings of the 18th International Conference on Advanced Information Systems Engineering, CAiSE 2006, held in Luxembourg, in June 2006. This book presents 33 revised full papers together with 3 keynote talks. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 580 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540346524
- ISBN
- 9783540346524
Paperback
Condition: New
€ 136.50
€ 136.50
Paperback. Constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. This book presents 13 revised full papers together with 1 work-in-progress paper. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 231 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783540344544
- ISBN
- 9783540344544
Paperback
Condition: New
€ 68.90
€ 68.90
paperback. Constitutes the refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. This book features the papers that are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling. Series: Lecture Notes in Computer Science. Num Pages: 187 pages, biography. BIC Classification: KNTX; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer Germany
- Edition
- 2006th Edition
- Number of pages
- 187
- Condition
- New
- SKU
- V9783540342151
- ISBN
- 9783540342151
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. This work contains papers that are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 308 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 970.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540334385
- ISBN
- 9783540334385
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 318 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1010.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540331025
- ISBN
- 9783540331025
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The 17 revised full papers presented together with three tool demonstration papers and one invited paper were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 290 pages, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783540330509
- ISBN
- 9783540330509
Paperback
Condition: New
€ 70.06
€ 70.06
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. Series: Lecture Notes in Computer Science. Num Pages: 758 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783540305538
- ISBN
- 9783540305538
Paperback
Condition: New
€ 131.69
€ 131.69
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. Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540285380
- ISBN
- 9783540285380
Paperback
Condition: New
€ 73.60
€ 73.60
paperback. Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 578 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 578
- Condition
- New
- SKU
- V9783540282310
- ISBN
- 9783540282310
Paperback
Condition: New
€ 75.71
€ 75.71
Paperback. Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540281955
- ISBN
- 9783540281955
Paperback
Condition: New
€ 70.30
€ 70.30
Paperback. A post-event proceedings volume, containing selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. The papers are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, and other areas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 279 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540261896
- ISBN
- 9783540261896
Paperback
Condition: New
€ 70.03
€ 70.03