| Your search for 37143 returns 3014 document(s) |
| 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
|
| IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417 |
|
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) (263-272) |
|
Author: Marc Gyssens
Jan Paredaens
Dirk Van Gucht; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107 |
|
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Control synthesis for a class of hybrid systems subject to configuration-based safety constraints, (LNCS-Lecture Notes in Computer Science 1201) Hal 376-390 |
|
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
|
Call Number: SEM-253 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| International cooperative information systems: proceedings of a siminar held in Vienna, Austria, 9-13 July 1979/ Organized by the International development Research Centre with the cooperation of the Int. atomic Energy Agency and the Secretariat for the United Nations conference on Science and Tehcnology for Development/ |
|
Call Number: 025.52 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microprocessor systems design volume 2: microding, array logic, and architectural design |
|
Author: Klingman, Edwin E.; | Call Number: 621.391 6 Kli M | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time cooperative editing on the internet, page 18 |
|
Author: Yun Yang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Role of critiquing in cooperative problem solving, page 123 |
|
Author: Gerhard Fischer | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result