Отображение 1,161 - 1,180 результаты of 1,379 для поиска '"design"', время запроса: 0.06сек. Отмена результатов
  1. 1161
    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 /
    по Suzuki, Kenji
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 1162
    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 /
    по Meyer, Bertrand
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  3. 1163
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    по Petrenko, Alexandre F.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 1164
    Developments in Language Theory (vol. # 4036) 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    по Ibarra, Oscar H.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  5. 1165
    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
    по Boissier, Olivier
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  6. 1166
    Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /
    по Coninx, Karin
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  7. 1167
    Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
    по Müller, Jörg P.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 1168
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    по Al-Begain, Khalid
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 1169
    Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    по Kobayashi, Naoki
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 1170
    Programming Languages and Systems (vol. # 3780) Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 1171
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  12. 1172
    Проблема непротиворечивости схем данных и ее решение в ERM-репозитории
    Предметы: “...Oracle Designer...”
    Полный текст
    Статья в журнале
  13. 1173
    Principles of the Spin Model Checker
    по Ben-Ari, Mordechai
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  14. 1174
    Programming Languages and Systems (vol. # 3444) 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
    по Sagiv, Mooly
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 1175
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
    по Barthe, Gilles
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 1176
    Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
    по Jedrzejowicz, Joanna
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 1177
    Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  18. 1178
    Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  19. 1179
    Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  20. 1180
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток