Отображение 981 - 1,000 результаты of 1,427 для поиска '"design"', время запроса: 0.07сек. Отмена результатов
  1. 981
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 982
    Automotive Software- Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    по Broy, Manfred
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  3. 983
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 984
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    по Edelkamp, Stefan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  5. 985
    Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  6. 986
    Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings /
    по Hentenryck, Pascal
    Публикация 2006
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  7. 987
    Object-Oriented Technology ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18-22, 2001 Proceedings /
    по Frohner, Ákos
    Публикация 2006
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 988
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 989
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    по Ésik, Zoltán
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 990
    Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    по Ong, Luke
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 991
    Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    по Hankin, Chris
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  12. 992
    ECOOP 2002 — Object-Oriented Programming 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings /
    по Magnusson, Boris
    Публикация 2006
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 993
    Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    по Hung, Dang Van
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  14. 994
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    по de Vrijer, Roel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 995
    Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  16. 996
    Learning and Collaboration Technologies. Technology-Rich Environments for Learning and Collaboration First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Media Design....”
    Полный текст
    Электронная книга
  17. 997
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  18. 998
    Computer-Aided Architectural Design Futures. The Next City - New Technologies and the Future of the Built Environment 16th International Conference, CAAD Futures 2015, São Paulo, Brazil, July 8-10, 2015. Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer-Aided Engineering (CAD, CAE) and Design....”
    Полный текст
    Электронная книга
  19. 999
    Programming Languages and Operational Semantics A Concise Overview /
    по Fernández, Maribel
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  20. 1000
    Programming Multi-Agent Systems (vol. # 3346) Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    по Bordini, Rafael H.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток