Showing 781 - 800 results of 858 for search '"DESIGN"', query time: 0.07s Refine Results
  1. 781
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by Barringer, Howard
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  2. 782
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    by FermΓΌller, Christian G
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  3. 783
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    by Leavens, Gary T
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  4. 784
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
    by Blume, Matthias
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  5. 785
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
    by Governatori, Guido
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  6. 786
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  7. 787
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    by Touili, Tayssir
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  8. 788
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    by Schreye, Danny
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  9. 789
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    by Dix, JΓΌrgen
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  10. 790
    Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
    by Parsons, Jeffrey
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  11. 791
    Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
    by Butterfield, Andrew
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  12. 792
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    by Dams, Dennis
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  13. 793
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
    by Qin, Shengchao
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  14. 794
    Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
    by Ablayev, Farid
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  15. 795
    Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning
    by Leeuwen, Jos P.
    Published 2005
    Subjects: “…Architecture / Design 65742…”
    Get full text
    Electronic Kit Book
  16. 796
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    by Blass, Andreas
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  17. 797
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
    by Aldini, Alessandro
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  18. 798
    Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
    by Tempesti, Gianluca
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  19. 799
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    by Chatterjee, Krishnendu
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  20. 800
    Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
    by Calude, Cristian S
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search