Suggested Topics within your search.
Showing 161 - 180 results of 255 for search 'Model development and verification.', query time: 0.22s Refine Results
  1. 161
    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Published 2012
    “…Modeling Road Traffic Signals Control Using UML and …”
    Full Text (via Springer)
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  2. 162
    Multi-level issues in organizational behavior and strategy /

    Multi-level issues in organizational behavior and strategy /

    Published 2003
    “…theory approach: from verification to discovery /…”
    Book
    Save to List
    Saved in:
  3. 163
    Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

    Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 164
    Artificial intelligence and computational intelligence. third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings /

    Artificial intelligence and computational intelligence. third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings /

    Published 2011
    “…Based Framework for Development and Formal Verification of Flight Control …”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 165
    Advances in speech and language technologies for iberian languages : IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012, proceedings /

    Advances in speech and language technologies for iberian languages : IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012, proceedings /

    Published 2012
    “…Adaptation of Language Models /…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 166
    Web information systems and mining international conference, WISM 2011, Taiyuan, China, September 24-25, 2011, proceedings.

    Web information systems and mining international conference, WISM 2011, Taiyuan, China, September 24-25, 2011, proceedings.

    Published 2011
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 167
    ICT innovations 2012 secure and intelligent systems /

    ICT innovations 2012 secure and intelligent systems /

    Published 2013
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 168
    IAENG transactions on engineering technologies special edition of the World Congress on Engineering and Computer Science 2011 /

    IAENG transactions on engineering technologies special edition of the World Congress on Engineering and Computer Science 2011 /

    Published 2013
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 169
    Artificial intelligence and soft computing : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings.

    Artificial intelligence and soft computing : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings.

    Published 2013
    “…fMRI Data and Artificial Models /…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  10. 170
    Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /

    Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /

    Published 2006
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 171
    Internet and distributed computing systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings /

    Internet and distributed computing systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 172
    Advanced in Computer Science and Its Applications : CSA 2013 /

    Advanced in Computer Science and Its Applications : CSA 2013 /

    Published 2014
    “…Analysis and Library Development for Common Lamps by Using PSPICE Modeling …”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  13. 173
    Man-machine interactions 3 /

    Man-machine interactions 3 /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 174
    Advances in service-oriented and cloud computing : workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, revised selected papers /

    Advances in service-oriented and cloud computing : workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, revised selected papers /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 175
    The Oxford handbook of positive psychology /

    The Oxford handbook of positive psychology /

    Published 2016
    Full Text (via Oxford Handbooks Online)
    Continuing Resource
    Save to List
    Saved in:
  16. 176
    Knowledge technology third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised selected papers /

    Knowledge technology third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised selected papers / by Lukose, Dickson, Ahmad, Abdul Rahim, 1962-

    Published 2012
    “…Agricultural Research for Development /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  17. 177
    Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings /

    Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 178
    Computer processing of oriental languages beyond the Orient : the research challenges ahead : 21st international conference, ICCPOL 2006, Singapore, December 17-19, 2006 : proceedings /

    Computer processing of oriental languages beyond the Orient : the research challenges ahead : 21st international conference, ICCPOL 2006, Singapore, December 17-19, 2006 : proceedi...

    Published 2006
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  19. 179
    Web information systems and mining international conference, WISM 2012, Chengdu, China, October 26-28, 2012, proceedings /

    Web information systems and mining international conference, WISM 2012, Chengdu, China, October 26-28, 2012, proceedings /

    Published 2012
    “…Based on Problem Domain Model /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 180
    Collaborative, trusted and privacy-Aware e/m-Services 12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013, Athens, Greece, April 25-26, 2013. Proceedings /

    Collaborative, trusted and privacy-Aware e/m-Services 12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013, Athens, Greece, April 25-26, 2013. Proceeding...

    Published 2013
    “…Methodology for the Development and Verification of Access Control Systems …”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search