Dissertationen zum Thema „GRAFIK (Computer program language)“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "GRAFIK (Computer program language)" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Stratton, David. „A program visualisation meta language“. Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.
Der volle Inhalt der QuelleDoctorate 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.
Der volle Inhalt der QuelleChou, Robert Shih-pei. „A program design language for COBOL“. Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.
Der volle Inhalt der QuelleRichardson, 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.
Der volle Inhalt der QuelleGordon, 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/.
Der volle Inhalt der QuelleMartin, Walter E. „Cview, a graphical program generator for the C programming language /“. Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Der volle Inhalt der QuelleLeoutsarakos, Nikolaos. „A context sensitive command language /“. Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.
Der volle Inhalt der QuelleYessenov, Kuat T. „A lightweight specification language for bounded program verification“. Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.
Der volle Inhalt der QuelleCataloged 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.
Der volle Inhalt der QuelleOuren, Leslie Serine. „Integrating computer software within the Houghton Mifflin Language Arts program“. CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.
Der volle Inhalt der QuelleTrachsel, Anne Roberta. „L-EQUEL : an embedded query language for Franz LISP“. Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9884.
Der volle Inhalt der QuelleKoh, Kyu Han Seals Cheryl D. „PineHill a novel approach to computer aided language learning /“. Auburn, Ala., 2007. http://hdl.handle.net/10415/1365.
Der volle Inhalt der QuelleYildiz, 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.
Der volle Inhalt der QuelleThesis 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.
Der volle Inhalt der QuellePimentel, Richard. „Direct Simulation from a Model Specification Language“. DigitalCommons@USU, 1986. https://digitalcommons.usu.edu/etd/6985.
Der volle Inhalt der QuelleMiller, Ruane. „A study of PostScript as a graphics programming language /“. Online version of thesis, 1988. http://hdl.handle.net/1850/11483.
Der volle Inhalt der QuelleChan, 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.
Der volle Inhalt der QuelleKenyon, 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.
Der volle Inhalt der QuelleMosca, 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.
Der volle Inhalt der QuelleSource: 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.
Der volle Inhalt der QuelleBull, Tim. „Software maintenance by program transformation in a wide spectrum language“. Thesis, Durham University, 1994. http://etheses.dur.ac.uk/5494/.
Der volle Inhalt der QuelleNagulakonda, 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.
Der volle Inhalt der QuelleTitle 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.
Der volle Inhalt der QuelleBarrett, Kirk. „A program development system using an attribute grammar“. Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9821.
Der volle Inhalt der QuelleWright, Madeleine. „A detailed investigation of interoperability for web services“. Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1004832.
Der volle Inhalt der QuelleYu, Henry 1961. „HPSIMC: AHPL SIMULATOR IMPLEMENTED IN C LANGUAGE (PARSER, SOFTWARE)“. Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291313.
Der volle Inhalt der QuelleChow, 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.
Der volle Inhalt der QuelleLindstrom, 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.
Der volle Inhalt der QuelleFirth, 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.
Der volle Inhalt der QuellePope, Bernard James. „A declarative debugger for Haskell /“. Connect to thesis, 2006. http://eprints.unimelb.edu.au/archive/00003290.
Der volle Inhalt der QuelleVorvick, Janet. „Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules“. PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5195.
Der volle Inhalt der QuelleParsa, 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.
Der volle Inhalt der QuelleMarsh, 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.
Der volle Inhalt der QuelleBarrett, 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.
Der volle Inhalt der QuelleColeman, 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.
Der volle Inhalt der QuelleWidjaja, 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.
Der volle Inhalt der QuelleHaugh, 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/.
Der volle Inhalt der QuelleGunnlaugsson, 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.
Der volle Inhalt der QuelleDuffy, Sandra Lee. „PEDIT-- a resident structure editor for PROLOG“. Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9833.
Der volle Inhalt der QuelleLibrers, Joseph. „A module declaration generator“. Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9861.
Der volle Inhalt der QuelleDodge, Nathan. „Course development for a college Java programming class“. [Denver, Colo.] : Regis University, 2005. http://165.236.235.140/lib/NDodge2005.pdf.
Der volle Inhalt der QuelleSchmitt, 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.
Der volle Inhalt der QuelleWang, 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.
Der volle Inhalt der QuelleLaliberté, 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.
Der volle Inhalt der Quelle黃介亮 und 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.
Der volle Inhalt der QuelleRadhakrishnan, Ramesh. „Microarchitectural techniques to enable efficient Java execution /“. Digital version accessible at:, 2000. http://wwwlib.umi.com/cr/utexas/main.
Der volle Inhalt der QuelleWong, 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.
Der volle Inhalt der QuelleCalnan, III Paul W. „EXTRACT: Extensible Transformation and Compiler Technology“. Digital WPI, 2003. https://digitalcommons.wpi.edu/etd-theses/484.
Der volle Inhalt der QuelleBallard, Mark B. „QUICKTALK : a Smalltalk-80 dialect for defining primitive methods /“. Full text open access at:, 1986. http://content.ohsu.edu/u?/etd,99.
Der volle Inhalt der QuelleEitzen, Benjamin. „GpuPy : efficiently using a GPU with Python“. Online access for everyone, 2007. http://www.dissertations.wsu.edu/Thesis/Summer2007/b_eitzen_082307.pdf.
Der volle Inhalt der Quelle