Showing 141 - 160 results of 635 for search '"Logic design."', query time: 0.07s Refine Results
  1. 141
    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  2. 142
    International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
    by Arbab, Farhad
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 143
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers /
    by Cortesi, Agostino
    Published 2006
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 144
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  5. 145
    Distributed Programming Theory and Practice /
    by Shankar, A. Udaya
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  6. 146
    Inconsistency Tolerance
    by Bertossi, Leopoldo
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 147
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
    by Abdallah, Ali E.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 148
    Practical Aspects of Declarative Languages (vol. # 3350) 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
    by Cabeza, Daniel
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 149
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  10. 150
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  11. 151
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 152
    Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 153
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 154
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 155
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    by Crnkovic, Ivica
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 156
    Temporal Logic and State Systems
    by Kröger, Fred
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 157
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 158
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 159
    Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 160
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
    by Butler, Michael
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed