Showing 201 - 220 results of 635 for search '"Logic design."', query time: 0.05s Refine Results
  1. 201
    Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
    by Shi, Zhongzhi
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 202
    Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 203
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    by Maragria, Tiziana
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 204
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    by Leue, Stefan
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 205
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    by Bonsangue, Marcello M.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 206
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    by Asarin, Eugene
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 207
    Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    by Pettersson, Paul
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 208
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V
    by Hermanns, Holger
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 209
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed
    by Halbwachs, Nicolas
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 210
    Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
    by Barley, Michael Wayne
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 211
    Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 212
    Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 213
    Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 214
    Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 215
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 216
    Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Bodik, Rastislav
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 217
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    by Nieuwenhuis, Robert
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 218
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 219
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 220
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed