Browsing “Expert Systems” (Showing 21 - 40 of 1115 results)

8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

A Top-Down Approach

ACL2 Case Studies

18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings

5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II

International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers

8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings

Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings

Securing Current and Future Automotive IT Applications

14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings

9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I

17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I

Principles and Practice

32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings

13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues, Gdansk, Poland, from 6 to 9 September 2004.