Showing 401 - 420 results of 1,294 for search '"Logic"', query time: 0.05s Refine Results
  1. 401
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 402
    Non-commutative Multiple-Valued Logic Algebras
    by Ciungu, Lavinia Corina
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 403
    Scientific Objectivity and Its Contexts
    by Agazzi, Evandro
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 404
    Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 405
    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. 462012...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 406
    New Computational Paradigms Changing Conceptions of What is Computable /
    by Cooper, S. Barry
    Published in Springer e-books (2008)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 407
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 408
    Constraints Meet Concurrency
    by Mauro, Jacopo
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 409
    Intermediate logic
    by Bostock, David
    Published 2002
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Перейти в каталог НБ ТГУ
    Book
  10. 410
    Avicenna's Theory of Science Logic, Metaphysics, Epistemology
    by Strobino, Riccardo
    Published 2021
    Subjects: “...Logic....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  11. 411
    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 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 412
    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 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 413
    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 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 414
    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 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 415
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 416
    ECOOP 2013 - Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 417
    ECOOP 2014 - Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 418
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 419
    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. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 420
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed