Увійти

Готові списки джерел за темами / Logical synthesis / Книги

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Logical synthesis.

Книги з теми "Logical synthesis"

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Logical synthesis".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Lampert, Jay. Synthesis and Backward Reference in Husserl’s Logical Investigations. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-015-8443-2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Lampert, Jay. Synthesis and backward reference in Husserl's Logical investigations. Dordrecht: Kluwer Academic Publishers, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Smarandache, Florentin. Neutrosophy: Neutrosophic probability, set, and logic : analytic synthesis & synthetic analysis. Rehoboth, NM: American Research Press, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Grodskiy, Vladimir. Economics: The End of the "Two Cambridge Disput". ru: Publishing Center RIOR, 2020. http://dx.doi.org/10.29039/02029-6.

Повний текст джерела

Анотація:

The monograph for the first time comprehensively explores two main areas of modern economics - the mainstream and neoricardianism, which are in the state of the so-called "dispute between the two Cambridges". The theoretical advantages and disadvantages of the directions, as well as specific proposals for their synthesis are shown. The author’s interpretations of many issues of economic theory are presented, aimed at increasing its consistency, logical tenacity and predictability of further development. Addressed to scientists, graduate students and teachers who specialize in the field of economics.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Husserl, Edmund. Aktive Synthesen: Aus der Vorlesung "Transzendentale Logik" 1920/21 : Ergänzungsband zu "Analysen zur passiven Synthesis". Dordrecht: Kluwer Academic Publishers, 2000.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Balikoev, Vladimir. Economic studies: history, theory, methodology. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1035827.

Повний текст джерела

Анотація:

It analyzes methodological problems of contemporary economic theory and concrete economic disciplines. In a simple and accessible form set out in historical perspective theory and methodology of economic research in a variety of economic doctrines from mercantilism to contemporary neoliberalism. Much attention is paid to the national identity of economic theory in the methodological aspect. In detail and with specific examples, discusses the methodology of dialectics and dialectical materialism, the combination of historical and logical, analysis and synthesis, induction and deduction, etc., as well as their tools of research — a scientific theory, concept, paradigm, principle, Maxim. Similar to the analysis in the example are exposed to methodologies and tools for economic studies analysis of economic activities, banking, statistics, accounting, and financial management. Addressed to students, undergraduates, graduate students, teachers and anyone interested in research methodology.

Стилі APA, Harvard, Vancouver, ISO та ін.

7

1964-, Ghosh Abhijit, and Keutzer Kurt William 1955-, eds. Logic synthesis. New York: McGraw-Hill, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Baranov, S. I. Logic synthesis for control automata. Dordrecht [The Netherlands]: Kluwer Academic Publishers, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Ashar, Pranav. Sequential logic synthesis. Boston: Kluwer Academic Publishers, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Manna, Zohar. Fundamentals of deductive program synthesis. Stanford, Calif: Dept. of Computer Science, Stanford University, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Mange, Daniel. Analysis and synthesis of logic systems. Norwood, MA: Artech House, 1986.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Calabrese, Philip. Logic And Conditional Probability: A Synthesis. USA, UK: College Publications, 2017.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Taher, Abbasi, ed. Logic synthesis using Synopsys. 2nd ed. Boston: Kluwer Academic, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Taher, Abbasi, ed. Logic synthesis using Synopsys. Boston: Kluwer Academic Publishers, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Airiau, Roland. Circuit synthesis with VHDL. Boston: Kluwer Academic Publishers, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Deschamps, Jean-Pierre. Synthesis of Arithmetic Circuits. New York: John Wiley & Sons, Ltd., 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Sasao, Tsutomu. Switching theory for logic synthesis. Boston, Mass: Kluwer Academic Publishers, 1999.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Sasao, Tsutomu. Switching theory for logic synthesis. Boston, Mass: Kluwer Academic Publishers, 1999.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

