Showing 5,341 - 5,360 results of 7,608 for search '"Software Engineering"', query time: 1.08s Refine Results
  1. 5341
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 5342
    Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 5343
    Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
    Published 2001
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 5344
    Innovative Internet Computing Systems International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Software Engineering Methods for IP-QoS Resource Pool Management -- Adaptive Quality of Service Management…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5345
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 5346
    Models and Tools for Managing Development Processes
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 5347
    Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 5348
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Published 1997
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 5349
    Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
    Published 1999
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 5350
    Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
    Published 1998
    Table of Contents: “… logic framework -- The village telephone system: A case study in formal software engineering…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 5351
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 5352
    Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
    Published 2013
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 5353
    Part-Whole Reasoning in an Object-Centered Framework
    by Lambrix, Patrick, Lambrix, Patrick
    Published 2000
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 5354
    Engineering Societies in the Agents World III Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… Revolution in Computer Science and Software Engineering -- Models -- Rationality, Autonomy and Coordination…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 5355
    Architecting Dependable Systems
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 5356
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 5357
    The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
    Published 2002
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 5358
    Scientific Engineering for Distributed Java Applications International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers /
    Published 2003
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 5359
    Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso /
    Published 1998
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 5360
    Foundations of Computer Science Potential-Theory-Cognition /
    Published 1997
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search