Dissertations / Theses on the topic 'Formal'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Formal.'
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 dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Parent, Paul-Eugène. "Formal and non-formal homogeneous spaces of small rank." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9873.
Full textPires, Joana Martins Rodrigues. "Ensino não-formal e formal em ciências: elementos integradores." Master's thesis, Universidade de Aveiro, 2011. http://hdl.handle.net/10773/8486.
Full textRazali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments." Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.
Full textShlapunov, A., and Nikolai Tarkhanov. "Formal Poincaré lemma." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2009/3023/.
Full textMarques, Bryan Valério. "Transição (in)formal." Master's thesis, Universidade de Lisboa. Faculdade de Arquitetura, 2015. http://hdl.handle.net/10400.5/12459.
Full textMAZZARI, NICOLA. "Formal Hodge Structures." Doctoral thesis, Università degli Studi di Milano, 2009. http://hdl.handle.net/2434/73218.
Full textMiles, Geoffrey. "Untir'd spirits and formal constancy : Shakespeare's Roman plays and formal constancy." Thesis, University of Oxford, 1987. http://ora.ox.ac.uk/objects/uuid:c5830cc5-e1a4-4efa-ae40-98dc4d7eb651.
Full textCosta, Ana Sofia Gonçalves. "Pensamento crítico : articulação entre educação não-formal e formal em Ciências." Master's thesis, Universidade de Aveiro, 2007. http://hdl.handle.net/10773/1305.
Full textFerrari, Francesco Maria. "Questioni di semantica formale e logica plurale." Doctoral thesis, Università degli studi di Padova, 2016. http://hdl.handle.net/11577/3426765.
Full textBilla, Cleo Zanella. "Um experimento formal para avaliar novas formas de visualização de prontuários clínicos eletrônicos." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275816.
Full textYust, Jason D. "Formal models of prolongation /." Thesis, Connect to this title online; UW restricted, 2006. http://hdl.handle.net/1773/11317.
Full textCarbogim, Daniela Vasconcelos. "Dynamics in formal argumentation." Thesis, University of Edinburgh, 2000. http://hdl.handle.net/1842/591.
Full textPalmer, John. "Formal strategies in composition." Thesis, City University London, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261323.
Full textGallagher, Alexis. "Evolvability : a formal approach." Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:d3b0511e-bee5-4778-8822-703c514c1c1d.
Full textAlmeida, João Marcos de. "Logics of formal inconsistency." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281301.
Full textMachado, Rodrigo. "Semântica formal para TVQL." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/6037.
Full textShen, Gongqin. "Formal Concepts and Applications." Case Western Reserve University School of Graduate Studies / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=case1121454398.
Full textValentine, Edward Eugene Jr. "Focusing on the formal." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1315340805.
Full textAlama, Jesse. "Formal proofs and refutations /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textPetschulat, Cap. "Transparency in formal proof." [Boise, Idaho] : Boise State University, 2009. http://scholarworks.boisestate.edu/td/54/.
Full textLopes, Cornélio Márcio. "Refactoring as formal refinements." Universidade Federal de Pernambuco, 2004. https://repositorio.ufpe.br/handle/123456789/1891.
Full textHekmatpour, S. "Formal specification based prototyping." Thesis, Open University, 1987. http://oro.open.ac.uk/57020/.
Full textMüller, Alcenir Ester. "Educação formal em ciência." reponame:Repositório Institucional da UFSC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/101031.
Full textPrinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.
Full textAlmeida, João Marcos de 1974. "Logics of Formal Inconsistency." Phd thesis, Instituições portuguesas -- UTL-Universidade Técnica de Lisboa -- IST-Instituto Superior Técnico -- -Departamento de Matemática, 2005. http://dited.bn.pt:80/29635.
Full textEleftherakis, George. "Formal verification of X-machine models : towards formal development of computer-based systems." Thesis, University of Sheffield, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012.
Full textMokrani, Hocine. "Assistance au raffinement dans la conception des systèmes embarqués." Thesis, Paris, ENST, 2014. http://www.theses.fr/2014ENST0029/document.
Full textLisowski, Matthew A. "Development of a target recognition system using formal and semi-formal software modeling methods." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA386925.
Full textMachado, Maria Elisabete. "Diálogos em roda: uma práxis pedagógica possível com a educação formal e não formal." Pontifícia Universidade Católica do Rio Grande do Sul, 2012. http://hdl.handle.net/10923/2889.
Full textFredriksen, Inge. "Formal Methods for System Development." Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.
Full textTristan, Jean-Baptiste. "Formal verification of translation validators." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00437582.
Full textLascarides, Alex, and Matthew Stone. "Formal semantics for iconic gesture." Universität Potsdam, 2006. http://opus.kobv.de/ubp/volltexte/2006/1033/.
Full textStrand, Magnus. "The Formal Concept of Discrimination." Thesis, Lunds universitet, Juridiska fakulteten, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-161162.
Full textTrinh, Cong Quy. "Formal Verification of Skiplist Algorithms." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160314.
Full textHughes, Thomas S. "Animation prototyping of formal specifications." Thesis, Loughborough University, 1992. https://dspace.lboro.ac.uk/2134/27241.
Full textXu, Sanjia. "Formal total synthesis of (±)-tetrodotoxin." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/59489.
Full textMeziane, F. "From English to formal specifications." Thesis, University of Salford, 1994. http://usir.salford.ac.uk/1732/.
Full textDragomir, Ciprian. "Formal verification of P systems." Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/15452/.
Full textBenghabrit, Walid. "A formal model for accountability." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0043/document.
Full textMatthews, Chris, and mikewood@deakin edu au. "Fuzzy concepts and formal methods." Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.
Full textDiener, Glendon. "Formal languages in music theory." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59610.
Full textChen, Y. "Formal methods for global synchrony." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295.
Full textGoldsmith, M. H. "Logic, programming and formal specification." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.
Full textPancho, Susan B. "Contributions of formal security proofs." Thesis, University of Cambridge, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620085.
Full textHinchey, Michael Gerard. "Structural design and formal methods." Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624390.
Full textHurd, J. "Formal verification of probabilistic algorithms." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604823.
Full textJefferson, Nigel Patrick. "Dependable compositions : a formal approach." Thesis, University of Newcastle Upon Tyne, 2007. http://hdl.handle.net/10443/1959.
Full textHarman, Neal Andrew. "Formal specifications for digital systems." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235627.
Full textRead, Simon. "Formal methods for VLSI design." Thesis, University of Manchester, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239786.
Full textSalter, Ian Kingsley. "The design of formal languages." Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321641.
Full text