Εμφανίζονται 561 - 580 Αποτελέσματα από 5.968 για την αναζήτηση '"Software engineering."', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 561
    Ada 2005 Rationale The Language, The Standard Libraries /
    ανά Barnes, John
    Έκδοση 2008
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 562
    Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers /
    Έκδοση 2008
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 563
    Reverse Engineering of Object Oriented Code
    ανά Tonella, Paolo, Potrich, Alessandra
    Έκδοση 2005
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 564
    Guide to Assembly Language Programming in Linux
    ανά Dandamudi, Sivarama P.
    Έκδοση 2005
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 565
    Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /
    Έκδοση 2004
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 566
    Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
    Έκδοση 2004
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 567
    Fundamental Approaches to Software Engineering 7th International Conference, FASE 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.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 568
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 569
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 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.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 570
    Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 571
    Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 572
    Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 573
    Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software /
    ανά Diehl, Stephan
    Έκδοση 2007
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 574
    Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 575
    Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
    Έκδοση 2009
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 576
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 577
    Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 578
    Verification and Validation in Systems Engineering Assessing UML/SysML Design Models /
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 579
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 580
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    Έκδοση 2007
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email