Résultat(s)
1 - 2
résultats de
2
pour la requête '
Bernardo Marco
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Bernardo Marco
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Bernardo Marco
'
, Temps de recherche: 0,02s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Ital...
par
Bernardo
Marco
,
Cortellessa Vittorio
,
Pierantonio Alfonso
Springer Berlin Heidelberg 2012
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June...
par
Bernardo
Marco
,
de Vink Erik
,
Di Pierro Alessandra
,
Wiklicky Herbert
Springer Berlin Heidelberg 2013
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
computer science
software engineering
compilers and interpreters
computation by abstract devices
computational and systems biology
computational biology/bioinformatics
computer and information systems applications
computer science logic and foundations of programming
formal languages and automata theory
information systems applications (incl. internet)
it operations
logics and meanings of programs
management of computing and information systems
mathematical logic and formal languages
programming languages, compilers, interpreters
software engineering/programming and operating systems
theory of computation
×
Chargement en cours...