Materias dentro de su búsqueda.
Mostrando 721 - 740 Resultados de 1,035 Para Buscar 'Engineering mathematics.', tiempo de consulta: 0.09s Limitar resultados
721
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Software engineering....”
eBook
722
IUTAM Symposium on Turbulence in the Atmosphere and Oceans : Proceedings of the IUTAM Symposium on Turbulence in the Atmosphere and Oceans, Cambridge, UK, December 8 ─ 12, 2008 /
Publicado 2010
Materias: “...Computer mathematics....”
eBook
723
Materials with Complex Behaviour : Modelling, Simulation, Testing, and Applications /
Publicado 2010
Tabla de Contenidos: “... in the Achievement of Active Confinement -- Mathematic Modeling of the Osprey Process -- Cyclic-Bend-Over-Sheave...”
eBook
724
Frontiers in massive data analysis /
Publicado 2013
Libro
725
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers /
Publicado 2017
Materias: “...Mathematical logic....”
Enlace del recurso
eBook
726
On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Software engineering....”
eBook
727
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Software engineering....”
eBook
728
Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
729
OWL: Experiences and Directions – Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Reuse methods in ontology engineering practices and software engineering -- Reuse practices...”
eBook
730
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Mathematics -- A Formalization of Convex Polyhedra Based on the Simplex Method -- A Formal Proof...”
eBook
731
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
732
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
733
EKC2008 Proceedings of the EU-Korea Conference on Science and Technology /
Publicado 2008
Tabla de Contenidos: “... and Mechanical Engineering -- EKC 2008: Summary of German Intelligent Robots Research Landscape 2007...”
eBook
734
Geocomputation and Urban Planning /
Publicado 2009
Materias: “...Engineering mathematics....”
eBook
735
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Mathematical logic....”
eBook
736
Description Logics in Multimedia Reasoning /
por Sikos, Leslie F.
Publicado 2017
Tabla de Contenidos: “... -- Description Logics: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based...”
eBook
737
Computing methods in applied sciences and engineering, 1977, : third international symposium /
por Lions, Jacques Louis
Publicado 1964
Libro
738
Fluid Dynamics in Physics, Engineering and Environmental Applications /
Publicado 2013
Tabla de Contenidos: “... in liquids in vertical Tubes -- Mathematical model for “Bubble Gas-Stratified Oil” flow in horizontal pipes....”
eBook
739
Dynamics of Tree-Type Robotic Systems /
Materias: “...Mathematical models....”
eBook
740
Process modeling, simulation and control for chemical engineering. /
por Luyben, W.
Publicado 1973
Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda