Artykuły w czasopismach na temat „Vérification de modèles bornés”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 16 najlepszych artykułów w czasopismach naukowych na temat „Vérification de modèles bornés”.
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 artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Kamsu-Foquem, Bernard, Vincent Chapurlat i François Prunet. "Vérification de modèles de processus d'entreprise : une approche formelle". Journal Européen des Systèmes Automatisés 39, nr 9-10 (30.12.2005): 1051–78. http://dx.doi.org/10.3166/jesa.39.1051-1078.
Pełny tekst źródłaTorres, Lucile, i Claudia Frydman. "Vérification et validation de modèles CommonKADS par réseaux de Petri". Revue d'intelligence artificielle 15, nr 2 (15.06.2001): 247–76. http://dx.doi.org/10.3166/ria.15.247-276.
Pełny tekst źródłaGillet, Roland. "Efficience informationnelle du marché boursier: vérification empirique et implications théoriques". Recherches économiques de Louvain 57, nr 3 (1991): 297–308. http://dx.doi.org/10.1017/s0770451800031778.
Pełny tekst źródłaGauthier, Yvon. "Vérité et vérification en logique mathématique et dans les théories physiques". Articles 9, nr 1 (9.01.2007): 135–45. http://dx.doi.org/10.7202/203186ar.
Pełny tekst źródłaRougier, Éric. "Croissance démographique, capital humain et technologie : un modèle de croissance endogène «simonien» appliqué aux pays en développement". Économie appliquée 53, nr 4 (2000): 31–59. http://dx.doi.org/10.3406/ecoap.2000.1741.
Pełny tekst źródłaJellad, Asma. "Identification des propriétés élastoplastiques des films minces de CrN en utilisant la technique de nanoindentation et la modélisation par éléments finis (FEM)". Matériaux & Techniques 111, nr 4 (2023): 403. http://dx.doi.org/10.1051/mattech/2023029.
Pełny tekst źródłaCafiau, Sybille, Patrick Girard, Laurent Guittet i Xavier Blanc. "Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur". Ingénierie des systèmes d'information 16, nr 5 (30.10.2011): 9–41. http://dx.doi.org/10.3166/isi.16.5.9-41.
Pełny tekst źródłaHarnois, Claudie, Karine Picard, Sébastien Rivard, Jean-François Tremblay i Éric Gosselin. "La dynamique du stress au travail est-elle transactionnelle?" Ad machina, nr 4 (26.02.2021): 75–90. http://dx.doi.org/10.1522/radm.no4.1245.
Pełny tekst źródłaTidjani, A. E. B., D. Yebdri, J. C. Roth i Z. Derriche. "Exploration des séries chronologiques d’analyse de la qualité des eaux de surface dans le bassin de la Tafna (Algérie)". Revue des sciences de l'eau 19, nr 4 (17.01.2007): 315–24. http://dx.doi.org/10.7202/014418ar.
Pełny tekst źródłaRaffestin, Claude. "Espace, temps, frontière". Cahiers de géographie du Québec 18, nr 43 (12.04.2005): 23–34. http://dx.doi.org/10.7202/021174ar.
Pełny tekst źródłaOhmaid, Hicham, S. Eddarouich, A. Bourouhou i M. Timouya. "Comparison between SVM and KNN classifiers for iris recognition using a new unsupervised neural approach in segmentation". IAES International Journal of Artificial Intelligence (IJ-AI) 9, nr 3 (1.09.2020): 429. http://dx.doi.org/10.11591/ijai.v9.i3.pp429-438.
Pełny tekst źródłaHEITZ, Thomas. "Vérification et validation de modèles non linéaires en génie civil". Les superstructures du bâtiment, listopad 2022. http://dx.doi.org/10.51257/a-v1-c6006.
Pełny tekst źródłaLachaume, Thomas, Laurent Guittet, Patrick Girard i Allan Fousse. "Task model simulators: a review". Journal d'Interaction Personne-Système Volume 3, Issue 3, Special..., Special issue on Task Models (22.07.2015). http://dx.doi.org/10.46298/jips.1240.
Pełny tekst źródłaAraba, Mabrouk, i Said Mazouz. "Apports de la syntaxe spatiale à la vérification de l’intégration d’un quartier d’habitat spontané dans le système urbain". Bulletin de la Société Royale des Sciences de Liège, 2018, 121–35. http://dx.doi.org/10.25518/0037-9565.8234.
Pełny tekst źródłaCuadrado, Jérôme, i Grégory Michel. "Dysmorphie musculaire et pratiques problématiques de l’activité physique dans une population d’étudiants sportifs. Le rôle de l’alexithymie, du sentiment d’auto-efficacité dans la régulation de l’alimentation et l’acceptation de son image corporelle". Movement & Sport Sciences - Science & Motricité, 2023. http://dx.doi.org/10.1051/sm/2023020.
Pełny tekst źródłaNewman, Paula, Sammu Dhaliwall, Olena Polyakova i Kevin McDonald. "Pharmacy Distribution, Clinical, and Management Services: A Survey of Small Hospitals in Canada Supported by Telepharmacy Services". Canadian Journal of Hospital Pharmacy 74, nr 3 (5.07.2021). http://dx.doi.org/10.4212/cjhp.v74i3.3153.
Pełny tekst źródła