Showing 321 - 340 results of 1,266 for search '"Logic."', query time: 0.06s Refine Results
  1. 321
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 322
    25 Years of Model Checking History, Achievements, Perspectives /
    by Grumberg, Orna
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 323
    Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
    by Mossakowski, Till
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 324
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    by Pfenning, Frank
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 325
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /
    by Cousot, Patrick
    Published 2006
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 326
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    by Comon-Lundh, Hubert
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 327
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    by Nielson, Hanne Riis
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 328
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    by Bozapalidis, Symeon
    Published in Springer eBooks (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 329
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 330
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    by Hill, Patricia M.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 331
    Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    by Fiadeiro, José Luiz
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 332
    Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 333
    Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    by Etalle, Sandro
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  14. 334
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Furbach, Ulrich
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 335
    Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    by Mycroft, Alan
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 336
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 337
    Modelling Computing Systems Mathematics for Computer Science /
    by Moller, Faron, Struth, Georg
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 338
    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 339
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  20. 340
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
Search Tools: Get RSS Feed