Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An institution theory of formal meta-modelling in graphically extended BNF Zhu, Hong
2012
6 1 p. 40-56
artikel
2 Enriching short text representation in microblog for clustering Tang, Jiliang
2012
6 1 p. 88-101
artikel
3 Forecasting complex group behavior via multiple plan recognition Li, Xiaochen
2012
6 1 p. 102-110
artikel
4 Formal engineering methods for software quality assurance Liu, Shaoying
2012
6 1 p. 1-2
artikel
5 Mining the interests of Chinese microbloggers via keyword extraction Liu, Zhiyuan
2011
6 1 p. 76-87
artikel
6 On social computing research collaboration patterns: a social network perspective Wang, Tao
2011
6 1 p. 122-130
artikel
7 Prediction of urban human mobility using large-scale taxi traces and its applications Li, Xiaolong
2011
6 1 p. 111-121
artikel
8 rCOS: a formal model-driven engineering method for component-based software Ke, Wei
2012
6 1 p. 17-39
artikel
9 SeVe: automatic tool for verification of security protocols Luu, Anh Tuan
2012
6 1 p. 57-75
artikel
10 The use of mathematics in software quality assurance Parnas, David Lorge
2012
6 1 p. 3-16
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland