Увійти

Готові списки джерел за темами / Finite State Airload Theory / Книги

Книги з теми "Finite State Airload Theory"

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

Автор: Grafiati

Опубліковано: 6 вересня 2023

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

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

Ознайомтеся з топ-49 книг для дослідження на тему "Finite State Airload Theory".

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

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

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

1

Timothy, Kam, ed. Synthesis of finite state machines: Functional optimization. Boston, Mass: Kluwer Acadmic Publishers, 1997.

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

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

2

Stochastic games with finite state and action spaces. [Amsterdam, the Netherlands]: Centrum voor Wiskunde en Informatica, 1987.

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

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

3

Kam, Timothy. Synthesis of Finite State Machines: Functional Optimization. Boston, MA: Springer US, 1997.

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

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

4

Ferdinand, Wagner, ed. Modeling software with finite state machines: A practical approach. Boca Raton, FL: Taylor & Francis, 2006.

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

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

5

Villa, Tiziano. Synthesis of Finite State Machines: Logic Optimization. Boston, MA: Springer US, 1997.

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

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

6

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

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

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

7

1953-, Villa Tiziano, ed. Synthesis of finite state machines: Logic optimization. Boston: Kluwer Academic, 1997.

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

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

8

C, Solomon R., ed. Representation theory of finite groups: Proceedings of a special research quarter at the Ohio State University, spring, 1995. Berlin: Walter de Gruyter, 1997.

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

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

9

Steven, Nowick, ed. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Boston: Kluwer Academic Publishers, 2001.

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

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

10

Fuhrer, Robert M. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Boston: Kluwer Academic Publishers, 2001.

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

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

11

1954-, Arasu K. T., ed. Groups, difference sets, and the monster: Proceedings of a special research quarter at the Ohio State University, spring 1993. Berlin: Walter de Gruyter, 1996.

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

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

12

Buhmann, Stefan Yoshi. Dispersion Forces II: Many-Body Effects, Excited Atoms, Finite Temperature and Quantum Friction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

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

13

