Books on the topic 'Formal control models'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Formal control models.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Cortier, Véronique, and Steve Kremer. Formal models and techniques for analyzing security protocols. Amsterdam: IOS Press, 2011.
Find full textSolozhentsev, E. D. Risk Management Technologies: With Logic and Probabilistic Models. Dordrecht: Springer Netherlands, 2012.
Find full textVera, Roberto Garduño. Modelo bibliográfico basado en formatos de intercambio y en normas internacionales orientado al control bibliográfico universal. México, D.F: Universidad Nacional Autónoma de México, Centro Universitario de Investigaciones Bibliotecológicas, 1996.
Find full textVarlamov, Oleg. Mivar databases and rules. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1508665.
Full textVarlamov, Oleg. 18 examples of mivar expert systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1248446.
Full textBula Caraballo, Germán Ulises, ed. Spinoza. Bogotá. Colombia: Universidad de La Salle. Ediciones Unisalle, 2017. http://dx.doi.org/10.19052/9789585400764.
Full textAkat'eva, Marina. Information and communication the concept of accounting theory. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1080408.
Full textGámez Gutiérrez, Jorge Alberto. Emprendimiento, creatividad e innovación. Bogotá. Colombia: Universidad de La Salle. Ediciones Unisalle, 2015. http://dx.doi.org/10.19052/9789588939087.
Full textTAP 2010 (2010 Málaga, Spain). Tests and proofs: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings. Berlin: Springer, 2010.
Find full textContaining Russia's nuclear firebirds: Harmony and change at the International Science and Technology Center. Athens, Ga: University of Georgia Press, 2013.
Find full textKuznecov, Sergey, and Konstantin Rogozin. All of physics on your palm. Interactive reference. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/501810.
Full textCommittee on the Use of Animals in Research (U.S.), National Academy of Sciences (U.S.), and Institute of Medicine (U.S.), eds. Science, medicine, and animals. Washington, D.C: National Academy Press, 1991.
Find full textDefining personhood: Toward the ethics of quality in clinical care. Amsterdam: Rodopi, 1998.
Find full textIllusions of reality: A history of deception in social psychology. Albany: State University of New York Press, 1997.
Find full textCortier, Véronique, and Steve Kremer. Formal Models and Techniques for Analyzing Security Protocols: A Tutorial. Now Publishers, 2014.
Find full textSolozhentsev, E. D. Risk Management Technologies: With Logic and Probabilistic Models. Springer, 2012.
Find full textSolozhentsev, E. D. Risk Management Technologies: With Logic and Probabilistic Models. Springer, 2014.
Find full textLópez Franco, Sonia Inés. Discurso y control. Análisis de seis organizaciones antioqueñas. Editorial EAFIT, 2021. http://dx.doi.org/10.17230/9789587207088lr0.
Full textMcDowall, David, Richard McCleary, and Bradley J. Bartos. Interrupted Time Series Analysis. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190943943.001.0001.
Full textUnited States. National Aeronautics and Space Administration. Scientific and Technical Information Program., SRI International, and Langley Research Center, eds. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. [Washington, D.C.?]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.
Find full textBainbridge, Stephen M. The Board of Directors. Edited by Jeffrey N. Gordon and Wolf-Georg Ringe. Oxford University Press, 2015. http://dx.doi.org/10.1093/oxfordhb/9780198743682.013.20.
Full textMacroeconomic Analysis And Economic Policy Based On Parametric Control. Springer, 2011.
Find full textJacobsson, Bengt, and Göran Sundström. Governing the State. Edited by Jon Pierre. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199665679.013.20.
Full textAxel-Tober, Katrin, and Remus Gergel. Modality and Mood in Formal Syntactic Approaches. Edited by Jan Nuyts and Johan Van Der Auwera. Oxford University Press, 2015. http://dx.doi.org/10.1093/oxfordhb/9780199591435.013.21.
Full textNational Aeronautics and Space Administration (NASA) Staff. Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. Independently Published, 2018.
Find full textBirks, Daniel. Simulating Crime Event Decision Making. Edited by Wim Bernasco, Jean-Louis van Gelder, and Henk Elffers. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199338801.013.27.
Full textChurchill, David. Crime Control and Everyday Life in the Victorian City. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198797845.001.0001.
Full textReyes, Nayade, and Ermel Tapia, eds. Modelo pedagógico constructivista con enfoque de aprendizaje significativo. Ermel Viacheslav Tapia Sosa, 2022. http://dx.doi.org/10.56168/ibl.ed.167801.
Full textBull, Anna. Class, Control, and Classical Music. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190844356.001.0001.
Full textElwood, Mark. The results obtained from studies of causation. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199682898.003.0004.
Full textOulasvirta, Antti, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes, eds. Computational Interaction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198799603.001.0001.
Full textDesigning a Common Interchange Format for Unit Data Using the Command and Control Information Exchange Data Model (C2IEDM) and XSLT. Storming Media, 2004.
Find full textGuest, David E. HRM and the Worker. Edited by Peter Boxall, John Purcell, and Patrick M. Wright. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199547029.003.0007.
Full textMiller, Nicholas R. Social Choice Theory and Legislative Institutions. Oxford University Press, 2016. http://dx.doi.org/10.1093/acrefore/9780190228637.013.1.
Full textDale, Peter, and John McLaughlin. Land Administration. Oxford University Press, 2000. http://dx.doi.org/10.1093/oso/9780198233909.001.0001.
Full textBruno, Nicola, and Francesco Pavani. Perception. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198725022.001.0001.
Full textGottfredson, Michael, and Travis Hirschi. Modern Control Theory and the Limits of Criminal Justice. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190069797.001.0001.
Full textKobrin, Stephen J. Sovereignty@Bay. Edited by Alan M. Rugman. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199234257.003.0007.
Full textCope, Zak, and Immanuel Ness, eds. The Oxford Handbook of Economic Imperialism. Oxford University Press, 2022. http://dx.doi.org/10.1093/oxfordhb/9780197527085.001.0001.
Full textSarotte, Mary Elise. Restoring Four-Power Rights, Reviving a Confederation in 1989. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691163710.003.0003.
Full textRaymond, Joad. Censorship in Law and Practice in Seventeenth-Century England. Edited by Lorna Hutson. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199660889.013.46.
Full textMendoza Mendoza, Silvia, Araceli Jiménez Pelcastre, Alberto Severino Jaén Olivas, and Ariana Acaxtenco González. Prevención, atención, erradicación y sanción de la violencia contra niñas, niños y adolescentes en el estado de Hidalgo Aplicación de los modelos y protocolos generales. Universidad Autónoma del Estado de Hidalgo, 2019. http://dx.doi.org/10.29057/books.75.
Full textJory, Patrick. Thai Historical Writing. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199225996.003.0027.
Full textHasinoff, Amy Adele. Information and consent. University of Illinois Press, 2017. http://dx.doi.org/10.5406/illinois/9780252038983.003.0006.
Full textSwanson, Diane L. Top Managers as Drivers for Corporate Social Responsibility. Edited by Andrew Crane, Dirk Matten, Abagail McWilliams, Jeremy Moon, and Donald S. Siegel. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199211593.003.0010.
Full textCatapan, Dariane Cristina, ed. Inovações e tecnologias voltadas para as ciências exatas. Latin American Publicações, 2022. http://dx.doi.org/10.47174/lap2020.ed.00000121.
Full textHain, Richard, and Satbir Jassal. Paediatric Palliative Medicine. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198745457.001.0001.
Full textBilbro, Jeffrey. Virtues of Renewal. University Press of Kentucky, 2018. http://dx.doi.org/10.5810/kentucky/9780813176406.001.0001.
Full textCano Sanz, Carlos Gustavo. Obras escogidas. Vol. 4. Reinventando el desarrollo alternativo. Ediciones Unibagué, 2021. http://dx.doi.org/10.35707/9789587543889.
Full textSwiney, Lauren. Activity, Agency, and Inner Speech Pathology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198796640.003.0013.
Full text