Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 45 Para Buscar 'Engineering mathematics.', tiempo de consulta: 0.05s Limitar resultados
1
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”
Enlace del recurso
eBook
2
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
3
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
4
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Publicado 2017
Tabla de Contenidos: “...Probabilistic program analysis -- Ontologies in software engineering -- Empirical evaluation...”
eBook
5
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Verification and validation -- Software engineering -- Formal specification and modeling -- Software...”
eBook
6
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical statistics....”
eBook
7
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
8
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
9
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
10
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
11
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
12
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
13
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
14
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
15
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
16
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
17
String Analysis for Software Verification and Security /
Materias: “...Software engineering....”
eBook
18
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
19
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
20
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Software engineering....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda