Relevant bibliographies by topics / Engineering design reasoning / Books

Books on the topic 'Engineering design reasoning'

To see the other types of publications on this topic, follow the link: Engineering design reasoning.
Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

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

Select a source type:

Consult the top 41 books for your research on the topic 'Engineering design reasoning.'

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

1947-, Brown David C., ed. Engineering design: Representation and reasoning. 2nd ed. New York: Cambridge University Press, 2012.

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

Andrzej, Kraslawski, ed. Case based design: Applications in process engineering. Berlin: Springer, 2008.

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

1953-, Balachandran M., and Zhang Dong Mei, eds. Case-based reasoning in design. Mahwah, N.J: Lawrence Erlbaum Associates, 1995.

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

Wang, Charlie C. L. Geometric Modeling and Reasoning of Human-Centered Freeform Products. London: Springer London, 2013.

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

Kaufmann, Matt. Computer-Aided Reasoning: ACL2 Case Studies. Boston, MA: Springer US, 2000.

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

Kunz, Wolfgang. Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques. Boston, MA: Springer US, 1997.

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

J, Berndt Donald, and Kandel Abraham, eds. Automated database applications testing: Specification representation for automated reasoning. Singapore: World Scientific, 2010.

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

Panagiotis, Manolios, and Moore J. Strother 1947-, eds. Computer-aided reasoning: An approach. Boston: Kluwer Academic Publishers, 2000.

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

Matt, Kaufmann, Manolios Panagiotis, and Moore J. Strother 1947-, eds. Computer-aided reasoning: ACL2 case studies. Boston: Kluwer Academic Publishers, 2000.

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

LPAR (Conference) (17th 2010 Yogyakarta, Indonesia). Logic for programming, artificial intelligence, and reasoning: 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. Berlin: Springer, 2010.

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

Joohyung, Lee, Lierler Yuliya, Pearce David, and SpringerLink (Online service), eds. Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

Dale, Miller, Sattler Uli, and SpringerLink (Online service), eds. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

Fangzhen, Lin, Schaub Torsten, and SpringerLink (Online service), eds. Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

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

1959-, Voronkov A. (Andreĭ), and SpringerLink (Online service), eds. Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

Varlamov, Oleg. Mivar databases and rules. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1508665.

Full text
Abstract:
The multidimensional open epistemological active network MOGAN is the basis for the transition to a qualitatively new level of creating logical artificial intelligence. Mivar databases and rules became the foundation for the creation of MOGAN. The results of the analysis and generalization of data representation structures of various data models are presented: from relational to "Entity — Relationship" (ER-model). On the basis of this generalization, a new model of data and rules is created: the mivar information space "Thing-Property-Relation". The logic-computational processing of data in this new model of data and rules is shown, which has linear computational complexity relative to the number of rules. MOGAN is a development of Rule - Based Systems and allows you to quickly and easily design algorithms and work with logical reasoning in the "If..., Then..." format. An example of creating a mivar expert system for solving problems in the model area "Geometry"is given. Mivar databases and rules can be used to model cause-and-effect relationships in different subject areas and to create knowledge bases of new-generation applied artificial intelligence systems and real-time mivar expert systems with the transition to"Big Knowledge". The textbook in the field of training "Computer Science and Computer Engineering" is intended for students, bachelors, undergraduates, postgraduates studying artificial intelligence methods used in information processing and management systems, as well as for users and specialists who create mivar knowledge models, expert systems, automated control systems and decision support systems. Keywords: cybernetics, artificial intelligence, mivar, mivar networks, databases, data models, expert system, intelligent systems, multidimensional open epistemological active network, MOGAN, MIPRA, KESMI, Wi!Mi, Razumator, knowledge bases, knowledge graphs, knowledge networks, Big knowledge, products, logical inference, decision support systems, decision-making systems, autonomous robots, recommendation systems, universal knowledge tools, expert system designers, logical artificial intelligence.
APA, Harvard, Vancouver, ISO, and other styles
16

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

