Livros sobre o tema "Simulations de formage"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores livros para estudos sobre o assunto "Simulations de formage".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.
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.
Encontre o texto completo da fonteJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Encontre o texto completo da fonteFORMATS, 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.
Encontre o texto completo da fonteTucci, Mario, e 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 completo da fonteJasmin, Fisher, ed. Formal methods in systems biology: First international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings. Berlin: Springer, 2008.
Encontre o texto completo da fonte1957-, Larsen K. G., e 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.
Encontre o texto completo da fonteFORMATS 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.
Encontre o texto completo da fonteVeanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Encontre o texto completo da fonteW, Vaandrager Frits, e 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.
Encontre o texto completo da fonteFahrenberg, 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.
Encontre o texto completo da fonteSLE 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.
Encontre o texto completo da fonteFORMATS 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.
Encontre o texto completo da fonteSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. London: Springer London, 2013.
Encontre o texto completo da fonteservice), 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.
Encontre o texto completo da fonteTribastone, 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.
Encontre o texto completo da fonteGheorghe, Păun, Rozenberg Grzegorz, Salomaa Arto, Verlan Sergey e 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.
Encontre o texto completo da fonteHö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.
Encontre o texto completo da fonteBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Encontre o texto completo da fonteCzarnecki, Krzysztof. Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Encontre o texto completo da fontePichler, Franz, e 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.
Encontre o texto completo da fonteMauri, Giancarlo. Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Encontre o texto completo da fonteFormale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation. Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 2009.
Encontre o texto completo da fonteComputer e creatività per l'architettura: Intelligenza artificiale e sistemi formali. Firenze: Alinea, 2005.
Encontre o texto completo da fonteHolzbaur, Christoph. Erweiterung der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen und Gemischt Analog-Digitalen Eingangssignalen. GRIN Verlag GmbH, 2013.
Encontre o texto completo da fonteBikovska, Jana. Development of a Scenario-based Approach to Simulation Games Management. RTU Press, 2021. http://dx.doi.org/10.7250/9789934226892.
Texto completo da fontePettersson, Paul, e 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.
Encontre o texto completo da fonteDouven, Igor, e Jonah N. Schupbach. Formal Epistemology. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199935314.013.19.
Texto completo da fonteBrughmans, Tom, e Andrew Wilson, eds. Simulating Roman Economies. Oxford University PressOxford, 2022. http://dx.doi.org/10.1093/oso/9780192857828.001.0001.
Texto completo da fonte(Editor), Kim G. Larsen, e 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.
Encontre o texto completo da fonteBirks, Daniel. Simulating Crime Event Decision Making. Editado por Wim Bernasco, Jean-Louis van Gelder e Henk Elffers. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199338801.013.27.
Texto completo da fonte(Editor), Yassine Lakhnech, e 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.
Encontre o texto completo da fontePrimiero, Giuseppe. On the Foundations of Computing. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198835646.001.0001.
Texto completo da fonteThiagarajan, P. S., e 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.
Encontre o texto completo da fonteMcNamara, Patrick, e Magda Giordano. Cognitive Neuroscience and Religious Language. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190636647.003.0005.
Texto completo da fonteEvans, Charlotte, Anne Creaton, Marcus Kennedy e Terry Martin, eds. Crisis resource management. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198722168.003.0007.
Texto completo da fonteABZ 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.
Encontre o texto completo da fonteBaillo, Amparo, Antonio Cuevas e Ricardo Fraiman. Classification methods for functional data. Editado por Frédéric Ferraty e Yves Romain. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199568444.013.10.
Texto completo da fonteFormal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science. Springer, 2011.
Encontre o texto completo da fonteBarbosa, Luis Soares, Alberto Pardo, Jorge Sousa Pinto e 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.
Encontre o texto completo da fonteVigano, Luca, e Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.
Encontre o texto completo da fonteVigano, Luca, e Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.
Encontre o texto completo da fonteSeidl, Martina, e 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.
Encontre o texto completo da fonteTests 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.
Encontre o texto completo da fonteFahrenberg, Uli, e Stavros Tripakis. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Springer, 2011.
Encontre o texto completo da fonteNRP Neonatal Resuscitation Textbook (English version). 6a ed. American Academy of Pediatrics, 2011. http://dx.doi.org/10.1542/9781581106305.
Texto completo da fonteLevingston, Judd Kruger. Sowing the Seeds of Character. Greenwood Publishing Group, Inc., 2009. http://dx.doi.org/10.5040/9798216017110.
Texto completo da fonteFormal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science. Springer, 2008.
Encontre o texto completo da fonteSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. Springer London, Limited, 2015.
Encontre o texto completo da fonteCzarnecki, Krzysztof, e Görel Hedin. Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, 2013.
Encontre o texto completo da fonteSingh, Neeraj Kumar. Using Event-B for Critical Device Software Systems. Springer, 2013.
Encontre o texto completo da fonte