Showing 1,061 - 1,080 results of 1,266 for search '"Logic."', query time: 0.07s Refine Results
  1. 1061
    Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
    by Malenfant, Jacques
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 1062
    Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    by Adi, Asaf
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 1063
    Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  4. 1064
    Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing /
    Published in Springer eBooks (2013)
    Subjects: “...Arithmetic and Logic Structures....”
    Get full text
    eBook
  5. 1065
    High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Arithmetic and Logic Structures....”
    Get full text
    eBook
  6. 1066
    Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  7. 1067
    Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /
    by Majkić, Zoran
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  8. 1068
    Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  9. 1069
    Modelling and Reasoning with Vague Concepts
    by Lawry, Jonathan
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  10. 1070
    Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings /
    by Wang, Guoyin
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  11. 1071
    Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
    by Saglietti, Francesca
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 1072
    System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    by Gotzhein, Reinhard
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 1073
    Principles and Practice of Semantic Web Reasoning (vol. # 4187) 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
    by Alferes, José Júlio
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 1074
    Neural Nets 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
    by Apolloni, Bruno
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  15. 1075
    Formal Correctness of Security Protocols With 62 Figures and 4 Tables /
    by Bella, Giampaolo
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  16. 1076
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings /
    by An, Aijun
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  17. 1077
    Probabilistic Inductive Logic Programming Theory and Applications /
    by De Raedt, Luc
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  18. 1078
    Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings /
    by Kryszkiewicz, Marzena
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  19. 1079
    Computer Safety, Reliability, and Security (vol. # 4166) 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    by Górski, Janusz
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 1080
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy
    by Kohlhase, Michael
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
Search Tools: Get RSS Feed