Materias dentro de su búsqueda.
Mostrando 701 - 720 Resultados de 23,020 Para Buscar 'Computers.', tiempo de consulta: 0.09s Limitar resultados
701
Computer aided surgery /
Publicado 2016
Ver documento en línea
Libro
702
Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, proceedings /
Publicado 2014
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
703
Computer aided verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, july 21–24, 2020, Proceedings /
Publicado 2014
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
704
Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /
Publicado 2014
Ver documento en línea
Libro
705
Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings /
Publicado 2016
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
706
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings /
Publicado 2015
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
707
Computer aided verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /
Publicado 2008
Ver documento en línea
Libro
708
Computer aided verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
Publicado 2009
Ver documento en línea
Libro
709
Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado 2010
Ver documento en línea
Libro
710
Computer aided verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
Publicado 2011
Ver documento en línea
Libro
711
Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado 2012
Ver documento en línea
Libro
712
Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
Publicado 2013
Ver documento en línea
Libro
713
Computer algebra and polynomials : Applications of Algebra and Number Theory /
Publicado 2015
Ver documento en línea
Libro
714
Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /
Publicado 2017
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
715
Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Publicado 2018
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Libro
716
Computer engineering and networking : Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) /
Publicado 2014
Ver documento en línea
Libro
717
Computer engineering and technology : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
Publicado 2013
Ver documento en línea
Libro
718
Computer engineering and technology : 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
Publicado 2013
Ver documento en línea
Libro
719
Computer engineering and technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers /
Publicado 2015
Ver documento en línea
Libro
720
Computer engineering and technology : 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
Publicado 2016
Ver documento en línea
Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda