Showing 1 - 20 results of 335 for search '"Computer programs"', query time: 5.10s Refine Results
  1. 1
    First International Conference on Advances in System Testing and Validation Lifecycle VALID 2009 : 20-25 September 2009, Porto, Portugal : proceedings /

    First International Conference on Advances in System Testing and Validation Lifecycle VALID 2009 : 20-25 September 2009, Porto, Portugal : proceedings / by International Conference on Advances in System Testing and Validation Lifecycle Porto, Portugal, IEEE XPlore Conference Proceedings Online

    Published: IEEE, 2009
    Subjects: “…Computer programs Testing Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  2. 2
    Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /

    Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-... by CC (Conference) London, England), SpringerLink (Online service), ETAPS (Conference)

    Published: Springer, 2015
    Subjects: “…Compilers (Computer programs) Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Persuasive technology design for health and safety : 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings /

    Persuasive technology design for health and safety : 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings / by International Conference on Persuasive Technology for Human Well-Being Linköping, Sweden, SpringerLink (Online service)

    Published: Springer, 2012
    Subjects: “…Persuasion (Psychology) Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  4. 4
    Compiler construction 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /

    Compiler construction 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2... by CC 2013 Rome, Italy, ETAPS (Conference), SpringerLink (Online service)

    Published: Springer, 2013
    Subjects: “…Compilers (Computer programs) Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Compiler construction 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, proceedings /

    Compiler construction 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, M... by CC 2011 Saarbrücken, Germany, SpringerLink (Online service), ETAPS 2011

    Published: Springer, 2011
    Subjects: “…Compilers (Computer programs) Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings /

    Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings / by VMCAI (Conference) Boston, Mass.), SpringerLink (Online service)

    Published: Springer, 2023
    Subjects: “…Computer programs Verification Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /

    Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / by International Workshop on Formal Methods for Industrial Critical Systems Paris, France, SpringerLink (Online service)

    Published: Springer, 2012
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Computer science for environmental engineering and ecoinformatics International Workshop, CSEEE 2011, Kunming, China, July 20-31, 2011, proceedings. Part II /

    Computer science for environmental engineering and ecoinformatics International Workshop, CSEEE 2011, Kunming, China, July 20-31, 2011, proceedings. Part II / by International Workshops on Computer Science for Environmental Engineering and EcoInformatics Kunming, China, SpringerLink (Online service)

    Published: Springer, 2011
    Subjects: “…Environmental engineering Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    OpenFOAM® : selected papers of the 11th Workshop /

    OpenFOAM® : selected papers of the 11th Workshop / by OpenFOAM (Workshop) Guimarães, Portugal), SpringerLink (Online service)

    Published: Springer, 2019
    Subjects: “…Computational fluid dynamics Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  10. 10
    14th IEEE International Conference on Program Comprehension ICPC 2006 : proceedings : 14-16 June, 2006, Athens, Greece /

    14th IEEE International Conference on Program Comprehension ICPC 2006 : proceedings : 14-16 June, 2006, Athens, Greece / by IEEE International Conference on Program Comprehension Athens, Greece, IEEE Computer Society, IEEE Computer Society. Technical Council on Software Engineering. Reengineering Forum, IEEE XPlore Conference Proceedings Online, International Business Machines Corporation, Università degli studi del Sannio, University of Waterloo

    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  11. 11
    ICPC 2007 15th IEEE International Conference on Program Comprehension : proceedings : 26-29 June 2007, Banff, Alberta, Canada /

    ICPC 2007 15th IEEE International Conference on Program Comprehension : proceedings : 26-29 June 2007, Banff, Alberta, Canada / by IEEE International Conference on Program Comprehension Banff, Alta., IEEE Computer Society, IEEE Computer Society. Technical Council on Software Engineering, IEEE XPlore Conference Proceedings Online

    Published: IEEE Computer Society, 2007
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Mutation Analysis, 2006. Second Workshop on date, 7-10 Nov. 2006.

    Mutation Analysis, 2006. Second Workshop on date, 7-10 Nov. 2006. by Workshop on Mutation Analysis Raleigh, N.C., IEEE XPlore Conference Proceedings Online, International Symposium on Software Reliability Engineering

    Published: IEEE, 2006
    Subjects: “…Mutation testing of computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  13. 13
    16th IEEE International Conference on Program Comprehension 10-13 June 2008, Amsterdam, the Netherlands /

    16th IEEE International Conference on Program Comprehension 10-13 June 2008, Amsterdam, the Netherlands / by IEEE International Conference on Program Comprehension Amsterdam, Netherlands, IEEE Computer Society, IEEE Computer Society. Technical Council on Software Engineering, IEEE XPlore Conference Proceedings Online

    Published: IEEE Computer Society, 2008
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  14. 14
    Proceedings of the 2009 IEEE 17th International Conference on Program Comprehension May 17-19, 2009, Vancouver, Canada : ICPC Vancouver, 2009, co-located with ICSE 2009.

    Proceedings of the 2009 IEEE 17th International Conference on Program Comprehension May 17-19, 2009, Vancouver, Canada : ICPC Vancouver, 2009, co-located with ICSE 2009. by IEEE International Conference on Program Comprehension Vancouver, B.C., IEEE XPlore Conference Proceedings Online, International Conference on Software Engineering

    Published: IEEE, 2009
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  15. 15
    Proceedings 19th IEEE International Conference on Program Comprehension ICPC 2011 : 22-24 June 2011, Kingston, Canada /

    Proceedings 19th IEEE International Conference on Program Comprehension ICPC 2011 : 22-24 June 2011, Kingston, Canada / by IEEE International Conference on Program Comprehension Kingston, Ont., IEEE Computer Society, IEEE XPlore Conference Proceedings Online, Institute of Electrical and Electronics Engineers, Queen's University (Kingston, Ont.)

    Published: IEEE Computer Society, 2011
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  16. 16
    2013 21st International Conference on Program Comprehension (ICPC) : proceedings : May 20-21, 2013, San Francisco, CA, USA /

    2013 21st International Conference on Program Comprehension (ICPC) : proceedings : May 20-21, 2013, San Francisco, CA, USA / by International Conference on Program Comprehension San Francisco, Calif., IEEE XPlore Conference Proceedings Online

    Published: IEEE, 2013
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  17. 17
    From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings /

    From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings / by FPS (Workshop) Grenoble, France), ETAPS (Conference), SpringerLink (Online service)

    Published: Springer, 2014
    Subjects: “…Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  18. 18
    Human systems integration to enhance maritime domain awareness for port/harbour security

    Human systems integration to enhance maritime domain awareness for port/harbour security by ProQuest Ebook Subscriptions, ProQuest (Firm), NATO Advanced Workshop on Human Systems Integration to Enhance Maritime Domain Awareness for Port/Harbour Security System

    Published: IOS Press, 2010
    Subjects: “…Harbors Security measures Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  19. 19
    Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers /

    Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18... by VSTTE (Conference) Online), SpringerLink (Online service), NSV (Workshop)

    Published: Springer, 2022
    Subjects: “…Computer programs Verification Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  20. 20
    Hardware and software Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers /

    Hardware and software Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers / by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

    Published: Springer, 2012
    Subjects: “…Computer programs Verification Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:

Search Tools: