Auswahl der wissenschaftlichen Literatur zum Thema „Programs analysis“

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Programs analysis" 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.

Zeitschriftenartikel zum Thema "Programs analysis"

1

Schwarzer, Ralf. "Meta-analysis programs." Behavior Research Methods, Instruments, & Computers 20, no. 3 (1988): 338. http://dx.doi.org/10.3758/bf03203853.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Pérez-Bóveda, Astrid, and Concepción Yániz Álvarez de Eulate. "Programas de formación parental. Análisis comparativo // Parenting programs. Comparative analysis." REOP - Revista Española de Orientación y Psicopedagogía 26, no. 2 (2015): 104. http://dx.doi.org/10.5944/reop.vol.26.num.2.2015.15231.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Chaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." ACM SIGPLAN Notices 45, no. 1 (2010): 57–70. http://dx.doi.org/10.1145/1707801.1706308.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Sun, Kwangwon, and Sukyoung Ryu. "Analysis of JavaScript Programs." ACM Computing Surveys 50, no. 4 (2017): 1–34. http://dx.doi.org/10.1145/3106741.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Iwamoto, Seiichi. "Associative Dynamic Programs." Journal of Mathematical Analysis and Applications 201, no. 1 (1996): 195–211. http://dx.doi.org/10.1006/jmaa.1996.0250.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

ZHANG, Jian. "Sharp Static Analysis of Programs." Chinese Journal of Computers 31, no. 9 (2009): 1549–53. http://dx.doi.org/10.3724/sp.j.1016.2008.01549.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Choi, Haneul, Sueim Chung, Youngjin Choi, Hyeonji Kang, Jooyoung Jeon, and Donghee Shin. "Analysis of Polar Education Programs." Journal of the Korean earth science society 42, no. 1 (2021): 102–17. http://dx.doi.org/10.5467/jkess.2021.42.1.102.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Irizarry, Estelle. "Software Programs for Literary Analysis." Hispania 72, no. 1 (1989): 214. http://dx.doi.org/10.2307/342719.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Guzev, M. A., M. A. Knyazeva, I. I. Moskalev, and E. Y. Nikitina. "Rank analysis of computer programs." Dal'nevostochnyi Matematicheskii Zhurnal 20, no. 2 (2020): 155–63. http://dx.doi.org/10.47910/femj202017.

Der volle Inhalt der Quelle
Annotation:
This paper describes the application of the rank analysis method for formal languages on the example of the source codes of programs in the Java language. When describing the technology for compiling frequency dictionaries, attention is focused on how the presence of anaphoric content in computer programs is taken into consideration. When discussing the results, it was noted that the structural components of programs for various purposes correspond to certain areas of the graph of the dependence of rank on the frequency of occurrence of a lexeme.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Simmons, Sharon, Dennis Edwards, and Phil Kearns. "Communication Analysis of Distributed Programs." Scientific Programming 14, no. 2 (2006): 151–70. http://dx.doi.org/10.1155/2006/763568.

Der volle Inhalt der Quelle
Annotation:
Capturing and examining the causal and concurrent relationships of a distributed system is essential to a wide range of distributed systems applications. Many approaches to gathering this information rely on trace files of executions. The information obtained through tracing is limited to those executions observed. We present a methodology that analyzes the source code of the distributed system. Our analysis considers each process's source code and produces a single comprehensive graph of the system's possible behaviors. The graph, termed the partial order graph (POG), uniquely represents each
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "Programs analysis"

1

Nagulakonda, 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 Quelle
Annotation:
Thesis (M.S.)--West Virginia University, 1999.<br>Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Jakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.

Der volle Inhalt der Quelle
Annotation:
La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d’unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib est une bibliothèque pour la programmation BSP en langage C. En BSPlib on entrelace des instructions de contrôle de la structure parallèle globale, et des instructions locales pour chaque unité de traitement. Cela permet des optimisations fines de la synchronisation, mais permet aussi l’écriture de
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Armstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.

Der volle Inhalt der Quelle
Annotation:
In this thesis, extensions of Kleene algebras are used to develop algebras for rely-guarantee style reasoning about concurrent programs. In addition to these algebras, detailed denotational models are implemented in the interactive theorem prover Isabelle/HOL. Formal soundness proofs link the algebras to their models. This follows a general algebraic approach for developing correct by construction verification tools within Isabelle. In this approach, algebras provide inference rules and abstract principles for reasoning about the control flow of programs, while the concrete models provide laws
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Kim, Minjang. "Dynamic program analysis algorithms to assist parallelization." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45758.

Der volle Inhalt der Quelle
Annotation:
All market-leading processor vendors have started to pursue multicore processors as an alternative to high-frequency single-core processors for better energy and power efficiency. This transition to multicore processors no longer provides the free performance gain enabled by increased clock frequency for programmers. Parallelization of existing serial programs has become the most powerful approach to improving application performance. Not surprisingly, parallel programming is still extremely difficult for many programmers mainly because thinking in parallel is simply beyond the human perceptio
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Zhang, Connie. "Static Conflict Analysis of Transaction Programs." Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1052.

Der volle Inhalt der Quelle
Annotation:
Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction program has written. This thesis presents a semi-automatic technique for pairwise static conflict analysis of embedded transaction programs. The analysis predicts whether a given pair of programs will conflict when executed against the database. There are several potential applications of this technique, the most obvious being transaction concurrency control in systems
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Xu, HaiYing. "Dynamic purity analysis for Java programs." Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18481.

Der volle Inhalt der Quelle
Annotation:
The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not a trivial task, and existing purity investigations present primarily static results based on a compile-time analysis of program code. We perform a detailed examination of dynamic method purity in Java programs using a Java Virtual Machine (JVM) based analysis. We evaluate multiple purity definitions that range from strong to weak, consider purity forms
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Mitchell, Neil. "Transformation and analysis of functional programs." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495901.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Benton, Peter Nicholas. "Strictness analysis of lazy functional programs." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281891.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Abu, Hashish Nabil. "Mutation analysis of dynamically typed programs." Thesis, University of Hull, 2013. http://hydra.hull.ac.uk/resources/hull:8444.

Der volle Inhalt der Quelle
Annotation:
The increasing use of dynamically typed programming languages brings a new challenge to software testing. In these languages, types are not checked at compile-time. Type errors must be found by testing and in general, programs written in these languages require additional testing compared to statically typed languages. Mutation analysis (or mutation testing) has been shown to be effective in testing statically (or strongly) typed programs. In statically typed programs, the type information is essential to ensure only type-correct mutants are generated. Mutation analysis has not so far been ful
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Hardwicke, Shannon Bragg. "An Analysis of Student Assistance Programs." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/27780.

Der volle Inhalt der Quelle
Annotation:
The purpose of this study was to examine a sample of students who participated in a student assistance program in Southwest Virginia. Using existing data from a school system in Southwest Virginia, this sample was observed to measure changes in student academic performance. The sample was also examined to determine the extent to which they instituted positive behaviors such as school attendance and reduction of disciplinary actions taken. In addition, this study assessed differences in demographic characteristics among student participants. Also studied was the extent to which gender diffe
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Bücher zum Thema "Programs analysis"

1

Zahn, John J. FORTRAN programs for reliability analysis. U.S. Dept. of Agriculture, Forest Service, Forest Products Laboratory, 1992.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

D, Clay, Canada. Dept. of Fisheries and Oceans., and Gulf Fisheries Centre (Canada), eds. RVAN: Research Vessel ANalysis programs. Fisheries and Oceans, 1989.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Colt, Stephen. Childcare assistance programs: Caseload analysis. State of Alaska, Dept. of Community and Regional Affairs, Division of Community and Rural Development, Child Care Programs, 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

1933-, Rosenthal Robert, ed. BASIC meta-analysis: Procedures and programs. L. Earlbaum Associates, 1985.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Educational Resources Information Center (U.S.), ed. Cross-program analysis: Links and commonalities among IASA programs. Northwest Regional Educational Laboratory, 1997.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

United States. Office of Child Support Enforcement., Center for Policy Research (Denver, Colo.), and Policy Studies Inc, eds. Child access and visitation programs: Participant outcomes : program analysis. Dept. of Health and Human Services, Administration for Children and Families, Office of Child Support Enforcement, 2006.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Lewis, Gordon H. Income transfer analysis. Urban Institute Press, 1989.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Massé, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Masse, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Massacutee, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Buchteile zum Thema "Programs analysis"

1

Gayed, Ramez, and Amin Ghali. "Computer programs." In Structural Analysis Fundamentals. CRC Press, 2021. http://dx.doi.org/10.1201/9780429286858-20.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Bodik, Rastislav. "Algorithmic Program Synthesis with Partial Programs and Decision Procedures." In Static Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0_1.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Peralta, Julio C., John P. Gallagher, and Hüseyin Sağlam. "Analysis of Imperative Programs through Analysis of Constraint Logic Programs." In Static Analysis. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_15.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Bouajjani, Ahmed, Michael Emmi, and Gennaro Parlato. "On Sequentializing Concurrent Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_13.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Suter, Philippe, Ali Sinan Köksal, and Viktor Kuncak. "Satisfiability Modulo Recursive Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_23.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Rinard, Martin. "Analysis of Multithreaded Programs." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_1.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Andersen, Erling B. "Computer Programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-78817-8_13.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Andersen, Erling B. "Computer programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-97353-6_13.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Laski, Janusz, and William Stanley. "How to Prove a Program Correct: Iterative Programs." In Software Verification and Analysis. Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5_3.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Hückelheim, Jan, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, and Paul D. Hovland. "Verifying Properties of Differentiable Programs." In Static Analysis. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_14.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Programs analysis"

1

Rollins, B. C., G. T. Quickel, J. A. Beavers, and T. A. Bubenik. "Failure Analysis in Integrity Management Programs." In CORROSION 2007. NACE International, 2007. https://doi.org/10.5006/c2007-07145.

Der volle Inhalt der Quelle
Annotation:
Abstract Metallurgical analyses of pipeline failures are an integral part of good integrity management programs. Failure analyses are used not only in establishing the metallurgical causes of the failures, but also in identifying potential time dependent threats, establishing damage rates, and validating reassessment intervals. Analysis of un-failed pipe containing anomalies can be used to improve the sentencing and sizing of anomalies detected by in-line inspection. This paper provides several case histories in which metallurgical failure analyses were used to enhance integrity management pro
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Wofford, George N. "Engineering Economic Analysis for Alternative Cooling Tower Treatment Programs." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94473.

Der volle Inhalt der Quelle
Annotation:
Abstract A standard method for evaluating the economics of proposed changes to a cooling tower water treatment program is presented. Mathematical comparisons of competing alternatives are calculated. This means that two or more mutually exclusive approaches, such as the total cost of two competitive chemical programs or a chemical program and stand-alone ozone treatment are compared. In addition, models are presented to evaluate the economics of employing auxiliary equipment such as pH controllers, filtration equipment, and softeners. The economic evaluation utilizes standard engineering calcu
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Harris, William R., Sriram Sankaranarayanan, Franjo Ivančić, and Aarti Gupta. "Program analysis via satisfiability modulo path programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706309.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

van Tonder, Rijnard, and Claire Le Goues. "Tailoring programs for static analysis via program transformation." In ICSE '20: 42nd International Conference on Software Engineering. ACM, 2020. http://dx.doi.org/10.1145/3377811.3380343.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Lu, Pingjing, Bao Li, Zhengbin Pang, Ying Zhang, and Shaogang Wang. "Combining Program Analysis and Empirical Search to Optimize Programs." In 2013 IEEE International Conference on High Performance Computing and Communications (HPCC) & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (EUC). IEEE, 2013. http://dx.doi.org/10.1109/hpcc.and.euc.2013.272.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Schlichtkrull, Anders, Rene Rydhof Hansen, and Flemming Nielson. "Isabelle-verified correctness of Datalog programs for program analysis." In SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing. ACM, 2024. http://dx.doi.org/10.1145/3605098.3636091.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Chaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706308.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Giffhorn, Dennis. "Chopping Concurrent Programs." In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 2009. http://dx.doi.org/10.1109/scam.2009.11.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Tiedemann, K. "Using statistical analysis to mitigate risk in environmental programs." In RISK ANALYSIS 2008. WIT Press, 2008. http://dx.doi.org/10.2495/risk080261.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Quinlan, Dan. "Session details: Debugging MPD programs." In ISSTA07: International Symposium on Software Testing and Analysis. ACM, 2007. http://dx.doi.org/10.1145/3245808.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Programs analysis"

1

DEPARTMENT OF THE ARMY WASHINGTON DC. Army Programs: The Cost and Economic Analysis Program. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada402035.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Caldés, Natalia, John A. Maluccio, and David Coady. The Cost of Poverty Alleviation Transfer Programs: A Comparative Analysis of Three Programs in Latin America. Inter-American Development Bank, 2004. http://dx.doi.org/10.18235/0008719.

Der volle Inhalt der Quelle
Annotation:
A common criticism of antipoverty programs is that the high share of administrative (nontransfer) costs substantially reduces their effectiveness. Yet there is surprisingly little rigorous empirical evidence on program costs. This study proposes and implements a replicable methodology for a comparative cost analysis of three similar poverty alleviation programs in Honduras, Mexico and Nicaragua, and assesses their cost efficiency. The findings underscore that any credible assessment of cost-efficiency requires a detailed analysis of program cost structures that goes well beyond simply providin
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Zahn, John J. Fortran programs for reliability analysis. U.S. Department of Agriculture, Forest Service, Forest Products Laboratory, 1992. http://dx.doi.org/10.2737/fpl-gtr-72.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Wiser, R., S. Olson, L. Bird, and B. Swezey. Utility Green Pricing Programs: A Statistical Analysis of Program Effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/15006909.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Wiser, Ryan, Scott Olson, Lori Bird, and Blair Swezey. Utility green pricing programs: A statistical analysis of program effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/821338.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Heintze, Nevin. Set Based Analysis of ML Programs. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada270597.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Whitten, Timothy C., Eric K. Green, William C. Rankin, and Joan P. Brannick. Impact Analysis for Research and Development Programs. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada203885.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Rozhkov, M., and K. Nakanishi. Computer programs for analysis of geophysical data. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10193091.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Cummings, J. P., and D. P. Weygand. The new BNL partial wave analysis programs. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/525028.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Maddux, Gary A. Systems Engineering Analysis of AMCOM Programs(s). Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada374425.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!