Bücher zum Thema „Système de vérification de locuteur“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-15 Bücher für die Forschung zum Thema "Système de vérification de locuteur" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Cormier, Denis. Le système comptable: Étude de cas en vérification. 2. Aufl. Sillery, Qué: Presses de l'Université du Québec, 1992.
Den vollen Inhalt der Quelle findenLe système comptable: Étude de cas en vérification. 3. Aufl. Sainte-Foy, Québec: Presses de l'Université du Québec, 1994.
Den vollen Inhalt der Quelle findenW, Moore James. Le contrôle des armements conventionnels et le désarmement en Europe: Un modèle pour l'appréciation de l'efficacité du système de vérification. Ottawa, Ont: Ministère des affaires extérieures, 1990.
Den vollen Inhalt der Quelle findenInstitut canadien des comptables agréés. La gestion du contrôle de l'informatique. 3. Aufl. Toronto: Institut canadien des comptables agréés, 1998.
Den vollen Inhalt der Quelle findenJozef, Goldblat, Cox, David, 1937 May 4-, Stockholm International Peace Research Institute. und Canadian Institute for International Peace and Security., Hrsg. Nuclear weapon tests: Prohibition or limitation? Oxford: Oxford University Press, 1988.
Den vollen Inhalt der Quelle finden1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A und Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), Hrsg. Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1989.
Den vollen Inhalt der Quelle finden1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division. und NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), Hrsg. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.
Den vollen Inhalt der Quelle findenSoftware engineering concepts. New York: McGraw-Hill, 1985.
Den vollen Inhalt der Quelle findenSynchronous programming of reactive systems. Dordrecht: Kluwer Academic Publishers, 1993.
Den vollen Inhalt der Quelle findenComputer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science). Springer, 1997.
Den vollen Inhalt der Quelle findenGUO, Jing, und Georges GALANES, Hrsg. L'enseignement de l'oral en classe de langue. Editions des archives contemporaines, 2020. http://dx.doi.org/10.17184/eac.9782813003669.
Der volle Inhalt der QuelleWise, John A., V. David Hopkin und Paul Stager. Verification and Validation of Complex Systems: Human Factors Issues. Springer, 2010.
Den vollen Inhalt der Quelle findenWise, John A., und V. David Hopkin. Verification and Validation of Complex Systems: Human Factors Issues (Nato a S I Series Series III, Computer and Systems Sciences). Springer, 1993.
Den vollen Inhalt der Quelle finden(Editor), John A. Wise, V. David Hopkin (Editor) und Paul Stager (Editor), Hrsg. Verification and Validation of Complex Systems: Human Factors Issues (NATO ASI Series / Computer and Systems Sciences). Springer, 1993.
Den vollen Inhalt der Quelle findenHalbwachs, Nicolas. Synchronous Programming of Reactive Systems. Springer London, Limited, 2013.
Den vollen Inhalt der Quelle finden