Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
S
sémantique formelle
Déposer une
ressource
2
résultats :
sémantique formelle
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
sémantique formelle
Affiner ma recherche
OK
1
1
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
page 1
sur 1
résultats
1 à 2
Aspects sémantiques et algorithmiques du vivant
Description
:
La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
Mots clés
:
Modélisation biologie, biologie de systèmes, cycle cellulaire, sémantique formelle, sémantique des modèles, logique temporelle, algorithme évolutionnaire, recherche paramètres, programmation, modèle réaction, SBML, fuscia
Date
:
13-01-2011
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
En savoir plus
Description complète
Aspects sémantiques et algorithmiques du vivant
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Do general purpose languages have a future?
Description
:
As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...
Mots clés
:
fuscia, conférence, recherche, STIC, langage de programmation, langage spécialisé, langage général, bibliothèque logicielle, développement, implémentation, code, legacy code, abstraction, interopérabilité, performance, optimisation, objet, container, sémantique formelle
Date
:
08-07-2003
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
En savoir plus
Description complète
Do general purpose languages have a future?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
Rebondir