Yee, H. C. Dynamical approach study of spurious steady-state numerical solutions of nonlinear differential equations. [Washington, D.C: National Aeronautics and Space Administration, 1990.

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

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

14

Yee, H. C. Dynamical approach study of spurious steady-state numerical solutions of nonlinear differential equations. [Washington, D.C: National Aeronautics and Space Administration, 1990.

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

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

15

Southeastern Lie Theory Workshop on Combinatorial Lie Theory and Applications (2009 : North Carolina State University), Southeastern Lie Theory Conference on Homological Methods in Representation Theory (2010 : University of Georgia), and Southeastern Lie Theory Workshop: Finite and Algebraic Groups (2011 : University of Virginia), eds. Recent developments in Lie algebras, groups, and representation theory: 2009-2011 Southeastern Lie Theory Workshop series : Combinatorial Lie Theory and Applications, October 9-11, 2009, North Carolina State University : Homological Methods in Representation Theory, May 22-24, 2010, University of Georgia : Finite and Algebraic Groups, June 1-4, 2011, University of Virginia. Providence, Rhode Island: American Mathematical Society, 2012.

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

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

16

K, Sweby P., and Ames Research Center, eds. Nonlinear dynamics & numerical uncertainties in CFD. Moffet Field, Calif: Ames Research Center, 1996.

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

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

17

K, Sweby P., and Ames Research Center, eds. Nonlinear dynamics & numerical uncertainties in CFD. Moffet Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1996.

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

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

18

K, Sweby P., and Ames Research Center, eds. Nonlinear dynamics & numerical uncertainties in CFD. Moffet Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1996.

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

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

19

Lahyane, Mustapha. Algbra for secure and reliable communication modeling: CIMPA Research School and Conference Algebra for Secure and Reliable Communication Modeling, October 1-13, 2012, Morelia, State of Michoaczn, Mexico. Edited by Martínez-Moro Edgar editor. Providence, Rhode Island: American Mathematical Society, 2015.

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

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

20

Session, Ring Theory. Ring theory and its applications: Ring Theory Session in honor of T.Y. Lam on his 70th birthday at the 31st Ohio State-Denison Mathematics Conference, May 25-27, 2012, The Ohio State University, Columbus, OH. Edited by Lam, T. Y. (Tsit-Yuen), 1942- honouree, Huynh, Dinh Van, 1947- editor of compilation, and Ohio State-Denison Mathematics Conference. Providence, Rhode Island: American Mathematical Society, 2014.

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

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

21

Lie algebras, lie superalgebras, vertex algebras, and related topics: Southeastern Lie Theory Workshop Series 2012-2014 : Categorification of Quantum Groups and Representation Theory, April 21-22, 2012, North Carolina State University : Lie Algebras, Vertex Algebras, Integrable Systems and Applications, December 16-18, 2012, College of Charleston : Noncommutative Algebraic Geometry and Representation Theory, May 10-12, 2013, Louisiana State Vniversity : Representation Theory of Lie Algebras and Lie Superalgebras, May 16-17, 2014, University of Georgia. Providence, Rhode Island: American Mathematical Society, 2016.

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

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

22

Topology and geometry in dimension three: Triangulations, invariants, and geometric structures : conference in honor of William Jaco's 70th birthday, June 4-6, 2010, Oklahoma State University, Stillwater, OK. Providence, R.I: American Mathematical Society, 2011.

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

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

23

Wagner, Ferdinand, Ruedi Schmuki, Peter Wolstenholme, and Thomas Wagner. Modeling Software with Finite State Machines. Taylor & Francis Group, 2019.

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

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

24

Villa, Tiziano, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, and Timothy Kam. Synthesis of Finite State Machines:: Functional Optimization. Springer, 1996.

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

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

25

Pedroni, Volnei A. Finite State Machines in Hardware: Theory and Design. MIT Press, 2013.

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

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

26

Pedroni, Volnei A. Finite State Machines in Hardware: Theory and Design. MIT Press, 2013.

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

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

27

Pedroni, Volnei A. Finite State Machines in Hardware: Theory and Design. MIT Press, 2013.

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

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

28

Wagner, Ferdinand, Ruedi Schmuki, Peter Wolstenholme, and Thomas Wagner. Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publishers, Incorporated, 2006.

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

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

29

Wagner, Ferdinand, Ruedi Schmuki, Peter Wolstenholme, and Thomas Wagner. Modeling Software with Finite State Machines: A Practical Approach. AUERBACH, 2006.

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

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

30

Bragg, Jonathan. Detection of neo-Riemannian cycles: A finite state approach. 2010.

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

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

31

Wagner, Ferdinand. Modeling Software with Finite State Machines: A Practical Approach. Taylor & Francis Group, 2010.

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

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

32

Handbook Of Finite State Based Models And Applications. CRC Press, 2012.

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

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

33

Reese, Robert. Finite State Machine-datapath Design, Optimization, and Implementation (Synthesis Lectures on Digital Circuits and Systems). Morgan & Claypool Publishers, 2007.

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

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

34

Finite State Machines In Hardware Theory And Design With Vhdl And Systemverilog. MIT Press Ltd, 2014.

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

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

35

Kania, Dariusz, and Robert Czerwinski. Finite State Machine Logic Synthesis for Complex Programmable Logic Devices. Springer, 2013.

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

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

36

Kania, Dariusz, and Robert Czerwinski. Finite State Machine Logic Synthesis for Complex Programmable Logic Devices. Springer, 2015.

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

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

37

Kania, Dariusz, and Robert Czerwinski. Finite State Machine Logic Synthesis for Complex Programmable Logic Devices. Springer, 2013.

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

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

38

Villa, Tiziano, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, and Timothy Kam. Synthesis of Finite State Machines:: Logic Optimization. Springer, 1997.

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

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

39

Synthesis of Finite State Machines: Logic Optimization. Springer, 2011.

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

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

40

Fuhrer, Robert M., and Steven M. Nowick. Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools. Springer, 2001.

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

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

41

Solomon, Ronald. Representation Theory of Finite Groups: Proceedings of a Special Research Quarter at the Ohio State University, Spring 1995. de Gruyter GmbH, Walter, 2012.

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

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

42

Arasu, K. T. Groups, Difference Sets, and the Monster: Proceedings of a Special Research Quarter at the Ohio State University, Spring 1993 (Ohio State University Mathematical Research Institute Publications, 4). Walter de Gruyter, 1995.

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

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

43

Dillon, J. F., K. Harada, S. Sehgal, K. T. Arasu, and R. Solomon. Groups, Difference Sets, and the Monster: Proceedings of a Special Research Quarter at the Ohio State University, Spring 1993. de Gruyter GmbH, Walter, 2011.

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

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

44

Solomon, Ronald. Representation Theory of Finite Groups: Proceedings of a Special Research Quarter at the Ohio State University, Spring 1995 (Ohio State University Mathematical Research Institute Publications, 6). Walter de Gruyter, 1997.

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

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

45

Dynamical approach study of spurious steady-state numerical solutions of nonlinear differential equations. [Washington, D.C: National Aeronautics and Space Administration, 1995.

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

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

46

Shornikov, Yury V. Theory of Programming Languages: Design and Implementation. Novosibirsk State Technical University, 2022. http://dx.doi.org/10.17212/978-5-7782-4817-5.

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

Анотація:

The textbook has been prepared in accordance with the State educational Standard in the fields of "Computer Science and Computer Engineering" (09.03.01), "Applied Computer Science" (09.03.03) for the cycle of disciplines of information specialties. The basis of the textbook was the material of lectures delivered by the author to students of the relevant specialties at the Novosibirsk State Technical University and the Kazakh-British Technical University in the courses "Theory of Formal Languages and Compilers", "System Software", and "Linguistic Support". The textbook discusses the theory of generating grammars, finite automata and regular expressions. All theoretical mechanisms of analysis and synthesis of language constructions are strictly formalized and constitute the theoretical foundations of the programming language design. The implementation of programming languages is represented by the development of language processors. The transition from formal languages to language processors is carried out through constructive analysis methods with strict modeling algorithms that can be implemented in high-level languages or with the help of modern programming automation tools. The manual discusses ANTLR and FLEX & BIZON tools for automating parser and lexer programming. Despite the educational orientation, the manual can be useful to anyone who is engaged in the design and implementation of new languages, language processors and finite-automaton recognizers.

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

47

Eckle, Hans-Peter. Models of Quantum Matter. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199678839.001.0001.

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

Анотація:

This book focuses on the theory of quantum matter, strongly interacting systems of quantum many–particle physics, particularly on their study using exactly solvable and quantum integrable models with Bethe ansatz methods. Part 1 explores the fundamental methods of statistical physics and quantum many–particle physics required for an understanding of quantum matter. It also presents a selection of the most important model systems to describe quantum matter ranging from the Hubbard model of condensed matter physics to the Rabi model of quantum optics. The remaining five parts of the book examines appropriate special cases of these models with respect to their exact solutions using Bethe ansatz methods for the ground state, finite–size, and finite temperature properties. They also demonstrate the quantum integrability of an exemplary model, the Heisenberg quantum spin chain, within the framework of the quantum inverse scattering method and through the algebraic Bethe ansatz. Further models, whose Bethe ansatz solutions are derived and examined, include the Bose and Fermi gases in one dimension, the one–dimensional Hubbard model, the Kondo model, and the quantum Tavis–Cummings model, the latter a model descendent from the Rabi model.

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

48

Bird, Steven. Phonology. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0001.

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

Анотація:

This article presents the fundamentals of descriptive phonology and gives an overview of computational phonology. Phonology is the systematic study of sounds used in language, and their composition into syllables, words, and phrases. It introduces some of the key concepts of phonology by simple examples involving real data and gives a brief discussion of early generative phonology. It analyses the autosegmental phonology using some data from African tone language. This article considers in detail one level of phonological hierarchy, namely, the syllable. It reveals many interesting issues that are confronted by phonological analysis. Some of these theoretical frameworks include: lexical phonology, underspecification phonology, government phonology, declarative phonology, and optimality theory. The article provides a means for phonological generalizations such as rules and constraints to give a finite-state interpretation.

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

49

Eriksson, Olle, Anders Bergman, Lars Bergqvist, and Johan Hellsvik. Atomistic Spin Dynamics. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198788669.001.0001.

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

Анотація:

The purpose of this book is to provide a theoretical foundation and an understanding of atomistic spin-dynamics, and to give examples of where the atomistic Landau-Lifshitz-Gilbert equation can and should be used. The contents involve a description of density functional theory both from a fundamental viewpoint as well as a practical one, with several examples of how this theory can be used for the evaluation of ground state properties like spin and orbital moments, magnetic form-factors, magnetic anisotropy, Heisenberg exchange parameters, and the Gilbert damping parameter. This book also outlines how interatomic exchange interactions are relevant for the effective field used in the temporal evolution of atomistic spins. The equation of motion for atomistic spin-dynamics is derived starting from the quantum mechanical equation of motion of the spin-operator. It is shown that this lead to the atomistic Landau-Lifshitz-Gilbert equation, provided a Born-Oppenheimer-like approximation is made, where the motion of atomic spins is considered slower than that of the electrons. It is also described how finite temperature effects may enter the theory of atomistic spin-dynamics, via Langevin dynamics. Details of the practical implementation of the resulting stochastic differential equation are provided, and several examples illustrating the accuracy and importance of this method are given. Examples are given of how atomistic spin-dynamics reproduce experimental data of magnon dispersion of bulk and thin-film systems, the damping parameter, the formation of skyrmionic states, all-thermal switching motion, and ultrafast magnetization measurements.

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

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