Books on the topic 'Système de vérification de locuteur'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 15 books for your research on the topic 'Système de vérification de locuteur.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Cormier, Denis. Le système comptable: Étude de cas en vérification. 2nd ed. Sillery, Qué: Presses de l'Université du Québec, 1992.
Cormier, Denis. Le système comptable: Étude de cas en vérification. 3rd 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. 3rd ed. Toronto: Institut canadien des comptables agréés, 1998.
Jozef, Goldblat, Cox, David, 1937 May 4-, Stockholm International Peace Research Institute., and Canadian Institute for International Peace and Security., eds. Nuclear weapon tests: Prohibition or limitation? Oxford: Oxford University Press, 1988.
1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A, and Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), eds. 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., and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. 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, and Georges GALANES, eds. 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, and Paul Stager. Verification and Validation of Complex Systems: Human Factors Issues. Springer, 2010.
Wise, John A., and 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), and Paul Stager (Editor), eds. 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.