Bücher zum Thema „Synthesis of Probabilistic Programs“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Synthesis of Probabilistic Programs" 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 Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Brown, Andrew M. Probabilistic component mode synthesis of nondeterministic substructures. Washington, DC: [National Aeronautics and Space Administration, 1997.
Den vollen Inhalt der Quelle findenSchmid, Ute. Inductive Synthesis of Functional Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b12055.
Der volle Inhalt der QuelleKwan, Victor. A predicative model for probabilistic specifications and programs. Ottawa: National Library of Canada, 1998.
Den vollen Inhalt der Quelle findenSpeight, Vanessa. Probabilistic modeling framework for assessing water quality sampling programs. Denver, Colo: Water Research Foundation, 2009.
Den vollen Inhalt der Quelle findenPai, Shantaram S. Probabilistic structural analysis of adaptive/smart/intelligent space structures. [Washington, DC]: National Aeronautics and Space Administration, 1991.
Den vollen Inhalt der Quelle findenUnited Kingdom. Department of Social Security. Social Assistance in OECD countries: Synthesis report. London: HMSO, 1996.
Den vollen Inhalt der Quelle findenBunt, Harry. Advances in Probabilistic and Other Parsing Technologies. Dordrecht: Springer Netherlands, 2000.
Den vollen Inhalt der Quelle findenPai, Shantaram S. Probabilistic structural analysis of a truss typical for space station. [Washington, DC]: National Aeronautics and Space Administration, 1990.
Den vollen Inhalt der Quelle findenDavid, Cope. Virtual music: Computer synthesis of musical style. Cambridge, Mass: MIT Press, 2001.
Den vollen Inhalt der Quelle findenSchroeder, Manfred R. Computer Speech: Recognition, Compression, Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Den vollen Inhalt der Quelle findenCarr, William P. State product evaluation programs: A synthesis of highway practice. Washington, D.C: Transportation Research Board, 2004.
Den vollen Inhalt der Quelle findenBrown, Andrew M. Development of a probabilistic component mode synthesis method for the analysis of non-deterministic substructures. Washington, DC: [National Aeronautics and Space Administration, 1995.
Den vollen Inhalt der Quelle findenLuqi. Research directions in software analysis, synthesis and certification. Monterey, Calif: Naval Postgraduate School, 1992.
Den vollen Inhalt der Quelle findenHostikka, Simo. Probabilistic fire simulator: Theory and user's manual for version 1.2. Espoo [Finland]: VTT Technical Research Centre of Finland, 2003.
Den vollen Inhalt der Quelle findenFenves, Steven J. SASE - Standards Analysis, Synthesis, and Expression program: User manual. Gaithersburg, MD: U.S. Dept. of Commerce, National Bureau of Standards, 1987.
Den vollen Inhalt der Quelle findenBrassil, John. Analysis, argument, and synthesis. Saddle Brook, N.J: Peoples Education, 2008.
Den vollen Inhalt der Quelle findenVirtual music: Computer synthesis of musical style. Cambridge, Mass: MIT Press, 2001.
Den vollen Inhalt der Quelle findenSchroeder, Manfred R. Computer Speech: Recognition, Compression, Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Den vollen Inhalt der Quelle findenHosen, Kenneth I. Transit agency participation in Medicaid transportation programs: A synthesis of transit practice. Washington, D.C: Transportation Research Board, 2006.
Den vollen Inhalt der Quelle findenNemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.
Den vollen Inhalt der Quelle findenNemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.
Den vollen Inhalt der Quelle findenNemmers, Charles J. Synthesis study: Effectiveness of safety corridor programs, report on tasks 1-3. Ames, Iowa: Midwest Transportation Consortium c/o Iowa State University, 2008.
Den vollen Inhalt der Quelle findenBalas, Gary J. [mu]-analysis and synthesis toolbox for use with MATLAB: User's guide. Natick, Mass: MathWorks, Inc., 1994.
Den vollen Inhalt der Quelle findenSpitz, Gregory. Web-based survey techniques: A synthesis of transit practice. Washington, D.C: Transportation Research Board, 2006.
Den vollen Inhalt der Quelle findenChu, T. L. Modeling a digital feedwater control system using traditional probabilistic risk assessment methods: Final report. Washington, DC: U. S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2009.
Den vollen Inhalt der Quelle findenBehavioral synthesis: Digital system design using the Synopsys Behavioral Compiler. Upper Saddle River, N.J: Prentice Hall PTR, 1996.
Den vollen Inhalt der Quelle findenJohn, Egermeier, und United States. Office of Educational Research and Improvement. Programs for the Improvement of Practice., Hrsg. School change models and processes: A review and synthesis of research and practice. [Washington, D.C.]: U.S. Dept. of Education, Office of Educational Research and Improvement, Programs for the Improvement of Practice, 1993.
Den vollen Inhalt der Quelle findenMcFadden, John. Synthesis and evaluation of red light running automated enforcement programs in the United States. Washington, D.C: U.S. Dept. of Transportation, Federal Highway Administration, Office of Highway Safety Infrastructure, 1999.
Den vollen Inhalt der Quelle findenPrograms, National Research Council (U S. ). Task Group on Research and Analysis. Supporting research and data analysis in NASA's science programs: Engines for innovation and synthesis. Washington, D.C: National Academy Press, 1998.
Den vollen Inhalt der Quelle findenVanhoof, Jan. High-Level Synthesis for Real-Time Digital Signal Processing. Boston, MA: Springer US, 1993.
Den vollen Inhalt der Quelle findenMori, Renato. New Systems and Architectures for Automatic Speech Recognition and Synthesis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.
Den vollen Inhalt der Quelle findenRao, K. Sreenivasa. Predicting Prosody from Text for Text-to-Speech Synthesis. New York, NY: Springer New York, 2012.
Den vollen Inhalt der Quelle findenGrogger, Jeff. Consequences of welfare reform: A research synthesis. [Santa Monica, Calif.]: RAND, 2002.
Den vollen Inhalt der Quelle findenInternational Conference on Compilers, Architectures, and Synthesis for Embedded Systems (6th 2003 San Jose, Calif.). Cases 2003: The International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. New York, N.Y: ACM Press, 2003.
Den vollen Inhalt der Quelle findenMalone, J. B. The design of future airbreathing engine systems within an intelligent synthesis environment. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 1999.
Den vollen Inhalt der Quelle findenMalone, J. B. The design of future airbreathing engine systems within an intelligent synthesis environment. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 1999.
Den vollen Inhalt der Quelle findenPorwik, Piotr. Widmowe modelowanie systemów cyfrowych o zadanych cechach. Katowice: Wydawn. Uniwersytetu Śląskiego, 2000.
Den vollen Inhalt der Quelle findenBhatnagar, Himanshu. Advanced ASIC chip synthesis: Using Synopsys Design Compiler, Physical Compiler, and PrimeTime. 2. Aufl. Boston: Kluwer Academic Publishers, 2002.
Den vollen Inhalt der Quelle findenBhatnagar, Himanshu. Advanced ASIC chip synthesis: Using Synopsys Design Compiler, Physical Compiler, and PrimeTime. 2. Aufl. Boston: Kluwer Academic Publishers, 2002.
Den vollen Inhalt der Quelle findenInternational Conference on Compilers, Architectures, and Synthesis for Embedded Systems (8th 2005 San Francisco, Calif.). CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 24-27, 2005, San Francisco, California, USA. New York, NY: ACM Press, 2005.
Den vollen Inhalt der Quelle findenJane, Irwin Mary, Zhao Wei, Lavagno Luciano 1959-, Mahlke Scott und ACM Digital Library, Hrsg. Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems: 2004, Washington DC, USA, September 22-25, 2004. New York, NY: ACM Press, 2004.
Den vollen Inhalt der Quelle findenAssociation for Computing Machinery. Special Interest Group on Embedded Systems., Hrsg. CASES 2006: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea, embedded systems week 2006. New York, NY: ACM Press, 2006.
Den vollen Inhalt der Quelle findenLitvin, F. L. Local synthesis and tooth contact analysis of face-milled spiral bevel gears. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1991.
Den vollen Inhalt der Quelle findenKatoen, Joost-Pieter. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 1999.
Den vollen Inhalt der Quelle findenInternational Conference on Compilers, Architectures, and Synthesis for Embedded Systems (2003 San Jose, Calif.). CASES 2003: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems : October 30-November 1, 2003, San Jose, California, USA. New York, N.Y: Association for Computing Machinery, 2003.
Den vollen Inhalt der Quelle findenInternational, Conference on Compilers Architectures and Synthesis for Embedded Systems (2nd 2001 Atlanta Ga ). Proceedings of CASES 2001: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, November 16-17, 2001, Atlanta, Georgia, USA. New York: ACM Press, 2001.
Den vollen Inhalt der Quelle findenservice), SpringerLink (Online, Hrsg. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenGeorge C. Marshall Space Flight Center., Hrsg. Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, Marshall Space Flight Center, 1998.
Den vollen Inhalt der Quelle findenGeorge C. Marshall Space Flight Center., Hrsg. Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, Marshall Space Flight Center, 1998.
Den vollen Inhalt der Quelle findenM, Shiao, Chamis C. C und United States. National Aeronautics and Space Administration., Hrsg. Probabilistic assessment of National Wind Tunnel. [Washington, D.C: National Aeronautics and Space Administration, 1996.
Den vollen Inhalt der Quelle finden