Showing 961 - 980 results of 1,266 for search '"Logic."', query time: 0.06s Refine Results
  1. 961
    Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
    by Kordon, Fabrice
    Published in Springer eBooks (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 962
    ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /
    by Ernst, Erik
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 963
    Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
    by Sichman, Jaime Simão
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 964
    Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers /
    by Luck, Michael
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 965
    Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  6. 966
    Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
    by Blockeel, Hendrik
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  7. 967
    Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    by Gilroy, Stephen W.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 968
    Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
    by Südholt, Mario
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 969
    Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
    by Kordon, Fabrice
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 970
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  11. 971
    Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 972
    Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
    by De Nicola, Rocco
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 973
    Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings
    by Dey, Anind
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 974
    Distributed Applications and Interoperable Systems (vol. # 3543) 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    by Kutvonen, Lea
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 975
    Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
    by Baumeister, Hubert
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 976
    Transactions on Rough Sets IV
    by Peters, James F.
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  17. 977
    Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
    by Priami, Corrado
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 978
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 979
    Fundamental Approaches to Software Engineering 16th International Conference, FASE 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. 980
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed