Showing 61 - 80 results of 1,807 for search '"Computer logic."', query time: 0.09s Refine Results
  1. 61
    Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 62
    Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
    Published 2009
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 63
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 64
    Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 65
    Specification of Software Systems
    by Alagar, V.S, Periyasamy, K.
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 67
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 68
    Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 69
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 70
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 71
    Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 72
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
    Published 2005
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
    Published 2007
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    Unfoldings A Partial-Order Approach to Model Checking /
    by Esparza, Javier, Heljanko, Keijo
    Published 2008
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 77
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 78
    Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 79
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 80
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search