Your search for 38804 returns 5368 document(s) |
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229) |
Author: Atsushi Togashi
Yuh Kitano
Satoru Izumi
Kaoru Takahashic
kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The ends of information systems research: a pragmatic framework, page 1-19 |
Author: Panos Constantinides, Mike W. Chiasson, Lucas D. Introna | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Turotial a pragmatic view of distributed processing systems/ Kenneth J. Thurber |
Author: Thurber, Kenneth J.; | Call Number: 004.36 Thu t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theory and design of digital computer systems |
Author: Lewin, Douglas; | Call Number: 621.381 9 Lew t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search and inference in AI planning, (LNCS-Lecture Notes in Computer Science 3709) Hal 1-4 |
Author: Hector Geffner; | 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 3709) Hal 5-8 |
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 13-16 |
Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31 |
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Dynamic ordering for asynchronous backtracking on discsps, (LNCS-Lecture Notes in Computer Science 3709) Hal 32-46 |
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|