Dym, Clive L. Engineering Design: Representation And Reasoning. Cambridge University Press, 2014.

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

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

Case Based Design Studies in Computational Intelligence. Springer, 2010.

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

Tong, Christopher. Artificial Intelligence in Engineering Design: Models of Innovative Design, Reasoning About Physical Systems, and Reasoning About Geometry (Artificial Intelligence in Engineering Design). Academic Pr, 1992.

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

Tong, Christopher. Artificial Intelligence in Engineering Design: Models of Innovative Design, Reasoning About Physical Systems, and Reasoning About Geometry (Artificial Intelligence in Engineering Design). Academic Pr, 1992.

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

Geometric Modeling And Reasoning Of Humancentered Freeform Products. Springer, 2012.

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

Hounsell, Marcelo da Silva. Feature-based validation reasoning for intent-driven engineering design. 1998.

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

Unknown. Artificial Intelligence in Engineering Design : Volume II: Models of Innovative Design, Reasoning about Physical Systems, and Reasoning about Geometry. Elsevier Science & Technology Books, 2012.

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

Automated Reasoning 4th International Joint Conference Proceedings. Springer, 2008.

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

Logic Programming And Nonmonotonic Reasoning 11th International Conference Proceedings. Springer, 2011.

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

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence. Springer, 2011.

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

Kaufmann, Matt, Panagiotis Manolios, and J. Moore. Computer-Aided Reasoning: An Approach. Lulu Press, Inc., 2010.

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

Furbach, Ulrich, and Natarajan Shankar. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer London, Limited, 2006.

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

Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings. Springer, 2012.

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

(Editor), Ulrich Furbach, and Natarajan Shankar (Editor), eds. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2007.

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

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings. Springer, 2008.

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

Kaufmann, Matt, Panagiotis Manolios, and J. Strother Moore. Computer-Aided Reasoning: An Approach (Advances in Formal Methods). Springer, 2000.

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

(Editor), Matt Kaufmann, Panagiotis Manolios (Editor), and J. Strother Moore (Editor), eds. Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods). Springer, 2000.

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

Rampinelli, Giuliano Arns, and Solange Machado. Manual de sistemas fotovoltaicos de geração distribuída: Teoria e prática. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-330-5.

Full text
Abstract:
This book started from a desire to contribute scientifically with the knowledge about photovoltaic solar energy – an art promoted and developed by members of School of Sun and the NTEEL Solar. It has been possible through the research groups from School of Sun Project and the Electric Energy Technological Nucleus – Solar (NTEEL Solar). The School of Sun is a project from Federal University of Santa Catarina (UFSC) which promotes scientific knowledge by the promotion of the information. The NTEEL Solar is a group which develops projects and scientific research in Photovoltaic Solar Energy and its applications. This work presents topics about the Brazilian electrical sector and its commercialization of energy, concepts about the reasoning and measurement of the solar radiation, characteristics and technologies of photovoltaic cells and modules; characteristics and technologies of inverters; monitoring and analysis of the photovoltaic systems; consumptions and generation profiles, rules and law, operation and maintenance of systems, softwares to dimension and simulate systems, and energy efficiency at buildings. It is a pleasure to share these research results from projects and scientific researches with you, dear reader. We would like to thank all the people that have been helping us with research so far, especially with this book. We are also thankful for the organizations which have been supporting us: the Federal University of Santa Catarina (UFSC), the School of Sun (UFSC), the Electric Energy Technological Nucleus – NTEEL Solar, Graduate Program in Energy and Sustainability (PPGES), the Undergraduate Program in Energy Engineering, the Coordination of Personnel Improvement of Graduate and Undergraduate Studies (CAPES), The National Council of Scientific and Technological Development (CNPq) and the Foundation of Support to Scientific Research and Innovation from Santa Catarina State (FAPESC). This book contributes scientifically to the promotion of renewable technology, reliable, competitive; towards sustainable development. We hope that you appreciate it and have a great reading.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Engineering design reasoning' for other source types:
Journal articles Dissertations / Theses
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