| Your search for 38357 returns 6235 document(s) |
| A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445 |
|
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture Notes in Computer Science 3668) Hal 143-158 |
|
Author: Luca Bortolussi; Herbert Wiklicky; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
|
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| It usually works: the temporal logic of stochastic systems, (LNCS-Lecture Notes in Computer Science 939) Hal 155-165 |
|
Author: Adnan Aziz; Vigyan Singhal; Felice Balarin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370 |
|
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The comet programming language and system, (LNCS-Lecture Notes in Computer Science 3709) Hal 881 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4 |
|
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An optimised semantic web query language implementation in prolog, (LNCS-Lecture Notes in Computer Science 3668) Hal 128-142 |
|
Author: Jan Wielemaker; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Task-Parallel programming of reconfigurable systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 172-181 |
|
Author: Markus Weinhardt; Wayne Luk; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result