Showing 1,041 - 1,060 results of 1,266 for search '"Logic."', query time: 0.04s Refine Results
  1. 1041
    Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 1042
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
    by Tuyls, Karl
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 1043
    Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  4. 1044
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  5. 1045
    Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
    by Kučera, Luděk
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 1046
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    by Namjoshi, Kedar S.
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 1047
    Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings /
    by Gelbukh, Alexander
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  8. 1048
    Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 1049
    Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings.
    by Parent, Christine
    Published in Springer e-books (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  10. 1050
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    by Barthe, Gilles
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 1051
    Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
    by Hodges, Wilfrid
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  12. 1052
    Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings /
    by Melin, Patricia
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  13. 1053
    Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
    by Calmet, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 1054
    Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    by Graf, Susanne
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 1055
    Modeling Decisions for Artificial Intelligence (vol. # 3885) Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings
    by Torra, Vicenç
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  16. 1056
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    by Peled, Doron A.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 1057
    Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
    by Bollig, Benedikt
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  18. 1058
    Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 1059
    Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 1060
    Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed