Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 60 Para Buscar 'Engineering mathematics.', tiempo de consulta: 0.06s 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
Discrete, Continuous, and Hybrid Petri Nets /
por David, René., Alla, Hassane.
Publicado 2010
Materias: “...Engineering mathematics....”
eBook
5
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
6
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
7
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
8
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
9
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
Enlace del recurso
eBook
10
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
por O'Regan, Gerard.
Publicado 2017
Tabla de Contenidos: “...Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods...”
eBook
11
The Handbook of Formal Methods in Human-Computer Interaction /
Publicado 2017
Materias: “...Software engineering....”
eBook
12
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
13
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
14
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por Ölveczky, Peter Csaba.
Publicado 2017
Materias: “...Software engineering....”
eBook
15
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
16
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
17
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
18
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
19
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
20
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda