Showing 5,321 - 5,340 results of 7,608 for search '"Software Engineering"', query time: 0.16s Refine Results
  1. 5321
    Soft-Ware 2002: Computing in an Imperfect World First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 5322
    Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 5323
    Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 5324
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5325
    FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 5326
    Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 5327
    Advanced Information Systems Engineering 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 5328
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 5329
    Advances in Learning Software Organizations Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 5330
    Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
    Published 2001
    Table of Contents: “… Model Checking to Detect Deadlocks in Distributed Object Systems -- Component Metadata for Software…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 5331
    Quality of Service in Multiservice IP Networks International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 5332
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Published 1997
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 5333
    Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 5334
    Advances in Exception Handling Techniques
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 5335
    Multi-Agent Systems and Applications 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 5336
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 5337
    Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
    Published 1997
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 5338
    Modular Programming Languages Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 5339
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 5340
    Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search