Books on the topic 'Computational Design Theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Computational Design Theory.'
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 books on a wide variety of disciplines and organise your bibliography correctly.
Wallis, W. D., ed. Computational and Constructive Design Theory. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4.
Full textD, Wallis W., ed. Designs 2002: Further computational and constructive design theory. Boston: Kluwer Academic Publishers, 2003.
Find full textservice), SpringerLink (Online, ed. The Language of Design: Theory and Computation. London: Springer London, 2009.
Find full textAssociation for Computing Machinery. ACM transactions on computational logic. New York, NY: Association for Computing Machinery, 2000.
Find full textComplexity: Theory and applications. New York, NY: Oxford University Press, 2004.
Find full text1940-, Kitagawa Hiroshi, Aihara T. 1964-, and Kawazoe Y. 1947-, eds. Mesoscopic dynamics of fracture: Computational materials design. Berlin: New York, 1998.
Find full textIntegrated circuit defect-sensitivity: Theory and computational models. Boston: Kluwer Academic Publishers, 1993.
Find full textJameson, Antony. Essential elements of computational algorithms for aerodynamic analysis and design. Hampton, Va: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1997.
Find full textSasao, Tsutomu. Switching Theory for Logic Synthesis. Boston, MA: Springer US, 1999.
Find full textKrätzig, Wilfried B. Computational Mechanics of Nonlinear Response of Shells. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990.
Find full textÅström, Karl. Control of Complex Systems. London: Springer London, 2001.
Find full textBorggaard, Jeff. Computational Methods for Optimal Design and Control: Proceedings of the AFOSR Workshop on Optimal Design and Control Arlington, Virginia 30 September-3 October, 1997. Boston, MA: Birkhäuser Boston, 1998.
Find full textLarson, Mats G. The Finite Element Method: Theory, Implementation, and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textComputational trust models and machine learning. Boca Raton: Taylor & Francis, 2014.
Find full textKulikov, Alexander. Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Find full text1964-, Borggaard Jeffrey, ed. Computational methods for optimal design and control: Proceedings of the AFOSR Workshop on Optimal Design and Control, Arlington, Va., 30 September-3 October, 1997. Boston, Mass: Birkhauser Boston, 1998.
Find full textMauri, Giancarlo. Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textNishizaki, Shin-ya. Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings. Tokyo: Springer Japan, 2013.
Find full textWitold, Charatonik, Gębala Maciej, and SpringerLink (Online service), eds. Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Find full textOgihara, Mitsunori. Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Find full textDomaratzki, Michael. Implementation and Application of Automata: 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Find full textPascal, Caron, Champarnaud Jean-Marc, Maurel Denis, and SpringerLink (Online service), eds. Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textDavid, Hutchison. Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Find full textFAW 2010 (2010 Wuhan, China). Frontiers in algorithmics: 4th international workshop, FAW 2010, Wuhan, China, August 11-13, 2010 : proceedings. Berlin: Springer, 2010.
Find full textRichard, Spencer-Smith, and Torrance S. B. 1947-, eds. Machinations: Computational studies of logic, language, and cognition. Norwood, N.J: Ablex Pub. Corp., 1992.
Find full textH, Ibarra Oscar, and SpringerLink (Online service), eds. Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Find full textNewman, Perry A. Observations regarding use of advanced CFD analysis, sensitivity analysis, and design codes in MDO. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1996.
Find full textSymeōn, Bozapalidēs, and Rachōnēs Geōrgios 1965-, eds. Algebraic informatics: Third international conference on algebraic informatics, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings. Berlin: Springer, 2009.
Find full textIWPEC 2009 (2009 Copenhagen, Denmark). Parameterized and exact computation: 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers. Berlin: Springer, 2009.
Find full textKambiz, Salari, ed. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.
Find full textHofmann, Martin. Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Find full textInternational Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (13th 2010 Dortmund, Germany). Computational intelligence for knowledge-based system design: 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010 : proceedings. Berlin: Springer, 2010.
Find full textICGT 2010 (2010 Enschede, Netherlands). Graph transformations: 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27--October 2, 2010 : proceedings. Berlin: Springer, 2010.
Find full textservice), SpringerLink (Online, ed. Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.
Find full textMichael, Thielscher, Sadri Fariba, and SpringerLink (Online service), eds. Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Find full textJuhani, Karhumäki, Lepistö Arto, Prilutskii Michail, and SpringerLink (Online service), eds. Computer Science – Theory and Applications: 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Find full textservice), SpringerLink (Online, ed. Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Find full textDitmarsch, Hans van. Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textWallis, W. D. Computational and Constructive Design Theory. Springer, 2013.
Find full textComputational and constructive design theory. Dordrecht: Kluwer Academic Publishers, 1996.
Find full textWallis, W. D. Computational and Constructive Design Theory. Springer, 2013.
Find full textWallis, W. D. Designs 2002: Further Computational and Constructive Design Theory. Springer, 2012.
Find full textWallis, W. D. Designs 2002: Further Computational and Constructive Design Theory. Springer, 2013.
Find full textDong, Andy An-Si. Language of Design: Theory and Computation. Springer London, Limited, 2010.
Find full textSuh, Nam P. Complexity: Theory and Applications. Oxford University Press, 2005.
Find full textComputational and Constructive Design Theory (Mathematics and Its Applications (Kluwer )). Springer, 1996.
Find full text(Editor), Guillermo Bozzolo, Ronald D. Noebe (Editor), and Phillip B. Abel (Editor), eds. Applied Computational Materials Modeling: Theory, Simulation and Experiment. Springer, 2007.
Find full textWallis, W. D. Designs 2002: Further Computational and Constructive Design Theory (Mathematics and Its Applications (Kluwer )). 2nd ed. Springer, 2003.
Find full textOulasvirta, Antti, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes, eds. Computational Interaction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198799603.001.0001.
Full textFundamentals Of Computation Theory 18th International Symposium Proceedings. Springer, 2011.
Find full text