Showing 4,661 - 4,680 results of 5,968 for search '"Software engineering."', query time: 0.31s Refine Results
  1. 4661
    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
  2. 4662
    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
  3. 4663
    Reflection and Software Engineering
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4664
    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. 4665
    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. 4666
    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. 4667
    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. 4668
    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. 4669
    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. 4670
    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. 4671
    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. 4672
    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. 4673
    Formal Syntax and Semantics of Java
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4674
    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. 4675
    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. 4676
    CASL User Manual Introduction to Using the Common Algebraic Specification Language /
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4677
    Workflow Management Systems for Process Organisations
    by Schael, Thomas, Schael, Thomas
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4678
    Performance Engineering State of the Art and Current Trends /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4679
    Software Process: Principles, Methodology, and Technology
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4680
    Methods and Models in Mathematical Programming
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search