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
 
                             16 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans Przymus, Piotr
2014
135 4 p. 483-501
artikel
2 About New Version of RSDS System Suraj, Zbigniew
2014
135 4 p. 503-519
artikel
3 An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ Nguyen, Linh Anh
2014
135 4 p. 433-449
artikel
4 A Specification Format for Rooted Branching Bisimulation Castiglioni, Valentina
2014
135 4 p. 355-369
artikel
5 AUTHOR INDEX VOLUME 135 2014
135 4 p. 569-570
artikel
6 Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking Woźna-Szcześniak, Bożena
2014
135 4 p. 553-568
artikel
7 Efficient Rough Set Theory Merging Grabowski, Adam
2014
135 4 p. 371-385
artikel
8 Engineering MAS – A Device Integration Framework for Smart Home Environments Betts, Jack
2014
135 4 p. 341-353
artikel
9 Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows Karbowska-Chilinska, Joanna
2014
135 4 p. 419-431
artikel
10 Identification of Formal Fallacies in a Natural Dialogue Kacprzak, Magdalena
2014
135 4 p. 403-417
artikel
11 Preface Penczek, Wojciech
2014
135 4 p. i
artikel
12 Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility Wagler, Annegret K.
2014
135 4 p. 521-535
artikel
13 Query Rewriting Based on Meta-Granular Aggregation Wiśniewski, Piotr
2014
135 4 p. 537-551
artikel
14 SMT-Based Reachability Checking for Bounded Time Petri Nets Półrola, Agata
2014
135 4 p. 467-482
artikel
15 SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework Niewiadomski, Artur
2014
135 4 p. 451-466
artikel
16 Structural and Dynamic Restrictions of Elementary Object Systems Heitmann, Frank
2014
135 4 p. 387-401
artikel
                             16 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland