Εμφανίζονται 801 - 820 Αποτελέσματα από 2.227 για την αναζήτηση '"Software Engineering/Programming and Operating Systems"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 801
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Έκδοση 2015
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 802
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
    Έκδοση 2016
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 803
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
    Έκδοση 2016
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 804
    Formal Foundations for Software Engineering Methods
    ανά Hußmann, Heinrich, Hußmann, Heinrich
    Έκδοση 1997
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 805
    Engineering Self-Organising Systems Nature-Inspired Approaches to Software Engineering /
    Έκδοση 2004
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2004
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 807
    Embedded Software Development with C
    ανά Qian, Kai, Den Haring, David, Cao, Li
    Έκδοση 2009
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 808
    Essence of Systems Analysis and Design A Workbook Approach /
    ανά Sajja, Priti Srinivas
    Έκδοση 2017
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2006
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 811
    Programming for Engineers A Foundational Approach to Learning C and Matlab /
    ανά Bradley, Aaron R.
    Έκδοση 2011
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 812
    IPv6 in Practice A Unixer’s Guide to the Next Generation Internet /
    ανά Stockebrand, Benedikt
    Έκδοση 2007
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 813
    Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
    Έκδοση 2009
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 814
    A Primer on Scientific Programming with Python
    ανά Langtangen, Hans Petter
    Έκδοση 2009
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 815
    Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers /
    Έκδοση 2009
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2010
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 817
    Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2010
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 819
    Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing /
    Έκδοση 2010
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 820
    Advances in Computer and Information Sciences and Engineering
    Έκδοση 2008
    Θέματα: “…Software Engineering/Programming and Operating Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email