Готові списки джерел за темами / Ambisonie de premier ordre

Добірка наукової літератури з теми "Ambisonie de premier ordre"

Автор: Grafiati
Опубліковано: 18 листопада 2022
Оновлено: 17 грудня 2022

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

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

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Ambisonie de premier ordre".

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

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

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг

Статті в журналах з теми "Ambisonie de premier ordre":

1

Bernd, Zilá. "Un patrimoine culturel de premier ordre." Voix et Images 30, no. 3 (2005): 9. http://dx.doi.org/10.7202/011852ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Sorin Stratulat. "Récurrence nœthérienne pour le raisonnement de premier ordre." Bulletin 1024, no. 19 (April 2022): 157–70. http://dx.doi.org/10.48556/sif.1024.19.157.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Nguyen, Pierre. "Hypertranscendance de fonctions de Mahler du premier ordre." Comptes Rendus Mathematique 349, no. 17-18 (September 2011): 943–46. http://dx.doi.org/10.1016/j.crma.2011.08.021.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Fruchard, Augustin. "Sur l'équation aux différences affine du premier ordre unidimensionnelle." Annales de l’institut Fourier 46, no. 1 (1996): 139–81. http://dx.doi.org/10.5802/aif.1510.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

LLIBRE, JAUME, and CLÀUDIA VALLS. "On theC1non-integrability of differential systems via periodic orbits." European Journal of Applied Mathematics 22, no. 4 (April 6, 2011): 381–91. http://dx.doi.org/10.1017/s0956792511000143.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
We go back to the results of Poincaré [Poincare, H (1891) Sur lintegration des equations differentielles du premier ordre et du premier degre I and II,Rendiconti del circolo matematico di Palermo5, 161–191] on the multipliers of a periodic orbit for proving theC1non-integrability of differential systems. We apply these results to Lorenz, Rossler and Michelson systems, among others.
6

Amiot, Gilles. "Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 324, no. 9 (May 1997): 959–62. http://dx.doi.org/10.1016/s0764-4442(97)87867-6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Rivenc, François. "Remarques à propos d'une récente Introduction à la logique." Dialogue 38, no. 2 (1999): 369–78. http://dx.doi.org/10.1017/s0012217300007265.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d'accàs (en particulier pour la première partie, oú l'accent est mis sur le côté opératoire de la logique), et son ambition (deuxiéme partie, plus théorique), puisqu'on y trouve notamment une démonstration de la complétude d'un certain système déductif S1 pour la logique classique des prédicats, ainsi qu'une version synoptique du théorème de Gödel (1931), selon lequel toute thèorie du premier ordre (consistante) complète axiomatisable est décidable, d'où il s'ensuit que l'arithmétique, c'est-à-dire l'ensemble des énoncés du premier ordre vrais dans N, n'est pas axiomatisable; ce qu'on exprime souvent en disant que tout système formel pour l'arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système.
8

Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels." Communications in Partial Differential Equations 16, no. 6-7 (January 1991): 1057–74. http://dx.doi.org/10.1080/03605309108820789.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Awatif, Sayah. "Equqtions D'Hamilton-Jacobi Du Premier Ordre Avec Termes Intégro-Différentiels." Communications in Partial Differential Equations 16, no. 6-7 (January 1991): 1075–93. http://dx.doi.org/10.1080/03605309108820790.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Barthélemy, Louise. "Problème d'obstacle pour une équation quasi-linéaire du premier ordre." Annales de la faculté des sciences de Toulouse Mathématiques 9, no. 2 (1988): 137–59. http://dx.doi.org/10.5802/afst.653.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел
Також вас можуть зацікавити розширені добірки на тему "Ambisonie de premier ordre" для конкретних типів джерел:
Статті в журналах Дисертації Книги

Дисертації з теми "Ambisonie de premier ordre":

1

Mahé, Pierre. "Codage ambisonique pour les communications immersives." Thesis, La Rochelle, 2022. http://www.theses.fr/2022LAROS011.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cette thèse s’inscrit dans le contexte de l’essor des contenus immersifs. Depuis quelques années, les technologies de captation et de restitution sonore immersive se sont développées de manière importante. Ce nouveau contenu a fait naître le besoin de créer de nouvelles méthodes dédiées à la compression audio spatialisée, notamment dans le domaine de la téléphonie et des services conversationnels. Il existe plusieurs manières de représenter l’audio spatialisé, dans cette thèse nous sommes intéressés à l’ambisonie d’ordre 1. Dans un premier temps, nos travaux ont porté sur la recherche d’une solution pour améliorer le codage multimono. Cette solution consiste en un traitement en amont du codec multimono pour décorréler les signaux des composantes ambisoniques. Une attention particulière a été portée à la garantie de continuité du signal entre les trames et à la quantification des métadonnées spatiales. Dans un second temps, nous avons étudié comment utiliser la connaissance de la répartition de l’énergie du signal dans l’espace, aussi appelée image spatiale, pour créer de nouvelles méthodes de codage. L’utilisation de cette image spatiale a permis d’élaborer deux méthodes de compression. La première approche proposée est basée sur la correction spatiale du signal décodé. Cette correction se base sur la différence entre les images spatiales du signal d’origine et du signal décodés pour atténuer les altérations spatiales. Ce principe a été étendu dans une seconde approche à une méthode de codage paramétrique. Dans une dernière partie de cette thèse, plus exploratoire, nous avons étudié une approche de compression par réseaux de neurones en nous inspirant de modèles de compression d’images par auto-encodeur variationnel
This thesis takes place in the context of the spread of immersive content. For the last couple of years, immersive audio recording and playback technologies have gained momentum and have become more and more popular. New codecs are needed to handle those spatial audio formats, especially for communication applications. There are several ways to represent spatial audio scenes. In this thesis, we focused on First Order Ambisonic. The first part of our research focused on improving multi-monocoding by decorrelated each ambisonic signal component before the multi-mono coding. To guarantee signal continuity between frames, efficient quantization new mechanisms are proposed. In the second part of this thesis, we proposed a new coding concept using a power map to recreate the original spatial image. With this concept, we proposed two compressing methods. The first one is a post-processing focused on limiting the spatial distortion of the decoded signal. The spatial correction is based on the difference between the original and the decoded spatial image. This post-processing is later extended to a parametric coding method. The last part of this thesis presents a more exploratory method. This method studied audio signal compression by neural networks inspired by image compression models using variational autoencoders
2

Georgy, Nicolas. "Equations de type implicite du premier ordre /." [S.l.] : [s.n.], 1999. http://library.epfl.ch/theses/?nr=2068.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

André, Simon. "Groupes hyperboliques et logique du premier ordre." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S030/document.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Deux groupes sont dits élémentairement équivalents s'ils satisfont les mêmes énoncés du premier ordre dans le langage des groupes. Aux environs de l'année 1945, Tarski posa la question suivante, connue désormais comme le problème de Tarski : les groupes libres non abéliens sont-ils élémentairement équivalents ? Une réponse positive à cette fameuse question fut apportée plus d'un demi-siècle plus tard par Sela, et en parallèle par Kharlampovich et Myasnikov, comme le point d'orgue de deux volumineuses séries de travaux. Dans la foulée, Sela généralisa aux groupes hyperboliques sans torsion, dont les groupes libres sont des représentants emblématiques, les méthodes de nature géométrique qu'il avait précédemment introduites à l'occasion de son travail sur le problème de Tarski. Les résultats rassemblés ici s'inscrivent dans cette lignée, en s'en démarquant toutefois dans la mesure où ils traitent des théories du premier ordre des groupes hyperboliques en présence de torsion. Dans un premier chapitre, on démontre, entre autres, que tout groupe de type fini qui est élémentairement équivalent à un groupe hyperbolique est lui-même hyperbolique. On démontre ensuite que les groupes virtuellement libres sont presque homogènes, ce qui signifie que deux éléments qui sont indiscernables du point de vue de la logique du premier ordre sont dans la même orbite sous l'action du groupes des automorphismes du groupe ambiant, à une indétermination finie près. Enfin, on donne une classification complète des groupes virtuellement libres de type fini du point de l'équivalence élémentaire à deux quantificateurs
Two groups are said to be elementarily equivalent if they satisfy the same first-order sentences in the language of groups, that is the same mathematical statements whose variables are only interpreted as elements of a group. Around 1945, Tarski asked the following question : are non-abelian free groups elementarily equivalent? An affirmative answer to this famous Tarski's problem was given in 2006 by Sela and independently by Kharlampovich and Myasnikov, as the culmination of two voluminous series of papers. Then, Sela gave a classification of all finitely generated groups that are elementarily equivalent to a given torsion-free hyperbolic group. The results contained in the present thesis fall into this context and deal with first-order theories of hyperbolic groups with torsion. In the first chapter, we prove that any finitely generated group that is elementarily equivalent to a hyperbolic group is itself a hyperbolic group. Then, we prove that virtually free groups are almost homogeneous, meaning that elements are almost determined up to automorphism by their type, i.e. the first-order formulas they satisfy. In the last chapter, we give a complete classification of finitely generated virtually free groups up to elementary equivalence with two quantifiers
4

Croce, Gisella. "Sur quelques inclusions différentielles de premier et de deuxième ordre /." [S.l.] : [s.n.], 2004. http://library.epfl.ch/theses/?display=detail&nr=3010.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Wasiolek, Victor. "Analyse asymptotique de systèmes hyperboliques quasi-linéaires du premier ordre." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22577/document.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les systèmes hyperboliques interviennent dans de nombreuses branches des sciences : théorie cinétique, mécanique des fluides non visqueux, magnéto hydrodynamique, dynamique des gaz non visqueux, trafic routier, flux d’une rivière ou d’un glacier, processus de sédimentation, processus d’échanges chimiques, etc. Et souvent, les systèmes qui régissent ces évènements font intervenir des petits paramètres, dont l’étude asymptotique permet d’envisager des simplifications mathématiques et/ou informatiques notoires. L’existence locale et l’existence globale de solutions, uniformément par rapport à ces paramètres, sont des questions fondamentales. Cette thèse regroupe à la fois des résultats généraux sur l’existence locale uniforme de solutions pour des systèmes hyperboliques quasi-linéaires du premier ordre ; et sur l’existence globale uniforme de solutions autour d’un équilibre constant pour ces mêmes systèmes. Le cas du système d’Euler-Maxwell ne satisfaisant pas les conditions requises pour l’existence uniforme globale, nous le traitons à part
Hyperbolic systems arise in a large field of sciences : kinetic theory, inviscid reactive flow, magnetohydrodynamics, inviscid gas dynamics, traffic flow, river or glacier flow, sedimentation processes, chemical exchange processes, etc. In these kind of systems, small paramaters often appear, and an asymptotic study may lead to mathematical or computational simplifications. One fundamental problem that we may work on is local and global existence of solutions for these systems, uniformly with respect to these parameters. This Ph.D. thesis includes, on one hand, general results on uniform local existence of solutions for first order quasi-linear hyperbolic systems ; and on the other hand, results on uniform global existence of solutions near constant equilibriums for these same systems. In the case of Euler-Maxwell systems, required conditions are not fulfilled for uniform global existence, then we treat it separately
6

Cohen, Cyril. "Formalisation des nombres algébriques : construction et théorie du premier ordre." Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00780446.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cette thèse présente une formalisation des nombres algébriques et de leur théorie. Elle apporte deux nouvelles contributions importantes à la formalisation de résultats mathématiques dans des assistants à la preuve, ici Coq : la construction intuitionniste des nombres algébriques réels et la preuve qu'ils constituent un corps réel clos, ainsi que la programmation et la certification de procédures d'élimination des quantificateurs pour les théories des corps algébriquement clos et des corps réels clos. Pour atteindre ces résultats, nous avons apporté des contributions aux outils et aux méthodologies de preuves et de formalisation des mathématiques en Coq. En particulier, nous fournissons pour Coq/SSReflect un cadre pour travailler avec des types quotients. Nous fournissons une bibliothèque complète sur les structures algébriques de nombres ordonnés et normés. Nous avons réalisé une courte implémentation des réels de Cauchy accompagnée de tactiques pour effectuer facilement des raisonnements comportant des affirmations de la forme "soit n un entier suffisamment grand", couramment utilisés dans les preuves mathématiques sur papier. Nous avons également développé une petite bibliothèque d'analyse de base sur les polynômes à coefficients dans un corps réel clos. Une grande partie de nos résultats s'intègrent dans la formalisation de la preuve du théorème de Feit-Thompson et ont aussi pour objectif d'aider à certifier des procédures plus efficace d'élimination des quantificateurs sur les réels.
7

Pottier, Loïc. "Algorithmes de complétion et généralisation en logique du premier ordre." Nice, 1989. http://www.theses.fr/1989NICE4261.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Présentation d'un système d'inférence réalisant la complétion de théories équationnelles dans une structure générale. Il est montré que ce système peut être appliqué aux termes et aux polynômes et permet d'y définir une famille d'algorithmes de complétion du type de ceux de Kmith-Bendix et Buchberger. Ce système a été implémenté en CAML. La seconde partie traite la généralisation de termes et de formules logiques. Deux systèmes d'inférence sont proposés. Enfin, une méthode de généralisation de formules du calcul des prédicats du premier ordre, basée sur le formalisme polynomial en logique, est introduite
8

Dross, Claire. "Procédures de décision génériques pour des théories axiomatiques du premier ordre." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01002190.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les solveurs SMT sont des outils dédiés à la vérification d'un ensemble de formules mathématiques, en général sans quantificateurs, utilisant un certain nombre de théories prédéfinies, telles que la congruence, l'arithmétique linéaire sur les entiers, les rationnels ou les réels, les tableaux de bits ou les tableaux. Ajouter une nouvelle théorie à un solveur SMT nécessite en général une connaissance assez profonde du fonctionnement interne du solveur, et, de ce fait, ne peut en général être exécutée que par ses développeurs. Pour de nombreuses théories, il est également possible de fournir une axiomatisation finie en logique du premier ordre. Toutefois, si les solveurs SMT sont généralement complets et efficaces sur des problèmes sans quantificateurs, ils deviennent imprévisibles en logique du premier ordre. Par conséquent, cette approche ne peut pas être utilisée pour fournir une procédure de décision pour ces théories. Dans cette thèse, nous proposons un cadre d'application permettant de résoudre ce problème en utilisant des déclencheurs. Les déclencheurs sont des annotations permettant de spécifier la forme des termes avec lesquels un quantificateur doit être instancié pour obtenir des instances utiles pour la preuve. Ces annotations sont utilisées par la majorité des solveurs SMT supportant les quantificateurs et font partie du format SMT-LIB v2. Dans notre cadre d'application, l'utilisateur fournit une axiomatisation en logique du premier ordre de sa théorie, ainsi qu'une démonstration de sa correction, de sa complétude et de sa terminaison, et obtient en retour un solveur correct, complet et qui termine pour sa théorie. Dans cette thèse, nous décrivons comment un solveur SMT peut être étendu à notre cadre nous basant sur l'algorithme DPLL modulo théories, utilisé traditionnellement pour modéliser ls solveurs SMT. Nous prouvons également que notre extension a bien les propriétés attendues. L'effort à fournir pour implémenter cette extension dans un solveur SMT existant ne doit être effectué qu'une fois et le mécanisme peut ensuite être utilisé sur de multiples théories axiomatisées. De plus, nous pensons que, en général, cette implémentation n'est pas plus compliquée que l'ajout d'une unique théorie au solveur. Nous avons fait ce travail pour le solveur SMT Alt-Ergo, nous en présentons certains détails dans la thèse. Pour valider l'utilisabilité de notre cadre d'application, nous avons prouvé la complétude et la terminaison de plusieurs axiomatizations, dont une pour les listes impératives doublement chaînée, une pour les ensembles applicatifs et une pour les vecteurs de Ada. Nous avons ensuite utilisé notre implémentation dans Alt-Ergo pour discuter de l'efficacité de notre système dans différents cas.
9

Chihani, Hichem Zakaria. "Certification de preuves en logiques classique et intuitionniste du premier ordre." Palaiseau, Ecole polytechnique, 2015. http://www.theses.fr/2015EPXX0047.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Milchior, Arthur. "Logique du premier ordre, relations d'entiers et automates dans une base fixe." Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC098.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Ce manuscrit traite de la logique du premier ordre avec la relation d'ordre et les prédicats modulaires, notée FO[<,mod]. La classe des ensembles réguliers, c'est à dire des ensembles FO[<,mod]-définissables, est la classe des ensembles acceptés par un automate en base 1. C'est aussi la plus grande classe C d'ensembles telle que FO[C] ne définisse que des langages réguliers. Il est donc naturel de s'intéresser à cette logique et nous donnons dans ce manuscrit de nouvelles caractérisations des ensembles réguliers. Nous montrons que les ensembles réguliers ont une caractérisation en terme d'ensembles de dimension inférieure et en terme de périodicité. Nous montrons que si un ensemble R est définissable dans l'arithmétique de Presburger, alors il est régulier si et seulement si toutes les fonctions Linaires FO[<,R]-définissable sont réguliers. Cette caractérisation nous sert à montrer que le fragment maximal C de l'arithmétique de Presburger tel que la satisfiabilité de FO[<,C] soit décidable est la classe des ensembles réguliers. Similairement, la satisfiabilité de la logique du premier ordre sur les mots avec la fonction successeur et une fonction unaire f croissante est indécidable dès que n-f(n) est non borné. Si f est non interprété, la logique du premier ordre avec la fonction successeur et f est indécidable sur les entiers. Enfin, on donne un algorithme en temps linéaire prenant en entrée un automate A en base b supérieur à 1 et acceptant si et seulement si A accepte un ensemble régulier. Un deuxième algorithme, en temps quasi-cubique, retourne alors une FO[<,mod]-formule qui définit l'ensemble d'entiers accepté par l'automate
This manuscript deals with first order logic with order relation and modular predicate, denoted by FO[<,mod]. The, class of regular set, that is of of FO[<,mod]-definable sets, is the class of sets accepted by a base 1 automaton. Lt is also the greatest class C of set such that FO[C] only defines regular languages. It is therefore natural to consider this logic, and we give in this manuscript some new characterization of regular sets. We show that the class of regular sets adroits a characterization in terms of set of smaller dimension and in tenn of periodicity. We show that a set, definable in Presburger, is regular if and only if all unary function which are FO[<,R]-definable are regulars. This characterization allows to prove that the maximal fragment C of Presburger arithmetic such that the satisfiability of FO[<,C] is decidable is the class of regular sets. Similarly, the satisfiability of first-order logic over words with the successor function and an unary increasing function f is undecidable as soon as n-f(n) is unbounded. Lf f is uninterpreted, the first-order logic with the successor function and f is undecidable over integers. Finally, a linear time angolithm is given, which takes as input a automaton A in base b greater than 1 and accepts if and only if A accepts a regular set. A second algorithm, in quasi-cubi trame, returns a FO[<,mod]-formula which defines the set of integers accepted by the automaton A
Більше джерел

Книги з теми "Ambisonie de premier ordre":

1

Bouchard, Yves. Calcul en logique du premier ordre. Québec (Québec): Presses de l'Université du Québec, 2015.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Abiteboul, S. Sciences des données: De la logique du premier ordre à la Toile. Paris]: Fayard, 2012.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Fauconpret, Benoît de. Les chevaliers de Saint-Michel, 1665-1790: Le premier ordre de mérite civil. Paris: P. du Puy, 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Église catholique. Archidiocèse de Québec. Administrateur (1855-1867 : Baillargeon). Lettre pastorale de Mgr. l'administrateur du diocèse de Québec, au clergé, pour la promulgation du cérémonial publié par ordre du premier concile provincial. [S.l: s.n., 1986.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Lassaigne, Richard. Logique et fondements de l'informatique: Logique du 1er ordre, calculabilité et lambda-calcul. Paris: Hermès, 1993.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Baldeschi, Giuseppe. Notes explicatives et complémentaires sur la première édition du Cérémonial selon le rit romain, par J. Baldeschi: Faite en Canada par ordre du Premier Concile provincial de Québec. [S.l: s.n, 1987.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Beauregard, Jean Brumauld de. Mémoires de Mgr J. Brumauld de Beauregard, évêque d'Orléans, chanoine du premier ordre au chapitre royal de St-Denis : précédés de sa vie, écrite sur des notes et des documents authentiques. Poitiers, 1842. Ingrandes-sur-Loire: [D. Lambert de La Douasnerie], 2005.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Habrias, Henri. Introduction a la specification. Paris: Masson, 1993.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Jon, Barwise. Hyperproof. Stanford, Calif: CSLI Publications, 1994.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Autonne, Léon César. Sur la Théorie des Équations Différentielles du Premier Ordre et du Premier Degré. Creative Media Partners, LLC, 2018.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Ambisonie de premier ordre":

1

"III.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe, 63–65. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-008.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

"II.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe, 41. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0-006.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

"II.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe, 41. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c006.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

"III.1. Conditions de minimalité du premier ordre." In Optimisation et analyse convexe, 63–65. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0700-0.c008.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

"III Cinétique de transition de phase du premier ordre." In Théorie des formes de croissance, 65–88. EDP Sciences, 2000. http://dx.doi.org/10.1051/978-2-7598-0297-5.c004.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Krikorian, Sandrine. "Iconographie et sources écrites : des matériaux de premier ordre." In Les rois à table, 15–36. Presses universitaires de Provence, 2011. http://dx.doi.org/10.4000/books.pup.13222.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Abiteboul, Serge. "Sciences des données : de la logique du premier ordre à la Toile." In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.529.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Everist, Mark. "L'obligation de jouer le répertoire du premier ordre—Repertory and Management at the Odéon." In Music Drama at the Paris Odéon, 1824–1828, 44–72. University of California Press, 2002. http://dx.doi.org/10.1525/california/9780520234451.003.0003.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Dumont, Jonathan. "La redéfinition du premier ordre au début de la Renaissance : l’exemple du cardinal d’Amboise." In Georges Ier d'Amboise, 81–93. Presses universitaires de Rennes, 2013. http://dx.doi.org/10.4000/books.pur.112836.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Corvol, Pierre. "Présentation de Serge Abiteboul." In Sciences des données : de la logique du premier ordre à la Toile. Collège de France, 2012. http://dx.doi.org/10.4000/books.cdf.528.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

До бібліографії