Showing 481 - 500 results of 635 for search '"Logic design."', query time: 0.08s Refine Results
  1. 481
    ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
    by Thomas, Dave
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 482
    Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
    by Müller, Jörg P.
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 483
    Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings /
    by Suzuki, Kenji
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 484
    Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    by Kobayashi, Naoki
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 485
    Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    by Giesl, Jürgen
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 486
    Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    by Graf, Susanne
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 487
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    by Meyer, Bertrand
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 488
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    by Al-Begain, Khalid
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 489
    Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 490
    Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings /
    by Winckler, Marco
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 491
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
    by Tuyls, Karl
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 492
    Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 493
    Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 494
    Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 495
    Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 496
    Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 497
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 498
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 499
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul
    by Boissier, Olivier
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 500
    Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed