Materias dentro de su búsqueda.
Mostrando 701 - 720 Resultados de 839 Para Buscar '"MATHEMATICS"', tiempo de consulta: 0.05s Limitar resultados
701
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
702
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
703
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
704
Natural Language Processing and Information Systems : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
705
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
706
Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
707
Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
708
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
709
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
710
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
711
Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging : MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical statistics....”
eBook
712
Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
713
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
714
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
715
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
716
New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
717
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
718
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
719
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
720
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Mathematical logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda