Showing 4,401 - 4,420 results of 7,608 for search '"software engineering"', query time: 0.37s Refine Results
  1. 4401
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
    by Beckert, Bernhard
    Published 2006
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  2. 4402
    Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
    by Besnard, Denis
    Published 2006
    Subjects: “…Software engineering 22316…”
    Get full text
    Electronic Kit Book
  3. 4403
    Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence
    Published 2019
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4404
    Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms
    Published 2019
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 4405
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 4406
    Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 4407
    Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 4408
    Interoperability and Open-Source Solutions for the Internet of Things International Workshop, FP7 OpenIoT Project, Held in Conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited Papers /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 4409
    Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 4410
    New Horizons in Design Science: Broadening the Research Agenda 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4411
    Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4412
    Human-Computer Interaction: Design and Evaluation 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4413
    Human-Computer Interaction: Interaction Technologies 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4414
    Human-Computer Interaction: Users and Contexts 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4415
    Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4416
    SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /
    Published 2016
    Table of Contents: “… -- Software Engineering: Methods, Tools, Applications From ESSENCE to Theory Oriented Software Engineering…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4417
    Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4418
    Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4419
    Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4420
    Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search