Showing 4,141 - 4,160 results of 7,608 for search '"software engineering"', query time: 0.19s Refine Results
  1. 4141
    Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 4142
    Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 4143
    Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4144
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 4145
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 4146
    Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /
    Published 2016
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 4147
    Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 4148
    On the Move to Meaningful Internet Systems: OTM 2015 Conferences Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 4149
    Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 4150
    Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4151
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4152
    Ad-hoc Networks and Wireless ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4153
    Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4154
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4155
    Risks and Security of Internet and Systems 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers /
    Published 2015
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4156
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4157
    Service Assurance with Partial and Intermittent Resources First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004. Proceedings /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4158
    Approximation and Online Algorithms First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003. Revised Papers /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4159
    Parallel Processing and Applied Mathematics 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4160
    Networking 2004 Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Third International IFIP-TC6 Networking Conference Athens, Greece, May 9–14, 2004, Proceedings /
    Published 2004
    Subjects: “…Software engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search