Computer programming / software development
Results 4105 - 4128 of 8429
Computer programming / software development
hardcover. Series: Xpert.Press. Num Pages: 188 pages, black & white illustrations, bibliography. BIC Classification: UM; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 445.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2003rd Edition
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540000198
- ISBN
- 9783540000198
Hardback
Condition: New
€ 81.48
€ 81.48
Formal Methods and Software Engineering: 4th International Conference ...
. Ed(S): George, Chris; Miao, Huaikou
paperback. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Editor(s): George, Chris; Miao, Huaikou. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Germany
- Edition
- 2002nd Edition
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540000297
- ISBN
- 9783540000297
Paperback
Condition: New
€ 137.70
€ 137.70
XML-Based Data Management and Multimedia Engineering-EDBT 2002
. Ed(S): Chaudhri, Akmal; Djeraba, Chabane; U...
Paperback. These are the refereed joint post-proceedings of three workshops held as part of the 8th International Conference on Extending Database Technology, EDBT 2002. Editor(s): Chaudhri, Akmal; Djeraba, Chabane; Unland, Rainer; Lindner, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 656 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 928.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 656
- Condition
- New
- SKU
- V9783540001300
- ISBN
- 9783540001300
Paperback
Condition: New
€ 138.30
€ 138.30
Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, in 2002. This book addresses various aspects of formal method for distributed systems and communication protocols, and contains 22 papers, 2 tool papers, and 2 posters. Editor(s): Peled, Doron A.; Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, biography. BIC Classification: UM; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540001416
- ISBN
- 9783540001416
Paperback
Condition: New
€ 71.89
€ 71.89
Paperback. Compiled from the proceedings of the 13th Annual International Symposium on Algorithms and Computation, this volume contains 57 papers. Coverage includes all relevant topics in algorithmics and computation, in particular computational geometry, algorithms and data structures. Editor(s): Bose, Prosenjit K. Series: Lecture Notes in Computer Science. Num Pages: 662 pages, biography. BIC Classification: PBW; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 933.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783540001423
- ISBN
- 9783540001423
Paperback
Condition: New
€ 77.57
€ 77.57
Paperback. Compiled from the proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, this volume contains 31 papers. A variety of topics from the theory of computing are addressed, from algorithmics, discrete mathematics and logics. Series: Lecture Notes in Computer Science. Num Pages: 368 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1170.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540002253
- ISBN
- 9783540002253
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. ECOOP 2002 Workshop Reader Series: Lecture Notes in Computer Science. Num Pages: 232 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540002338
- ISBN
- 9783540002338
Paperback
Condition: New
€ 69.02
€ 69.02
Paperback. These are the refereed proceedings of the 4th International Conference on Product Focused Software Process Improvement, PROFES 2002, held in Rovaniemi, Finland in December 2002. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 922.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 668
- Condition
- New
- SKU
- V9783540002345
- ISBN
- 9783540002345
Paperback
Condition: New
€ 138.25
€ 138.25
Hardback. This title presents a collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Grobner bases, and much more. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 332
- Condition
- New
- SKU
- V9783540002567
- ISBN
- 9783540002567
Hardback
Condition: New
€ 129.29
€ 129.29
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540003489
- ISBN
- 9783540003489
Paperback
Condition: New
€ 71.02
€ 71.02
Hardback. Addressing the motives for knowledge management, the concepts and models used in knowledge management for software engineering, their application to software engineering, and practical guidelines for managing software engineering knowledge. Editor(s): Aurum, Aybueke; Jeffery, Ross; Wohlin, Claes; Handzic, Meliha. Num Pages: 382 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540003700
- ISBN
- 9783540003700
Hardback
Condition: New
€ 135.72
€ 135.72
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540003892
- ISBN
- 9783540003892
Paperback
Condition: New
€ 72.68
€ 72.68
hardcover. This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Editor(s): Lee, Jonathan. Series: Studies in Fuzziness and Soft Computing. Num Pages: 270 pages, biography. BIC Classification: UMZ; UYQ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Germany
- Edition
- 2003rd Edition
- Number of pages
- 270
- Condition
- New
- SKU
- V9783540004721
- ISBN
- 9783540004721
Hardback
Condition: New
€ 199.75
€ 199.75
Hardback. This book addresses software design issues related to methods for the analysis of construction engineering by CAD (computer-aided design) systems and provides validation for their use. Attention is paid to mechanical models, their validity, and their external and internal coordination. Series: Foundations of Engineering Mechanics. Num Pages: 520 pages, 258 black & white illustrations, 38 black & white tables, biography. BIC Classification: TNC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 912.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540006282
- ISBN
- 9783540006282
Hardback
Condition: New
€ 259.60
€ 259.60
Paperback. Editor(s): Tanino, Tetsuzo; Tanaka, Tamaki; Inuiguchi, Masahiro. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 427 pages, 48 black & white tables, biography. BIC Classification: PBK; UM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 427
- Condition
- New
- SKU
- V9783540006534
- ISBN
- 9783540006534
Paperback
Condition: New
€ 200.23
€ 200.23
Hardback. Presents the extension UMLsec of the Unified Modeling Language for secure systems development. The first part of this book accessible to anyone with a basic background on object-oriented systems. The second part covers the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements. Num Pages: 316 pages, 79 black & white illustrations, biography. BIC Classification: UMN; URD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540007012
- ISBN
- 9783540007012
Hardback
Condition: New
€ 129.17
€ 129.17
Paperback. Editor(s): Stephanidis, Constantine; Carbonell, Noelle. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMX; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540008552
- ISBN
- 9783540008552
Paperback
Condition: New
€ 135.99
€ 135.99
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. These refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, include: algebraic models; automata and language theory; behavioral equivalences; categorical models; and computation processes over discrete and continuous data. Editor(s): Gordon, Andrew D. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540008972
- ISBN
- 9783540008972
Paperback
Condition: New
€ 73.28
€ 73.28
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Garavel, Hubert; Hatcliff, John
Paperback. Editor(s): Garavel, Hubert; Hatcliff, John. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540008989
- ISBN
- 9783540008989
Paperback
Condition: New
€ 137.36
€ 137.36
Paperback. Editor(s): Pezze, Mauro. Series: Lecture Notes in Computer Science. Num Pages: 421 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 421
- Condition
- New
- SKU
- V9783540008996
- ISBN
- 9783540008996
Paperback
Condition: New
€ 72.41
€ 72.41
Hardback. With a Foreword by Grady Booch Series: Springer Professional Computing. Num Pages: 648 pages, biography. BIC Classification: UDB; UMW. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 36. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2003. Corr. 2nd printing 2005
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540009146
- ISBN
- 9783540009146
Hardback
Condition: New
€ 70.93
€ 70.93
Hardback. Editor(s): Versteegen, Gerhard. Series: Xpert.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 619.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540009634
- ISBN
- 9783540009634
Hardback
Condition: New
€ 95.68
€ 95.68
Paperback. Editor(s): O'Sullivan, Barry. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, biography. BIC Classification: KNTX; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783540009863
- ISBN
- 9783540009863
Paperback
Condition: New
€ 68.56
€ 68.56