Showing 801 - 820 results of 2,227 for search '"Software Engineering/Programming and Operating Systems."', query time: 0.09s Refine Results
  1. 801
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 802
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
    Published 2016
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 803
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
    Published 2016
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 804
    Formal Foundations for Software Engineering Methods
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 805
    Engineering Self-Organising Systems Nature-Inspired Approaches to Software Engineering /
    Published 2004
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 806
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 807
    Embedded Software Development with C
    by Qian, Kai, Den Haring, David, Cao, Li
    Published 2009
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 808
    Essence of Systems Analysis and Design A Workbook Approach /
    by Sajja, Priti Srinivas
    Published 2017
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 809
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 810
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Published 2006
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 811
    Programming for Engineers A Foundational Approach to Learning C and Matlab /
    by Bradley, Aaron R.
    Published 2011
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 812
    IPv6 in Practice A Unixer’s Guide to the Next Generation Internet /
    by Stockebrand, Benedikt
    Published 2007
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 813
    Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
    Published 2009
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 814
    A Primer on Scientific Programming with Python
    by Langtangen, Hans Petter
    Published 2009
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 815
    Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers /
    Published 2009
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 816
    VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /
    Published 2010
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 817
    Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
    Published 2010
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 818
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
    Published 2010
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 819
    Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing /
    Published 2010
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 820
    Advances in Computer and Information Sciences and Engineering
    Published 2008
    Subjects: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search