Libros sobre el tema "Simulations de formage"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Simulations de formage".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Litvin, F. L. Computerized design, generation, and simulation of meshing and contact of face-milled formate cut spiral bevel gears. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 2001.
Buscar texto completoJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Buscar texto completoFORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.
Buscar texto completoTucci, Mario y Marco Garetti, eds. Proceedings of the third International Workshop of the IFIP WG5.7. Florence: Firenze University Press, 2002. http://dx.doi.org/10.36253/88-8453-042-3.
Texto completoJasmin, Fisher, ed. Formal methods in systems biology: First international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings. Berlin: Springer, 2008.
Buscar texto completo1957-, Larsen K. G. y Niebert Peter, eds. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Berlin: Springer, 2004.
Buscar texto completoFORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.
Buscar texto completoVeanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoW, Vaandrager Frits y SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Buscar texto completoFahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Buscar texto completoSLE 2009 (2009 Denver, Colo.). Software language engineering: Second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers. Berlin: Springer, 2010.
Buscar texto completoFORMATS 2004 (2004 Grenoble, France). Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Berlin: Springer, 2004.
Buscar texto completoSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. London: Springer London, 2013.
Buscar texto completoservice), SpringerLink (Online, ed. Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Buscar texto completoTribastone, Mirco. Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoGheorghe, Păun, Rozenberg Grzegorz, Salomaa Arto, Verlan Sergey y SpringerLink (Online service), eds. Membrane Computing: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Buscar texto completoHömberg, Dietmar. System Modeling and Optimization: 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Buscar texto completoCzarnecki, Krzysztof. Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoPichler, Franz y Roberto Moreno-Daz. Computer Aided Systems Theory - EUROCAST 2003 00: 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers. Berlin: Springer-Verlag Berlin Heidelberg, 2003.
Buscar texto completoMauri, Giancarlo. Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoFormale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation. Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 2009.
Buscar texto completoComputer e creatività per l'architettura: Intelligenza artificiale e sistemi formali. Firenze: Alinea, 2005.
Buscar texto completoHolzbaur, Christoph. Erweiterung der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen und Gemischt Analog-Digitalen Eingangssignalen. GRIN Verlag GmbH, 2013.
Buscar texto completoBikovska, Jana. Development of a Scenario-based Approach to Simulation Games Management. RTU Press, 2021. http://dx.doi.org/10.7250/9789934226892.
Texto completoPettersson, Paul y Wang Yi. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer London, Limited, 2005.
Buscar texto completoDouven, Igor y Jonah N. Schupbach. Formal Epistemology. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199935314.013.19.
Texto completoBrughmans, Tom y Andrew Wilson, eds. Simulating Roman Economies. Oxford University PressOxford, 2022. http://dx.doi.org/10.1093/oso/9780192857828.001.0001.
Texto completo(Editor), Kim G. Larsen y Peter Niebert (Editor), eds. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science). Springer, 2004.
Buscar texto completoBirks, Daniel. Simulating Crime Event Decision Making. Editado por Wim Bernasco, Jean-Louis van Gelder y Henk Elffers. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199338801.013.27.
Texto completo(Editor), Yassine Lakhnech y Sergio Yovine (Editor), eds. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science). Springer, 2004.
Buscar texto completoPrimiero, Giuseppe. On the Foundations of Computing. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198835646.001.0001.
Texto completoThiagarajan, P. S. y Jean-Francois Raskin. Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer London, Limited, 2007.
Buscar texto completoMcNamara, Patrick y Magda Giordano. Cognitive Neuroscience and Religious Language. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190636647.003.0005.
Texto completoEvans, Charlotte, Anne Creaton, Marcus Kennedy y Terry Martin, eds. Crisis resource management. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198722168.003.0007.
Texto completoABZ 2014 : The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science). Springer, 2014.
Buscar texto completoBaillo, Amparo, Antonio Cuevas y Ricardo Fraiman. Classification methods for functional data. Editado por Frédéric Ferraty y Yves Romain. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199568444.013.10.
Texto completoFormal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science. Springer, 2011.
Buscar texto completoBarbosa, Luis Soares, Alberto Pardo, Jorge Sousa Pinto y Ana Bove. Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers. Springer London, Limited, 2009.
Buscar texto completoVigano, Luca y Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.
Buscar texto completoVigano, Luca y Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.
Buscar texto completoSeidl, Martina y Nikolai Tillmann. Tests and Proofs: 8th International Conference, TAP 2014, Held As Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings. Springer London, Limited, 2014.
Buscar texto completoTests and Proofs: 8th International Conference, TAP 2014, Held As Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings. Springer International Publishing AG, 2014.
Buscar texto completoFahrenberg, Uli y Stavros Tripakis. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Springer, 2011.
Buscar texto completoNRP Neonatal Resuscitation Textbook (English version). 6a ed. American Academy of Pediatrics, 2011. http://dx.doi.org/10.1542/9781581106305.
Texto completoLevingston, Judd Kruger. Sowing the Seeds of Character. Greenwood Publishing Group, Inc., 2009. http://dx.doi.org/10.5040/9798216017110.
Texto completoFormal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science. Springer, 2008.
Buscar texto completoSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. Springer London, Limited, 2015.
Buscar texto completoCzarnecki, Krzysztof y Görel Hedin. Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, 2013.
Buscar texto completoSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. Springer, 2013.
Buscar texto completo