Showing 401 - 420 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.14s Refine Results
  1. 401
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    by Damm, Werner
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 402
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Ball, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 403
    Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
    by Margenstern, Maurice
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 404
    Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
    by Farré, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 405
    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: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 406
    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: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 407
    Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology /
    by Lee, Raymond S. T.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 408
    Robustness and Usability in Modern Design Flows
    by Fey, Görschwin
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 409
    Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings
    by Munoz-Avila, Hector
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 410
    Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /
    by Eleftherakis, George
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 411
    Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings /
    by Weber, Rosina O.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 412
    Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 413
    Industrial Deployment of System Engineering Methods
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 414
    Transactions on Rough Sets XIX
    Published in Springer eBooks (2015)
    Table of Contents: “... Monitoring -- Interface of Rough Set Systems and Modal Logics: A Survey -- A Semantic Text Retrieval...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 415
    Principle and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
    by Benhamou, Frédéric
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 416
    Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
    by Van Beek, Peter
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 417
    Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers /
    by Azevedo, Francisco
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 418
    Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 419
    Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 420
    Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed