Materias dentro de su búsqueda.
Mostrando 701 - 720 Resultados de 1,035 Para Buscar 'Engineering mathematics.', tiempo de consulta: 0.20s Limitar resultados
701
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering...”
eBook
702
Common Rail System for GDI Engines : Modelling, Identification, and Control /
Tabla de Contenidos: “...The Common Rail System -- Mathematical Modeling of Pressure Dynamics -- GDI Injector Model...”
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: “...Software engineering....”
Enlace del recurso
eBook
704
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
705
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
706
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
707
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
708
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
709
Upscaling Multiphase Flow in Porous Media From Pore to Core and Beyond /
Publicado 2005
Materias: “...Computer mathematics....”
Enlace del recurso
eBook
710
Shock and Vibration Concepts in Engineering Design. /
por Crede, Charles E.
Publicado 1965
Libro
711
Control of Ships and Underwater Vehicles : Design for Underactuated and Nonlinear Marine Systems /
por Do, Khac Duc., Pan, Jie.
Publicado 2009
Tabla de Contenidos: “...Mathematical Tools -- Mathematical Preliminaries -- Modeling and Control Properties of Ocean...”
eBook
712
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
713
Turbulence in Fluids
por Lesieur, Marcel.
Publicado 2008
Materias: “...Computer mathematics....”
Enlace del recurso
eBook
714
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Software engineering....”
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: “...Software engineering....”
eBook
716
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
717
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
Tabla de Contenidos: “...: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata -- Counterexample...”
eBook
718
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Software engineering....”
eBook
719
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Software engineering....”
eBook
720
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: “...Software engineering....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda