Książki na temat „Système de vérification de locuteur”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 15 najlepszych książek naukowych na temat „Système de vérification de locuteur”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Cormier, Denis. Le système comptable: Étude de cas en vérification. Wyd. 2. Sillery, Qué: Presses de l'Université du Québec, 1992.
Znajdź pełny tekst źródłaLe système comptable: Étude de cas en vérification. Wyd. 3. Sainte-Foy, Québec: Presses de l'Université du Québec, 1994.
Znajdź pełny tekst źródłaW, 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.
Znajdź pełny tekst źródłaInstitut canadien des comptables agréés. La gestion du contrôle de l'informatique. Wyd. 3. Toronto: Institut canadien des comptables agréés, 1998.
Znajdź pełny tekst źródłaJozef, Goldblat, Cox, David, 1937 May 4-, Stockholm International Peace Research Institute. i Canadian Institute for International Peace and Security., red. Nuclear weapon tests: Prohibition or limitation? Oxford: Oxford University Press, 1988.
Znajdź pełny tekst źródła1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A i Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), red. Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1989.
Znajdź pełny tekst źródła1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division. i NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), red. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.
Znajdź pełny tekst źródłaSoftware engineering concepts. New York: McGraw-Hill, 1985.
Znajdź pełny tekst źródłaSynchronous programming of reactive systems. Dordrecht: Kluwer Academic Publishers, 1993.
Znajdź pełny tekst źródłaComputer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science). Springer, 1997.
Znajdź pełny tekst źródłaGUO, Jing, i Georges GALANES, red. L'enseignement de l'oral en classe de langue. Editions des archives contemporaines, 2020. http://dx.doi.org/10.17184/eac.9782813003669.
Pełny tekst źródłaWise, John A., V. David Hopkin i Paul Stager. Verification and Validation of Complex Systems: Human Factors Issues. Springer, 2010.
Znajdź pełny tekst źródłaWise, John A., i 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.
Znajdź pełny tekst źródła(Editor), John A. Wise, V. David Hopkin (Editor) i Paul Stager (Editor), red. Verification and Validation of Complex Systems: Human Factors Issues (NATO ASI Series / Computer and Systems Sciences). Springer, 1993.
Znajdź pełny tekst źródłaHalbwachs, Nicolas. Synchronous Programming of Reactive Systems. Springer London, Limited, 2013.
Znajdź pełny tekst źródła