VHDL for logic synthesis. 2nd ed. Chichester: John Wiley Sons, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Functional decomposition with application to FPGA synthesis. Boston: Kluwer Academic Publishers, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Khatri, Sunil P. Advanced techniques in logic synthesis, optimizations and applications. New York: Springer, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Flener, Pierre. Logic program synthesis from incomplete information: By Pierre Flener. Boston: Kluwer Academic Publishers, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Simon, Jones, ed. VHDL: A logic synthesis approach. London: Chapman & Hall, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Cortadella, J. Logic Synthesis for Asynchronous Controllers and Interfaces. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Verilog HDL synthesis: A practical primer. Allentown, PA: Star Galaxy Pub., 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Husserl, Edmund. Analyses concerning passive and active synthesis: Lectures on transcental logic. Dordrecht: Kluwer Academic Publishers, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Murgai, Rajeev. Logic synthesis for field-programmable gate arrays. Boston: Kluwer Academic Publishers, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Manchester), International Workshop on Logic Program Synthesis and Transformation (1991 University of. Logic program synthesis and transformation: Proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991. London: Springer-Verlag, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Reversible logic synthesis: From fundamentals to quantum computing. Berlin: Springer-Verlag, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Automatic logic synthesis techniques for digital systems. Basingstoke: Macmillan Press, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Automatic logic synthesis techniques for digital systems. Basingstoke: Macmillan Press, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Edwards, Martyn D. Automatic logic synthesis techniques for digital systems. New York: McGraw-Hill, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Fabio, Somenzi, ed. Logic synthesis and verification algorithms. Boston: Kluwer Academic Publishers, 1996.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Hachtel, Gary D. Logic Synthesis and Verification Algorithms. Cleveland: Kluwer Academic Publishers, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Rosenschein, Stanley J. The synthesis of digital machines with provable epistemic properties. Menlo Park, CA: Center for the Study of Language and Information/SRI International, 1987.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

1953-, Lau K. K., Clement T. P. 1954-, Association for Logic Programming, British Computer Society, and UK Conference on Logic Programming., eds. Logic program synthesis and transformation: Proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. London: Springer-Verlag, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

1960-, Deville Yves, and British Computer Society, eds. Logic program synthesis and transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. London: Springer-Verlag, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Wolfgang, Günther, ed. Towards one-pass synthesis. Boston, Mass: Kluwer Academic Publishers, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Gestalten der transzendentalen Einheit: Bedingungen der Synthesis bei Kant. Berlin: Walter de Gruyter, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Barkalov, Alexander. Logic Synthesis for FSM-Based Control Units. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Al-Rabadi, Anas N. Reversible Logic Synthesis: From Fundamentals to Quantum Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Adam, Kaplan, and Sarrafzadeh Majid, eds. Synthesis techniques and optimizations for reconfigurable systems. Boston: Kluwer Academic Publishers, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Kastner, Ryan. Synthesis techniques and optimizations for reconfigurable systems. Boston: Kluwer Academic Publishers, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Czerwinski, Robert. Finite State Machine Logic Synthesis for Complex Programmable Logic Devices. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Lampert, Jay Raymond *. Husserl's concept of synthesis in the "Logical Investigations". 1988.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Lampert, J. Synthesis and Backward Reference in Husserl's Logical Investigations. Springer, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Taber, Douglass F., and Tristan Lambert. Organic Synthesis. Oxford University Press, 2015. http://dx.doi.org/10.1093/oso/9780190200794.001.0001.

Повний текст джерела

Анотація:

Organic Synthesis: State of the Art 2011-2013 is a convenient, concise reference that summarizes the most important current developments in organic synthesis, from functional group transformations to complex natural product synthesis. The fifth volume in the esteemed State of the Art series, the book compiles two years' worth of Douglass Taber's popular weekly column Organic Chemistry Highlights. The series is an invaluable resource, leading chemists quickly and easily to the most significant developments in the field. The book is logically divided into two sections: the first section focuses on specific topics in organic synthesis, such as C-N Ring Construction and Carbon-Carbon Bond Formation. Each topic is presented using the most significant publications within those areas of research. The journal references are included in the text. The second section focuses on benchmark total syntheses, with an analysis of the strategy for each, and discussions of pivotal transformations. Synthetic organic chemistry is a complex and rapidly growing field, with additional new journals appearing almost every year. Staying abreast of recent research is a daunting undertaking. This book is an ideal tool for both practicing chemists and students, offering a rich source of information and suggesting fruitful pathways for future investigation.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Stöltzner, Michael. The Logical Empiricists. Edited by Helen Beebee, Christopher Hitchcock, and Peter Menzies. Oxford University Press, 2010. http://dx.doi.org/10.1093/oxfordhb/9780199279739.003.0007.

Повний текст джерела

Анотація:

Causation was a central theme for the movement of Logical Empiricism (LE); during its classical European phase — the 1920s and 1930s — and beyond. It would not become one of LE's alleged ‘dogmas’, unlike verificationism and the analytic–synthetic distinction. Rather, the topic of causation paradigmatically exhibits two important features of LE. First, the movement was intimately connected to the scientific developments of the day; its representatives tried to accommodate their analyses to those developments rather than insist on an unassailable philosophical outlook come what may. Second, their joint allegiance to scientific empiricism and modern logic, and the common agenda to replace traditional metaphysics by a scientific world conception, cannot conceal the fact that the members of LE stemmed from different intellectual backgrounds and pursued, the manifold cross-references notwithstanding, original trains of thought. Hence they reacted in different ways to the scientific revolutions that occurred during the heyday of LE, quantum theory foremost.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

(Editor), Alfons Keupink, and Sanford Shieh (Editor), eds. The Limits of Logical Empiricism: Selected Papers of Arthur Pap (Synthese Library). Springer, 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Aliseda, Atocha. Abductive Reasoning: Logical Investigations into Discovery and Explanation (Synthese Library). Springer, 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!