Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A family of computer systems for delivering individualized advice Chik-Parnas, Lillian
 2010
 23 7 p. 645-666
22 p.
 artikel
2 Aiming strategy error analysis and verification of a billiard training system Shih, Chihhsiong
 2010
 23 7 p. 732-742
11 p.
 artikel
3 AspectC++: An integrated approach for static and dynamic adaptation of system software Tartler, Reinhard
 2010
 23 7 p. 704-720
17 p.
 artikel
4 Developer-friendly verification of process-based systems Pulvermueller, Elke
 2010
 23 7 p. 667-676
10 p.
 artikel
5 Editors, Aims & Scope 2010
 23 7 p. IFC-
1 p.
 artikel
6 Model correspondence as a basis for schema domination Davies, Guy
 2010
 23 7 p. 693-703
11 p.
 artikel
7 Special issue on “Intelligent Formal Techniques for Software Design: IFTSD” Fujita, Hamido
 2010
 23 7 p. 643-644
2 p.
 artikel
8 Towards a framework for estimating system NFRs on behavioral models Mizouni, Rabeb
 2010
 23 7 p. 721-731
11 p.
 artikel
9 Using argumentation to model and deploy agent-based B 2 B applications Bentahar, Jamal
 2010
 23 7 p. 677-692
16 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland