Отображение 961 - 980 результаты of 1,427 для поиска '"design"', время запроса: 0.05сек. Отмена результатов
  1. 961
    Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  2. 962
    Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  3. 963
    Mutative Media Communication Technologies and Power Relations in the Past, Present, and Futures /
    по Dator, James A., Sweeney, John A., Yee, Aubrey M.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  4. 964
    Design for Experience Where Technology Meets Design and Strategy /
    по Kim, Jinwoo
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  5. 965
    Best Practices for Commercial Roof-Mounted Photovoltaic System Installation
    по Wills, Rosalie, Milke, James A., Royle, Sara, Steranka, Kristin
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Buildings Design and construction....”
    Полный текст
    Электронная книга
  6. 966
    Human Work Interaction Design. Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces 4th IFIP 13.6 Working Conference, HWID 2015, London, UK, June 25-26, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  7. 967
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 968
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    по Backhouse, Roland
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 969
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 970
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 971
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  12. 972
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 973
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    по Garrigue, Jacques
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  14. 974
    Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
    по Paech, Barbara
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 975
    Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
    по Nicola, Rocco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 976
    Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 977
    Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
    по Sawyer, Pete
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  18. 978
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  19. 979
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    по Duparc, Jacques
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 980
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    по Dershowitz, Nachum
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток