Showing 401 - 420 results of 1,266 for search '"Logic."', query time: 0.06s Refine Results
  1. 401
    ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  2. 402
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  3. 403
    Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer....”
    Get full text
    eBook
  4. 404
    Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  5. 405
    Foundations of Software Science and Computational Structures (vol. # 3441) 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Sassone, Vladimiro
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 406
    Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
    by Aceto, Luca
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 407
    The Congruences of a Finite Lattice A Proof-by-Picture Approach /
    by Grätzer, George
    Published in Springer e-books (2006)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  8. 408
    Essays in Constructive Mathematics
    by Edwards, Harold M.
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  9. 409
    Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers /
    by Frachtenberg, Eitan
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 410
    Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    by Uustalu, Tarmo
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 411
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    by Futatsugi, Kokichi
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 412
    Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
    by Frachtenberg, Eitan
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 413
    Axiom of Choice
    by Herrlich, Horst
    Published in Springer e-books (2006)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  14. 414
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 415
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 416
    Сравнительный анализ систем имитационного моделирования
    Subjects: “...AnyLogic, программное обеспечение...”
    Get full text
    Book Chapter
  17. 417
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  18. 418
    Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    by Baader, Franz
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 419
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 420
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed