Books on the topic 'Computational Design Theory'

To see the other types of publications on this topic, follow the link: Computational Design Theory.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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.

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

D, Wallis W., ed. Designs 2002: Further computational and constructive design theory. Boston: Kluwer Academic Publishers, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

service), SpringerLink (Online, ed. The Language of Design: Theory and Computation. London: Springer London, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Association for Computing Machinery. ACM transactions on computational logic. New York, NY: Association for Computing Machinery, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Complexity: Theory and applications. New York, NY: Oxford University Press, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

1940-, Kitagawa Hiroshi, Aihara T. 1964-, and Kawazoe Y. 1947-, eds. Mesoscopic dynamics of fracture: Computational materials design. Berlin: New York, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Integrated circuit defect-sensitivity: Theory and computational models. Boston: Kluwer Academic Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jameson, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Sasao, Tsutomu. Switching Theory for Logic Synthesis. Boston, MA: Springer US, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Krätzig, Wilfried B. Computational Mechanics of Nonlinear Response of Shells. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Åström, Karl. Control of Complex Systems. London: Springer London, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Borggaard, 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 text
APA, Harvard, Vancouver, ISO, and other styles
13

Larson, Mats G. The Finite Element Method: Theory, Implementation, and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Computational trust models and machine learning. Boca Raton: Taylor & Francis, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Kulikov, 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 text
APA, Harvard, Vancouver, ISO, and other styles
16

1964-, 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 text
APA, Harvard, Vancouver, ISO, and other styles
17

Mauri, 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 text
APA, Harvard, Vancouver, ISO, and other styles
18

Nishizaki, 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 text
APA, Harvard, Vancouver, ISO, and other styles
19

Witold, 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 text
APA, Harvard, Vancouver, ISO, and other styles
20

Ogihara, 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 text
APA, Harvard, Vancouver, ISO, and other styles
21

Domaratzki, 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 text
APA, Harvard, Vancouver, ISO, and other styles
22

Pascal, 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 text
APA, Harvard, Vancouver, ISO, and other styles
23

David, 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 text
APA, Harvard, Vancouver, ISO, and other styles
24

FAW 2010 (2010 Wuhan, China). Frontiers in algorithmics: 4th international workshop, FAW 2010, Wuhan, China, August 11-13, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Richard, 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 text
APA, Harvard, Vancouver, ISO, and other styles
26

H, 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 text
APA, Harvard, Vancouver, ISO, and other styles
27

Newman, 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 text
APA, Harvard, Vancouver, ISO, and other styles
28

Symeō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 text
APA, Harvard, Vancouver, ISO, and other styles
29

IWPEC 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 text
APA, Harvard, Vancouver, ISO, and other styles
30

Kambiz, Salari, ed. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Hofmann, 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 text
APA, Harvard, Vancouver, ISO, and other styles
32

International 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 text
APA, Harvard, Vancouver, ISO, and other styles
33

ICGT 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 text
APA, Harvard, Vancouver, ISO, and other styles
34

service), 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 text
APA, Harvard, Vancouver, ISO, and other styles
35

Michael, 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 text
APA, Harvard, Vancouver, ISO, and other styles
36

Juhani, 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 text
APA, Harvard, Vancouver, ISO, and other styles
37

service), 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 text
APA, Harvard, Vancouver, ISO, and other styles
38

Ditmarsch, 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 text
APA, Harvard, Vancouver, ISO, and other styles
39

Wallis, W. D. Computational and Constructive Design Theory. Springer, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Computational and constructive design theory. Dordrecht: Kluwer Academic Publishers, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Wallis, W. D. Computational and Constructive Design Theory. Springer, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Wallis, W. D. Designs 2002: Further Computational and Constructive Design Theory. Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Wallis, W. D. Designs 2002: Further Computational and Constructive Design Theory. Springer, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Dong, Andy An-Si. Language of Design: Theory and Computation. Springer London, Limited, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

Suh, Nam P. Complexity: Theory and Applications. Oxford University Press, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Computational and Constructive Design Theory (Mathematics and Its Applications (Kluwer )). Springer, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

(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 text
APA, Harvard, Vancouver, ISO, and other styles
48

Wallis, W. D. Designs 2002: Further Computational and Constructive Design Theory (Mathematics and Its Applications (Kluwer )). 2nd ed. Springer, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

Oulasvirta, 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 text
Abstract:
This book presents computational interaction as an approach to explaining and enhancing the interaction between humans and information technology. Computational interaction applies abstraction, automation, and analysis to inform our understanding of the structure of interaction and also to inform the design of the software that drives new and exciting human-computer interfaces. The methods of computational interaction allow, for example, designers to identify user interfaces that are optimal against some objective criteria. They also allow software engineers to build interactive systems that adapt their behaviour to better suit individual capacities and preferences. Embedded in an iterative design process, computational interaction has the potential to complement human strengths and provide methods for generating inspiring and elegant designs. Computational interaction does not exclude the messy and complicated behaviour of humans, rather it embraces it by, for example, using models that are sensitive to uncertainty and that capture subtle variations between individual users. It also promotes the idea that there are many aspects of interaction that can be augmented by algorithms. This book introduces computational interaction design to the reader by exploring a wide range of computational interaction techniques, strategies and methods. It explains how techniques such as optimisation, economic modelling, machine learning, control theory, formal methods, cognitive models and statistical language processing can be used to model interaction and design more expressive, efficient and versatile interaction.
APA, Harvard, Vancouver, ISO, and other styles
50

Fundamentals Of Computation Theory 18th International Symposium Proceedings. Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography