Отображение 1,281 - 1,300 результаты of 1,379 для поиска '"design"', время запроса: 0.05сек. Отмена результатов
  1. 1281
    SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  2. 1282
    Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  3. 1283
    Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  4. 1284
    Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  5. 1285
    Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  6. 1286
    Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  7. 1287
    HCI International 2015 - Posters’ Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  8. 1288
    HCI International 2015 - Posters’ Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  9. 1289
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    по Arun-Kumar, S.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 1290
    Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 1291
    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 /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  12. 1292
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 1293
    A Modular Calculus for the Average Cost of Data Structuring
    по Schellekens, Michel
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  14. 1294
    STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
    по Thomas, Wolfgang
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 1295
    Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    по Corradini, Andrea
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 1296
    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 /
    по Azevedo, Francisco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 1297
    Principle and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
    по Benhamou, Frédéric
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  18. 1298
    Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
    по Van Beek, Peter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  19. 1299
    FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
    по Ramanujam, R.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 1300
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток