Your search for 27111 returns 3193 document(s) |
The temporal logic of reactive and concurrent systems specification |
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The craft of software engineering/Allen Macro |
Author: Macro, Allen; | Call Number: 005.1 Mac c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 / organized by Gesellschaft für Mathematik und Datenverarbeitung ; edited by Horst Hünke. |
Call Number: 005.1 Sof | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Developing structured systems/Brian Dickinson |
Author: Dickmson, Brian; | Call Number: 005.113 Dic d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Combinatorial algoriths/Ludel Kucera |
Author: Kucera, Ludek; | Call Number: 005.12 Kuc c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering with ada |
Author: Booch, Grady; | Call Number: 005.133 Boo s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Recursion via pascal/ J.S. Rohl |
Author: Rohl, J.S.; | Call Number: 005.133 Roh r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Strategies for natural language processing/ edited by Wendy G. Lehnert |
Call Number: 005.133 Stra | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to software physics/ Kenneth Kolence |
Author: Kolence, Kenneth; | Call Number: 005.3 Kol i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical theory of computation |
Author: Manna, Zohar; | Call Number: 005.14 Man m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|