Showing 1,201 - 1,220 results of 1,379 for search '"design"', query time: 0.06s Refine Results
  1. 1201
    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...”
    Get full text
    eBook
  2. 1202
    Programming Languages and Systems (vol. # 3924) 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
    by Sestoft, Peter
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 1203
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    by Misra, Jayadev
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 1204
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    by Fitzgerald, John
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 1205
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    by Peled, Doron A.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 1206
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 1207
    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...”
    Get full text
    eBook
  8. 1208
    Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  9. 1209
    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....”
    Get full text
    eBook
  10. 1210
    Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  11. 1211
    Схемотехническое проектирование и моделирование радиоэлектронных устройств
    Subjects: “...DesignLab, программа схемотехнического проектирования...”
    Software eBook
  12. 1212
    Нелинейные цепи в программах схемотехнического моделирования: монография/
    Subjects: “...DesignLab 8.0...”
    Перейти в каталог Библиотеки ТУСУР
    Book
  13. 1213
    Реализация репозитория ERM-модели в CASE-системе Oracle Designer
    Subjects: “...Oracle Designer...”
    Get full text
    Article
  14. 1214
    Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 1215
    The Risk City Cities Countering Climate Change: Emerging Planning Theories and Practices around the World /
    by Jabareen, Yosef
    Published in Springer eBooks (2015)
    Subjects: “...Buildings Design and construction....”
    Get full text
    eBook
  16. 1216
    Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
    by Kreowski, Hans-Jörg
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 1217
    Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
    by Malenfant, Jacques
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 1218
    Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    by Adi, Asaf
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 1219
    Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 1220
    Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed