Search Results - "Lecture notes in computer science"

Refine Results
  1. 61

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  2. 62

    Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  3. 63

    Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  4. 64

    Model-based engineering of embedded real-time systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  5. 65

    Modeling and Using Context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  6. 66

    Modeling decision for artificial intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  7. 67

    Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  8. 68

    Models in software engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  9. 69

    Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  10. 70

    Modern approaches in applied intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY,...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image

Search Tools: