Showing 361 - 380 results of 1,266 for search '"Logic."', query time: 0.07s Refine Results
  1. 361
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 362
    Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    by Seidl, Helmut
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 363
    Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
    by Jermann, Christophe
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 364
    Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
    by De Felice, Clelia
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 365
    Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
    by Ibarra, Oscar H.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 366
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  7. 367
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  8. 368
    Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  9. 369
    Counterfactuals
    by Lewis, David K. 1941-
    Published 2005
    Subjects: “...Counterfactuals (Logic)...”
    Book
  10. 370
    Rigid Flexibility The Logic of Intelligence /
    by Wang, Pei
    Published in Springer e-books (2006)
    Subjects: “...logic...”
    Get full text
    eBook
  11. 371
    Complexity Theory Exploring the Limits of Efficient Algorithms /
    by Wegener, Ingo
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 372
    Field Arithmetic
    by Fried, Michael D.
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  13. 373
    From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
    by Marquis, Jean-Pierre
    Published in Springer eBooks (2009)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  14. 374
    Laws of Nature
    by Mittelstaedt, Peter
    Published in Springer e-books (2005)
    Subjects: “...Science Logic, Symbolic and mathematical...”
    Get full text
    eBook
  15. 375
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 376
    Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  17. 377
    Past and Present Interactions in Legal Reasoning and Logic
    Published in Springer eBooks (2015)
    Subjects: “...logic....”
    Get full text
    eBook
  18. 378
    Problems of Normativity, Rules and Rule-Following
    Published in Springer eBooks (2015)
    Subjects: “...logic....”
    Get full text
    eBook
  19. 379
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 380
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed