| Call Number (LC) | Title | Results |
|---|---|---|
| QA76.9.C65 F59 2020 | Knowledge-based explorable extended reality environments / | 1 |
| QA76.9.C65 F64 1995 | Evolutionary computation : toward a new philosophy of machine intelligence / | 1 |
| QA76.9.C65 F64 2000 | Evolutionary computation : toward a new philosophy of machine intelligence / | 1 |
| QA76.9.C65 F64 2006 |
Evolutionary computation : toward a new philosophy of machine intelligence / Evolutionary computation toward a new philosophy of machine intelligence / |
2 |
| QA76.9.C65 F6436 2003 | Persuasive technology : using computers to change what we think and do / | 1 |
| QA76.9.C65 F65 2000 | Formal aspects of context / | 1 |
| QA76.9.C65 .F66 2007eb | Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings / | 1 |
| QA76.9.C65 F67 2003 | Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / | 1 |
| QA76.9.C65 F67 2004 | Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / | 1 |
| QA76.9.C65 F67 2008eb | Formal modeling and analysis of timed systems 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings / | 1 |
| QA76.9.C65 F67 2011 | Formal modeling and analysis of timed systems 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / | 1 |
| QA76.9.C65 F67 2012 | Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / | 1 |
| QA76.9.C65 F67 2013 | Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / | 1 |
| QA76.9.C65 F67 2016eb | Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings / | 1 |
| QA76.9.C65 F672 2004 | Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / | 1 |
| QA76.9.C65 F676 2005 |
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / |
4 |
| QA76.9.C65 F676 2006 | Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / | 1 |
| QA76.9.C65 F676 2006eb | Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / | 1 |
| QA76.9.C65 F676 2009 | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / | 1 |
| QA76.9.C65 F75 1996 | The simulation metamodel / | 1 |
