Libri sul tema "Système de vérification de locuteur"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-15 libri per l'attività di ricerca sul tema "Système de vérification de locuteur".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.
Cormier, Denis. Le système comptable: Étude de cas en vérification. 2a ed. Sillery, Qué: Presses de l'Université du Québec, 1992.
Cormier, Denis. Le système comptable: Étude de cas en vérification. 3a ed. Sainte-Foy, Québec: Presses de l'Université du Québec, 1994.
W, 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.
Institut canadien des comptables agréés. La gestion du contrôle de l'informatique. 3a ed. Toronto: Institut canadien des comptables agréés, 1998.
Jozef, Goldblat, Cox, David, 1937 May 4-, Stockholm International Peace Research Institute. e Canadian Institute for International Peace and Security., a cura di. Nuclear weapon tests: Prohibition or limitation? Oxford: Oxford University Press, 1988.
1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A e Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), a cura di. Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1989.
1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division. e NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), a cura di. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.
Fairley, R. E. Software engineering concepts. New York: McGraw-Hill, 1985.
Halbwachs, Nicolas. Synchronous programming of reactive systems. Dordrecht: Kluwer Academic Publishers, 1993.
Grumberg, Orna. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science). Springer, 1997.
GUO, Jing, e Georges GALANES, a cura di. L'enseignement de l'oral en classe de langue. Editions des archives contemporaines, 2020. http://dx.doi.org/10.17184/eac.9782813003669.
Wise, John A., V. David Hopkin e Paul Stager. Verification and Validation of Complex Systems: Human Factors Issues. Springer, 2010.
Wise, John A., e 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.
(Editor), John A. Wise, V. David Hopkin (Editor) e Paul Stager (Editor), a cura di. Verification and Validation of Complex Systems: Human Factors Issues (NATO ASI Series / Computer and Systems Sciences). Springer, 1993.
Halbwachs, Nicolas. Synchronous Programming of Reactive Systems. Springer London, Limited, 2013.