Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 65 Para Buscar 'Engineering mathematics.', tiempo de consulta: 0.09s Limitar resultados
1
Type-2 Fuzzy Logic: Theory and Applications
por Castillo, Oscar., Melin, Patricia.
Publicado 2008
Materias: “...Engineering mathematics....”
Enlace del recurso
eBook
2
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
3
Fuzziness and Approximate Reasoning : Epistemics on Uncertainty, Expectation and Risk in Rational Behavior /
por Dompere, Kofi Kissi.
Publicado 2009
Materias: “...Engineering mathematics....”
eBook
4
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
5
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
6
Discrete, Continuous, and Hybrid Petri Nets /
por David, René., Alla, Hassane.
Publicado 2010
Materias: “...Engineering mathematics....”
eBook
7
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
8
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
9
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
10
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
11
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
12
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
13
New Developments in Formal Languages and Applications
Publicado 2008
Materias: “...Engineering mathematics....”
Enlace del recurso
eBook
14
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
por Gorrieri, Roberto.
Publicado 2017
Materias: “...Mathematical logic....”
eBook
15
The Handbook of Formal Methods in Human-Computer Interaction /
Publicado 2017
Materias: “...Software engineering....”
eBook
16
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
17
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
18
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por Ölveczky, Peter Csaba.
Publicado 2017
Materias: “...Software engineering....”
eBook
19
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
20
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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda