Εμφανίζονται 1.861 - 1.880 Αποτελέσματα από 2.227 για την αναζήτηση '"Software Engineering/Programming and Operating Systems."', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 1861
    Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
    Έκδοση 1999
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1862
    Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
    Έκδοση 1998
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1863
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1864
    Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1865
    Euro-Par 2002. Parallel Processing 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1866
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1867
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Έκδοση 2003
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1868
    Multi-Agent Systems and Agent-Based Simulation First International Workshop, MABS '98, Paris, France, July 4-6, 1998, Proceedings /
    Έκδοση 1998
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1869
    Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
    Έκδοση 2003
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1870
    Reflection and Software Engineering
    Έκδοση 2000
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1871
    Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1872
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1873
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Έκδοση 2000
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1874
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1875
    Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
    Έκδοση 1999
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1876
    Software Quality - ECSQ 2002 Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings /
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1877
    STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1878
    Modular Specification and Verification of Object-Oriented Programs
    ανά Müller, Peter, Müller, Peter
    Έκδοση 2002
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1879
    Software Process Technology 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings /
    Έκδοση 2001
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1880
    Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
    Θέματα: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email