Showing 441 - 460 results of 1,294 for search '"Logic."', query time: 0.09s Refine Results
  1. 441
    Modelling Distributed Systems
    by Fokkink, Wan
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 442
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 443
    Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    by Hermann, Miki
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 444
    Logic Programming (vol. # 3668) 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
    by Gabbrielli, Maurizio
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 445
    Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
    by Sutcliffe, Geoff
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 446
    Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  7. 447
    Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  8. 448
    Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  9. 449
    Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    by Feitelson, Dror
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 450
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  11. 451
    Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 452
    Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 453
    Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 454
    Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  15. 455
    Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  16. 456
    Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 457
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    by Shao, Zhong
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 458
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 459
    Logic Synthesis for Compositional Microprogram Control Units
    by Barkalov, Alexander
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 460
    Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
    by Harju, Tero
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed