Your search for 52181 returns 2119 document(s) |
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154 |
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering |
Author: Ince, David; | Call Number: 005.12 Inc s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering |
Author: Booch, Grady; | Call Number: 005.133 Boo s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Netmouse software |
Call Number: 005.76 Net | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
IEEE Software |
Call Number: [1 (1984): 1-3, 2 (1985): 1-3, 4 (1987): 1-6, 6 (1989): 1,3-6, 8 (1991): 1-8, 9 (1992): 1-6, 10 (1993): 1-3, 11 (1994): 1-2, 14 (1987): 1-6, 15(1988): 1-6, 14 (1997): 1-6, 17 (2000): 1-3] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering with B |
Author: Wordsworth, J.B.; | Call Number: 005.1 Wor s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software portability |
Author: Lecarme, Olivier; | Call Number: 005.1 Lec s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering |
Author: Sommerville, Ian; | Call Number: 005.1 Som s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering |
Author: Ince, David; | Call Number: 005.12 Inc s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|