Showing 1,121 - 1,140 results of 1,379 for search '"design"', query time: 0.05s Refine Results
  1. 1121
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    by Baader, Franz
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 1122
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
    by Barkaoui, Kamel
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 1123
    Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    by Steffen, Martin
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 1124
    Digital Design of Nature Computer Generated Plants and Organics /
    by Deussen, Oliver
    Published in Springer e-books (2005)
    Subjects: “...Media Design...”
    Get full text
    eBook
  5. 1125
    Hybrid Systems: Computation and Control (vol. # 3414) 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
    by Morari, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 1126
    A General Framework for Reasoning On Inconsistency
    Subjects: “...Logic design....”
    Get full text
    eBook
  7. 1127
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O’Regan, Gerard
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  8. 1128
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  9. 1129
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  10. 1130
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  11. 1131
    HCI International 2014 - Posters’ Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings, Part II /
    Published in Springer eBooks (2014)
    Subjects: “...Media Design....”
    Get full text
    eBook
  12. 1132
    HCI International 2014 - Posters’ Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings, Part I /
    Published in Springer eBooks (2014)
    Subjects: “...Media Design....”
    Get full text
    eBook
  13. 1133
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 1134
    Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 1135
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 1136
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  17. 1137
    Theoretical Introduction to Programming
    by Mills, Bruce
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 1138
    Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
    by Giorgini, Paolo
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 1139
    Finite Model Theory and Its Applications
    by Grädel, Erich
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 1140
    ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
    by Black, Andrew
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed