Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 3 of 3 |
Sort by
|
Dissertation
Relating inter-agent and intra-agent specifications : the case of live sequence charts
Loading...
Authors:
Bontemps, Yves
---
Schobbens, Pierre-Yves
---
FUNDP.. Faculté d'informatique
Year: 2005 Publisher: Facultés universitaires Notre-Dame de la Paix. Institut d'informatique,
Year: 2005 Publisher: Facultés universitaires Notre-Dame de la Paix. Institut d'informatique,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Reconnaissance dynamique des formules mathématiques
Loading...
Authors:
Kyenda Sulika, Dieudonné
---
Rémon, Marcel
---
FUNDP.. Faculté d'informatique
Year: 2005 Publisher: Namur: FUNDP,
Year: 2005 Publisher: Namur: FUNDP,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Sémantique et vérification de langages de coordination par les réseaux de Petri
Loading...
Authors:
Mayala Lusilabo Mfumu A'Nsi, Frumence
---
Jacquet, Jean-Marie
---
FUNDP.. Faculté d'informatique
Year: 2005 Publisher: Namur: FUNDP,
Year: 2005 Publisher: Namur: FUNDP,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 3 of 3 |
Sort by
|