Showing 1,861 - 1,880 results of 2,227 for search '"Software Engineering/Programming and Operating Systems."', query time: 0.13s Refine Results
  1. 1861
    Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
    Published 1999
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1862
    Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
    Published 1998
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1865
    Euro-Par 2002. Parallel Processing 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1866
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1867
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1868
    Multi-Agent Systems and Agent-Based Simulation First International Workshop, MABS '98, Paris, France, July 4-6, 1998, Proceedings /
    Published 1998
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1869
    Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
    Published 2003
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1870
    Reflection and Software Engineering
    Published 2000
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1871
    Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2000
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1873
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Published 2000
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2001
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1875
    Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
    Published 1999
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1876
    Software Quality - ECSQ 2002 Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings /
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1877
    STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings /
    Published 2000
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1878
    Modular Specification and Verification of Object-Oriented Programs
    by Müller, Peter, Müller, Peter
    Published 2002
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1879
    Software Process Technology 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings /
    Published 2001
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1880
    Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
    Subjects: “…Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search