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
 
                             13 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A comparative study of two formal semantics of the SIGNAL language Yang, Zhibin
2013
7 5 p. 673-693
artikel
2 A comprehensive review of significant researches on content based indexing and retrieval of visual information Priya, R.
2013
7 5 p. 782-799
artikel
3 Algorithms for checking channel passing in web service choreography Yang, Hongli
2013
7 5 p. 710-728
artikel
4 An ACO-RFD hybrid method to solve NP-complete problems Rabanal, Pablo
2013
7 5 p. 729-744
artikel
5 An evaluation framework for software crowdsourcing Wu, Wenjun
2013
7 5 p. 694-709
artikel
6 Dimensionality reduction with adaptive graph Qiao, Lishan
2013
7 5 p. 745-753
artikel
7 Exploring system architectures in AADL via Polychrony and SynDEx Yu, Huafeng
2013
7 5 p. 627-649
artikel
8 Foreword to the special section on synchronous programming Talpin, Jean-Pierre
2013
7 5 p. 595-597
artikel
9 Formal verification of synchronous data-flow program transformations toward certified compilers Ngo, Van Chan
2013
7 5 p. 598-616
artikel
10 Local feature based retrieval approach for iris biometrics Mehrotra, Hunny
2013
7 5 p. 767-781
artikel
11 Multi-threaded code generation from Signal program to OpenMP Hu, Kai
2013
7 5 p. 617-626
artikel
12 Reinforcement learning models for scheduling in wireless networks Yau, Kok-Lim Alvin
2013
7 5 p. 754-766
artikel
13 Scenario-based verification in presence of variability using a synchronous approach Millo, Jean-Vivien
2013
7 5 p. 650-672
artikel
                             13 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland