.png){kind=logo}
Computer programming / software development
Results 4465 - 4488 of 8431
Computer programming / software development
Hardback. Series: X.media.press. BIC Classification: UML. Dimension: 254 x 203. Weight in Grams: 1160.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540436065
- ISBN
- 9783540436065
Hardback
Condition: New
€ 88.24
€ 88.24
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 72.32
€ 72.32
Paperback. Series: Springer-Lehrbuch. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540436218
- ISBN
- 9783540436218
Paperback
Condition: New
€ 45.05
€ 45.05
Hardback. Editor(s): Versteegen, Gerhard. Series: Xpert.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540436225
- ISBN
- 9783540436225
Hardback
Condition: New
€ 95.73
€ 95.73
Paperback. Presenting workshop reports and the documentation of a panel and posters from satellite events of the 15th European Conference on Object-Oriented Programming, this title offers a comprehensive and thought-provoking snapshot of research in object-oriented technology. Editor(s): Frohner, Akos. Series: Lecture Notes in Computer Science. Num Pages: 240 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783540436751
- ISBN
- 9783540436751
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts. Editor(s): Butler, Michael; Sere, Kaisa; Petre, Luigia. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783540437031
- ISBN
- 9783540437031
Paperback
Condition: New
€ 72.44
€ 72.44
paperback. Constitutes the proceedings of the 7th European Conference on Software Quality held in Finland in 2002. The 31 full papers and seven abstracts cover quality at Web, requirements engineering and QA, process improvement experience, risk and cost management, personal software process and more. Editor(s): Kontio, Jyrki; Conradi, Reidar. Series: Lecture Notes in Computer Science. Num Pages: 377 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 377
- Condition
- New
- SKU
- V9783540437499
- ISBN
- 9783540437499
Paperback
Condition: New
€ 71.81
€ 71.81
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
€ 138.03
€ 138.03
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
€ 67.87
€ 67.87
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
€ 68.78
€ 68.78
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
€ 69.76
€ 69.76
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
€ 72.22
€ 72.22
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
€ 143.75
€ 143.75
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
€ 72.46
€ 72.46
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
€ 70.37
€ 70.37
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
€ 75.13
€ 75.13
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
€ 136.32
€ 136.32
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
€ 70.85
€ 70.85
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
€ 132.26
€ 132.26
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
€ 127.57
€ 127.57
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
€ 74.48
€ 74.48
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
€ 73.57
€ 73.57
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
€ 136.32
€ 136.32
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
€ 136.50
€ 136.50