Rozprawy doktorskie na temat „GRAFIK (Computer program language)”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „GRAFIK (Computer program language)”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Stratton, David. "A program visualisation meta language". Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.
Pełny tekst źródłaDoctorate of Philosophy
Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /". Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.
Pełny tekst źródłaChou, Robert Shih-pei. "A program design language for COBOL". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.
Pełny tekst źródłaRichardson, Joel E. "E a persistent systems implementation language /". Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.
Pełny tekst źródłaGordon, Christopher Todd. "A visual language for ADA program unit specifications". Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.
Pełny tekst źródłaMartin, Walter E. "Cview, a graphical program generator for the C programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Pełny tekst źródłaLeoutsarakos, Nikolaos. "A context sensitive command language /". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.
Pełny tekst źródłaYessenov, Kuat T. "A lightweight specification language for bounded program verification". Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.
Pełny tekst źródłaCataloged from PDF version of thesis.
Includes bibliographical references (p. 63-64).
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.
by Kuat T. Yessenov.
M.Eng.
Gibson, Barbara Brunner. "Ada as a design specification language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10215.
Pełny tekst źródłaOuren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program". CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.
Pełny tekst źródłaTrachsel, Anne Roberta. "L-EQUEL : an embedded query language for Franz LISP". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9884.
Pełny tekst źródłaKoh, Kyu Han Seals Cheryl D. "PineHill a novel approach to computer aided language learning /". Auburn, Ala., 2007. http://hdl.handle.net/10415/1365.
Pełny tekst źródłaYildiz, Faruk. "Implementation of a human avatar for the MARG project in networked virtual environments". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Mar%5FYildiz.pdf.
Pełny tekst źródłaThesis advisor(s): Xiaoping Yun. Includes bibliographical references (p. 61-62). Also available online.
Calnan, Paul W. "EXTRACT, Extensible Transformation and Compiler Technology". Link to electronic thesis, 2003. http://www.wpi.edu/Pubs/ETD/Available/etd-0429103-152947.
Pełny tekst źródłaPimentel, Richard. "Direct Simulation from a Model Specification Language". DigitalCommons@USU, 1986. https://digitalcommons.usu.edu/etd/6985.
Pełny tekst źródłaMiller, Ruane. "A study of PostScript as a graphics programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/11483.
Pełny tekst źródłaChan, Chi-hown Johnny. "Implementation of computer simulation software in learning low-level computer language : a case study /". Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk/hkuto/record.jsp?B24700770.
Pełny tekst źródłaKenyon, John L. "CHIMP the C/C++ hybrid imperative meta-programmer /". abstract and full text PDF (free order & download UNR users only), 2008. http://0-gateway.proquest.com.innopac.library.unr.edu/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1453647.
Pełny tekst źródłaMosca, Peter. "A study of Ada and C in concurrent programming". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.
Pełny tekst źródłaSource: Masters Abstracts International, Volume: 45-06, page: 3190. Abstract precedes thesis as [1] preliminary leaf. Typescript. Includes bibliographical references (leaf 54).
Motwani, Manjula H. "An Occam2 implementation of Prolog /". Online version of thesis, 1994. http://hdl.handle.net/1850/12175.
Pełny tekst źródłaBull, Tim. "Software maintenance by program transformation in a wide spectrum language". Thesis, Durham University, 1994. http://etheses.dur.ac.uk/5494/.
Pełny tekst źródłaNagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /". Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.
Pełny tekst źródłaTitle from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
Tollefson, Bradley A. "The J-shell command language interpreter". Virtual Press, 1985. http://liblink.bsu.edu/uhtbin/catkey/506686.
Pełny tekst źródłaBarrett, Kirk. "A program development system using an attribute grammar". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9821.
Pełny tekst źródłaWright, Madeleine. "A detailed investigation of interoperability for web services". Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1004832.
Pełny tekst źródłaYu, Henry 1961. "HPSIMC: AHPL SIMULATOR IMPLEMENTED IN C LANGUAGE (PARSER, SOFTWARE)". Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291313.
Pełny tekst źródłaChow, Kent. "GPLOT : a language for plotting graphs". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66062.
Pełny tekst źródłaLindstrom, Lowell Richard. "The implementation of a SIMULA compiler on the Kansas State University Perkin-Elmer computers". Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9934.
Pełny tekst źródłaFirth, Michael Anthony. "A fold/unfold transformation system for a non-strict language". Thesis, University of York, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280416.
Pełny tekst źródłaPope, Bernard James. "A declarative debugger for Haskell /". Connect to thesis, 2006. http://eprints.unimelb.edu.au/archive/00003290.
Pełny tekst źródłaVorvick, Janet. "Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules". PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5195.
Pełny tekst źródłaParsa, Saeed. "Design and specification of a program specification language for engineering applications". Thesis, University of Salford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357026.
Pełny tekst źródłaMarsh, David William Roff. "Program refinement using a universal law : language specification and prototype tool". Thesis, University of Southampton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312873.
Pełny tekst źródłaBarrett, Mark Douglas. "Teaching language arts in third grade with HyperStudio, an interactive computer program". CSUSB ScholarWorks, 1991. https://scholarworks.lib.csusb.edu/etd-project/849.
Pełny tekst źródłaColeman, Jesse J. "The design, construction, and implementation of an engineering software command processor and macro compiler /". Online version of thesis, 1995. http://hdl.handle.net/1850/12219.
Pełny tekst źródłaWidjaja, Hendra. "Visor++ : a software visualisation tool for task-parallel object-orientated programs". Title page, abstract and contents only, 1998. http://web4.library.adelaide.edu.au/theses/09AS/09asw639.pdf.
Pełny tekst źródłaHaugh, J. Steven. "The design of a virtual fact base for Prolog". Master's thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-02022010-020103/.
Pełny tekst źródłaGunnlaugsson, Bjorgvin. "Concurrency and sharing in prolog and in a picture editor for aldat". Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63864.
Pełny tekst źródłaDuffy, Sandra Lee. "PEDIT-- a resident structure editor for PROLOG". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9833.
Pełny tekst źródłaLibrers, Joseph. "A module declaration generator". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9861.
Pełny tekst źródłaDodge, Nathan. "Course development for a college Java programming class". [Denver, Colo.] : Regis University, 2005. http://165.236.235.140/lib/NDodge2005.pdf.
Pełny tekst źródłaSchmitt, Susan M. "A critical examination of the relationship between the memory requirements of structured BASIC and unstructured BASIC". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1985. http://www.kutztown.edu/library/services/remote_access.asp.
Pełny tekst źródłaWang, Jian. "Pointer analysis in Java programs using execution path information /". View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20WANG.
Pełny tekst źródłaLaliberté, Normand. "Design and implementation of a primary memory version of ALDAT, including recursive relations". Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65497.
Pełny tekst źródła黃介亮 i Kai-leung Adam Wong. "On improving the alternation construct in occam". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B31213741.
Pełny tekst źródłaRadhakrishnan, Ramesh. "Microarchitectural techniques to enable efficient Java execution /". Digital version accessible at:, 2000. http://wwwlib.umi.com/cr/utexas/main.
Pełny tekst źródłaWong, Kai-leung Adam. "On improving the alternation construct in occam /". Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B17537071.
Pełny tekst źródłaCalnan, III Paul W. "EXTRACT: Extensible Transformation and Compiler Technology". Digital WPI, 2003. https://digitalcommons.wpi.edu/etd-theses/484.
Pełny tekst źródłaBallard, Mark B. "QUICKTALK : a Smalltalk-80 dialect for defining primitive methods /". Full text open access at:, 1986. http://content.ohsu.edu/u?/etd,99.
Pełny tekst źródłaEitzen, Benjamin. "GpuPy : efficiently using a GPU with Python". Online access for everyone, 2007. http://www.dissertations.wsu.edu/Thesis/Summer2007/b_eitzen_082307.pdf.
Pełny tekst źródła