Showing 5,101 - 5,120 results of 7,608 for search '"Software Engineering"', query time: 0.16s Refine Results
  1. 5101
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 5102
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 5103
    Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 5104
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5105
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 5106
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 5107
    Software Quality - ECSQ 2002 Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 5108
    Modular Specification and Verification of Object-Oriented Programs
    by Müller, Peter, Müller, Peter
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 5109
    Software Process Technology 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 5110
    Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 5111
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 5112
    Optimal Interprocedural Program Optimization A New Framework and Its Application /
    by Knoop, Jens, Knoop, Jens
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 5113
    Formal Syntax and Semantics of Java
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 5114
    Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 5115
    Computing in Object-Oriented Parallel Environments Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 5116
    CASL User Manual Introduction to Using the Common Algebraic Specification Language /
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 5117
    Workflow Management Systems for Process Organisations
    by Schael, Thomas, Schael, Thomas
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 5118
    Performance Engineering State of the Art and Current Trends /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 5119
    Software Process: Principles, Methodology, and Technology
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 5120
    Methods and Models in Mathematical Programming
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search