Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 65 Para Buscar 'Engineering', tiempo de consulta: 0.07s Limitar resultados
1
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings /
Publicado 2017
Enlace del recurso
eBook
2
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
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
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
eBook
5
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
6
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
7
Discrete, Continuous, and Hybrid Petri Nets /
por David, René., Alla, Hassane.
Publicado 2010
Materias: “...Control engineering....”
eBook
8
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
por Gorrieri, Roberto.
Publicado 2017
Materias: “...Software engineering....”
eBook
9
Type-2 Fuzzy Logic: Theory and Applications
por Castillo, Oscar., Melin, Patricia.
Publicado 2008
Materias: “...Engineering mathematics....”
Enlace del recurso
eBook
10
Fuzziness and Approximate Reasoning : Epistemics on Uncertainty, Expectation and Risk in Rational Behavior /
por Dompere, Kofi Kissi.
Publicado 2009
Materias: “...Engineering mathematics....”
eBook
11
The Handbook of Formal Methods in Human-Computer Interaction /
Publicado 2017
Materias: “...Software engineering....”
eBook
12
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por Ölveczky, Peter Csaba.
Publicado 2017
Materias: “...Software engineering....”
eBook
13
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
14
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
15
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
16
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
17
Ingredients for Successful System Level Design Methodology /
Materias: “...Software engineering....”
eBook
18
New Developments in Formal Languages and Applications
Publicado 2008
Materias: “...Engineering mathematics....”
Enlace del recurso
eBook
19
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
20
Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda