Showing 1,021 - 1,040 results of 1,266 for search '"Logic."', query time: 0.04s Refine Results
  1. 1021
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul
    by Boissier, Olivier
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 1022
    Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings
    by Roth-Berghofer, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  3. 1023
    Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /
    by Coninx, Karin
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 1024
    Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
    by Müller, Jörg P.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 1025
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    by Al-Begain, Khalid
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 1026
    KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  7. 1027
    Concise Computer Mathematics Tutorials on Theory and Problems /
    by Bagdasar, Ovidiu
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  8. 1028
    Principles of the Spin Model Checker
    by Ben-Ari, Mordechai
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 1029
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
    by Barthe, Gilles
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 1030
    Formal Concept Analysis (vol. # 3403) Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
    by Ganter, Bernhard
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  11. 1031
    Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
    by Jedrzejowicz, Joanna
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 1032
    Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 1033
    Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  14. 1034
    Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  15. 1035
    Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 1036
    Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  17. 1037
    Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  18. 1038
    Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  19. 1039
    Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
    by Královič, Rastislav
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 1040
    Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings /
    by Gelbukh, Alexander
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
Search Tools: Get RSS Feed