Showing 1,101 - 1,120 results of 1,379 for search '"design"', query time: 0.05s Refine Results
  1. 1101
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  2. 1102
    Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  3. 1103
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  4. 1104
    Countdown to a Moon Launch Preparing Apollo for Its Historic Journey /
    by Ward, Jonathan H.
    Published in Springer eBooks (2015)
    Subjects: “...Computer-Aided Engineering (CAD, CAE) and Design....”
    Get full text
    eBook
  5. 1105
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    by Araki, Keijiro
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 1106
    Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    by Gorrieri, Roberto
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 1107
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    by Altenkirch, Thorsten
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 1108
    Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 1109
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    by Cuellar, Jorge
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 1110
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 1111
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    by Bernardo, Marco
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 1112
    Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
    by Reussner, Ralf H.
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 1113
    SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings /
    by Reed, Rick
    Published 2006
    Subjects: “...Logic design...”
    Get full text
    eBook
  14. 1114
    Hybrid Systems: Computation and Control (vol. # 3927) 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    by Hespanha, Joao
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 1115
    Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
    by Abrahamsson, Pekka
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 1116
    Distributed Applications and Interoperable Systems (vol. # 4025) 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
    by Eliassen, Frank
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 1117
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    by Miculan, Marino
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 1118
    Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr
    by Drossopoulou, Sophia
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 1119
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    by Bonsangue, Marcello M.
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 1120
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    by Indulska, Jadwiga
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed