Вы здесь

Главная

гибридная система

Связанные издания:

Accelerator Programming Using Directives: Proc./4th International Workshop, WACCPD 2017 Held in Conjuction with the SC 2017, Denver,CO,USA, November 2017
Accelerator Programming Using Directives: Proc./7th International Workshop, WACCPD 2020, Virtual Event, November 2020
Advances in Artificial Intelligence - IBERAMIA 2010: Proc./12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 2010
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006: Proc./2nd Intl Joint Conf: 10th Ibero-American Conf on AI; 18th Brazilian AI Symposium. Riberaio Preto, Brazil, October 2006
Advances in Artificial Intelligence, Part I: Proc./10th Mexican International Conference, MICAI 2011, Puebla, Mexico, November 2011
Advances in Hybrid Information Technology: Revised Selected Papers/First International Conference, ICHIT 2006. Jeju Island, Korea, November 2006
Advances in Neuro-Information Processing: Part I: Revised Selected Papers/15th International Conference, ICONIP 2008. Auckland, New Zealand, November 2008
Analytical and Stochastic Modeling Techniques and Applications: Proc./17th International Conference, ASMTA 2010, Cardiff, UK, June 2010
Architecture of Computing Systems - ARCS 2017: Proc./30th International Conference, Vienna, Austria, April 2017
Architecture of Computing Systems - ARCS 2018: Proc./31st International Conference, Braunschweig, Germany, April 2018
Artificial Intelligence and Soft Computing, Part I: Proc./13th International Conference, ICAISC 2014, Zakopane, Poland, June 2014
Artificial Neural Networks - ICANN 2008. Part I: Proc./18th International Conference. Prague, Czech Republic, September 2008
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Technology for Verification and Analysis: Proc./10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 2012
Automated Technology for Verification and Analysis: Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, October 2011
Automatic Verification of Hybrid Systems with Large Discrete State Space
Bioinspered Optimization Methods and Their Applications: Proc./8th International Conference, BIOMA 2018, Paris, France, May 2018
Computational Methods in Systems Biology: Proc./13th International Conference, CMSB 2015, Nantes, France, September 2015
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010
Dependable Software Engineering: Theories, Tools, and Applications: Proc./1st International Symposium, SETTA 2015, Nanjing, China, November 2015
Dynamic Data Driven Application Systems: Proc./3rd International Conference, DDDAS 2020, Boston,MA,USA, October 2020
Engineering Self-Organized Systems: Revised and Invited Papers/4th International Workshop, ESOA 2006. Hakodate, Japan, May 2006
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Fundamentals of Computation Theory: Proc./21st International Symposium, FCT 2017, Bordeaux, France, September 2017
Hardware and Software: Verification and Testing: Proc./11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 2015
Hardware and Software: Verification and Testing: Proc./12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 2016
Hybrid Artificial Intelligence Systems: Proc./9th International Conference. HAIS 2014, Salamanca, Spain, June 2014
Hybrid Artificial Intelligence Systems: Proc./ Third International Workshop, HAIS 2008. Burgos, Spain, September 2008
Hybrid Artificial Intelligent Systems: Proc./10th International Conference, HAIS 2015, Bilbao, Spain, June 2015
Hybrid Artificial Intelligent Systems: Proc./11th International Conference, HAIS 2016, Seville, Spain, April 2016
Hybrid Artificial Intelligent Systems: Proc./12th International Conference, HAIS 2017, La Rioja, Spain, June 2017
Hybrid Artificial Intelligent Systems: Proc./15th International Conference, HAIS 2020, Gijon, Spain, November 2020
Hybrid Artificial Intelligent Systems: Proc./International Conference, HAIS 2019, Leon, Spain, September 2019
Hybridization methods for the analysis of nonlinear systems
Hybrid Systems Biology: Proc./5th International Workshop, HSB 2016, Grenoble, France, October 2016
Hybrid Systems Biology: Revised Selected Papers/4th International Workshop, HSB 2015, Madrid, Spain, September 2015
Hybrid Systems: Computation and Control: Proc./10th International Conference, HSCC 2007. Pisa, Italy, April 2007
Hybrid Systems: Computation and Control: Proc./11th International Workshop, HSCC 2008. St.Louis, MO, USA, April 2008
Hybrid Systems: Computation and Control: Proc./12th International Conference, HSCC 2009. San Francisco, CA, USA, April 2009
Innovative Concepts for Autonomic and Agent-Based Systems: Revised Papers/ Second International Workshop WRAC 2005. Greenbelt,MD,USA, September 2005
Integration of AI and OR Techniques in Constraint Programming: Proc./13th International Conference, CPAIOR 2016, Banff,AB,Canada, May 2016
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
MICAI 2009: Advances in Artificial Intelligence: Proc./8th Mexican International Conference on AI. Guanajuato, Mexico, November 2009
Network and Parallel Computing: Proc./13th IFIP WG 10.3 International Conference, NPC 2016, Xi an, China, October 2016