Computer programming / software development
Results 2481 - 2500 of 6462
Computer programming / software development
Paperback. Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 papers cover aspect-oriented software development, Java virtual machines, distributed systems, patterns and architectures, languages, optimization and more. Editor(s): Magnusson, Boris. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 33. Weight in Grams: 906.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540437598
- ISBN
- 9783540437598
Paperback
Condition: New
€ 132.35
€ 132.35
Paperback. Constitutes the proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems, held in Israel in 2002. The 11 papers cover e-business technology, XML documents, Web-based database queries, Web surfing privacy, mobile objects, ontologies, prototypes and more. Editor(s): Halevy, Alon; Gal, Avigdor. Series: Lecture Notes in Computer Science. Num Pages: 176 pages, biography. BIC Classification: UDB; UM; UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540438199
- ISBN
- 9783540438199
Paperback
Condition: New
€ 64.82
€ 64.82
Process Algebra and Probabilistic Methods - Performance Modeling and V...
. Ed(S): Hermanns, Holger; Segala, Roberto
Paperback. Constitutes the proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, held in Denmark in 2002. The 10 papers cover fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, and more. Editor(s): Hermanns, Holger; Segala, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, biography. BIC Classification: PBF; PBWH; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540439134
- ISBN
- 9783540439134
Paperback
Condition: New
€ 65.72
€ 65.72
Paperback. These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis. Editor(s): Pettorossi, Alberto. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540439158
- ISBN
- 9783540439158
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. Editor(s): Tison, Sophie. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540439165
- ISBN
- 9783540439165
Paperback
Condition: New
€ 68.94
€ 68.94
Paperback. These are the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. Editor(s): Eriksson, Lars-Henrik; Lindsay, Peter Alexander. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 32. Weight in Grams: 1960.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540439288
- ISBN
- 9783540439288
Paperback
Condition: New
€ 137.10
€ 137.10
Paperback. These are the refereed proceedings of the Second Software Product Line Conference SPLC2, held in San Diego, USA in August 2002. Editor(s): Chastek, Gary J. Series: Lecture Notes in Computer Science. Num Pages: 402 pages, biography. BIC Classification: KNTX; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 402
- Condition
- New
- SKU
- V9783540439851
- ISBN
- 9783540439851
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Constituting the proceedings of the Second XP Universe and First Agile Universe Conference (XP/Agile Universe 2002), this volume contains 27 revised full papers presented together with tutorial abstracts, workshop summaries and panel statements on methods and support tools. Editor(s): Wells, Don; Williams, Lauris. Series: Lecture Notes in Computer Science. Num Pages: 296 pages, biography. BIC Classification: UMF; UMH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540440246
- ISBN
- 9783540440246
Paperback
Condition: New
€ 67.16
€ 67.16
Paperback. These are revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal. The nine lectures included present developments in programming language research. Editor(s): Barthe, Gilles; Dybjer, Peter; Pinto, Luis; Saraiva, Joao. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: CFG; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540440444
- ISBN
- 9783540440444
Paperback
Condition: New
€ 71.70
€ 71.70
Paperback. These are the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002 held in Montpellier, France, in September 2002. Editor(s): Bellahsene, Zohra; Patel, D.; Rolland, C. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540440871
- ISBN
- 9783540440871
Paperback
Condition: New
€ 129.98
€ 129.98
Paperback. Proceedings of four workshops held in conjunction with the 8th International Conference on Object-Oriented Information Systems held in France in 2002. Papers cover managing specialization/generalization hierarchies, reuse in object-oriented information systems design, Web-based systems and more. Editor(s): Bruel, Jean-Michel; Bellahsene, Zohra. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540440888
- ISBN
- 9783540440888
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Constituting the proceedings of the eighth International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, USA, in September 2002, this volume is compiled from submissions from the doctoral programme and covers all the main issues in constraint processing. Editor(s): Van Hentenryck, Pascal. Series: Lecture Notes in Computer Science. Num Pages: 794 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 41. Weight in Grams: 1138.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 794
- Condition
- New
- SKU
- V9783540441205
- ISBN
- 9783540441205
Paperback
Condition: New
€ 126.25
€ 126.25
Hardback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 538 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003. Corr. 2nd printing 2004
- Number of pages
- 538
- Condition
- New
- SKU
- V9783540441342
- ISBN
- 9783540441342
Hardback
Condition: New
€ 121.77
€ 121.77
paperback. These are the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. Editor(s): Kirchner, Helene; Ringeissen, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, biography. BIC Classification: PBF; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540441441
- ISBN
- 9783540441441
Paperback
Condition: New
€ 71.07
€ 71.07
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 70.19
€ 70.19
Paperback. Compiled from the proceedings of the Second International Bioinformatics, this volume contains 39 revised full papers presented together with a full invited paper. Among the topics addressed are exact and approximate algorithms for genomics, sequence analysis, gene and signal recognition. Editor(s): Guigo, Roderic; Gusfield, Dan. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, biography. BIC Classification: PSAK; PSB; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783540442110
- ISBN
- 9783540442110
Paperback
Condition: New
€ 129.98
€ 129.98
Engineering and Deployment of Cooperative Information Systems
. Ed(S): Han, Yanbo; Tai, Stefan; Wikarski, D...
Paperback. Compiled from the proceedings of the First International Conference on Engineering and Employment of Cooperative Information Systems, this volume contains 44 revised full papers. The papers are organized by topic and include workflow, ontologies, semantic Web and mobile agents. Editor(s): Han, Yanbo; Tai, Stefan; Wikarski, Dietmar. Series: Lecture Notes in Computer Science. Num Pages: 584 pages, biography. BIC Classification: UM; UN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 1780.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783540442226
- ISBN
- 9783540442226
Paperback
Condition: New
€ 130.15
€ 130.15
Paperback. Constituting the proceedings of the 6th International Symposium on Functional and Logic Programming, held in Aizu, Japan, this volume contains 15 revised full papers and three full invited papers, covering program transformation and analysis, semantics, rewriting and compilation techniques. Editor(s): Hu, Zhenjiang; Rodriquez-Artalejo, Mario. Series: Lecture Notes in Computer Science. Num Pages: 320 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783540442332
- ISBN
- 9783540442332
Paperback
Condition: New
€ 67.33
€ 67.33
Grammatical Inference - Algorithms and Applications
. Ed(S): Adriaans, Pieter; Fernau, Henning; V...
Paperback. These are the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands, in September 2002. Editor(s): Adriaans, Pieter; Fernau, Henning; Van Zaanen, M. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 318 pages, biography. BIC Classification: UMX; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540442394
- ISBN
- 9783540442394
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. 22-25, 2002, Proceedings Editor(s): Bradfield, Julian. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 32. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540442400
- ISBN
- 9783540442400
Paperback
Condition: New
€ 131.23
€ 131.23