Resultados de búsqueda

53161

Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /

Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /

Publicado 2019

Ver documento en línea

Libro

53162

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /

Publicado 2015

Ver documento en línea

Libro

53163

Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25–28, 2017, proceedings /

Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25–28, 2017, proceedings /

Publicado 2017

Ver documento en línea

Libro

53164

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /

Publicado 2009

Ver documento en línea

Libro

53165

Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings /

Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings /

Publicado 2011

Ver documento en línea

Libro

53166

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /

Publicado 2013

Ver documento en línea

Libro

53167

Automated scheduling and planning : from theory to practice /

Automated scheduling and planning : from theory to practice /

Publicado 2013

Ver documento en línea

Libro

53168

Automated security management /

Automated security management /

Publicado 2013

Ver documento en línea

Libro

53169

Automated software and service composition : a survey and evaluating review /

Automated software and service composition : a survey and evaluating review /

Publicado 2016

Ver documento en línea

Libro

53170

Automated solution of differential equations by the finite element method : the FEniCS book /

Automated solution of differential equations by the finite element method : the FEniCS book /

Publicado 2012

Ver documento en línea

Libro

53171

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /

Publicado 2018

Ver documento en línea

Libro

53172

Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28–31, 2019, proceedings /

Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28–31, 2019, proceedings /

Publicado 2019

Ver documento en línea

Libro

53173

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19–23, 2020, proceedings /

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19–23, 2020, proceedings /

Publicado 2020

Ver documento en línea

Libro

53174

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Publicado 2013

Ver documento en línea

Libro

53175

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /

Publicado 2014

Ver documento en línea

Libro

53176

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /

Publicado 2015

Ver documento en línea

Libro

53177

Film & TV themes.

Film & TV themes.

Audiom

53178

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /

Publicado 2016

Ver documento en línea

Libro

53179

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3–6, 2017, Proceedings /

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3–6, 2017, Proceedings /

Publicado 2017

Ver documento en línea

Libro

53180

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /

Publicado 2008

Ver documento en línea

Libro