Showing 4,861 - 4,880 results of 5,968 for search '"Software engineering."', query time: 0.19s Refine Results
  1. 4861
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 4862
    Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 4863
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4864
    Intelligent Systems and Soft Computing Prospects, Tools and Applications /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 4865
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences 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
  6. 4866
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 4867
    Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 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
  8. 4868
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 4869
    Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services 5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 4870
    Advances in Learning Software Organizations 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4871
    Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4872
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4873
    From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4874
    Agent-Oriented Software Engineering First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4875
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4876
    Objective Coordination in Multi-Agent System Engineering Design and Implementation /
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4877
    Product Focused Software Process Improvement Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4878
    Software Frameworks and Embedded Control Systems
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4879
    Agent Systems, Mobile Agents, and Applications Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000 Zurich, Switzerland, September 13-15, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4880
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search