Your search for 28769 returns 5741 document(s) |
The logical basis for computer programming vol. 2: deductive systems |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering economics/ Barry W. Boehm |
Author: Boehm, Barry W.; | Call Number: 004 Boe s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer programming for graphical displays |
Author: Ryan, Daniel L.; | Call Number: 621.399 Rya c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithms: their complexity and efficiency 2nd ed./Lydia Kronsjo |
Author: Kronsjo, Lydia; | Call Number: 511 Kro a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Operating systems |
Author: Madnick, Stuart E.; | Call Number: 005.43 Mad o | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The computational beauty of nature: computer explorations of fractals, chaos, complex systems and application |
Author: Flake, Gary William; | Call Number: 003.3 Fla c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured analysis/ Victor Weinberg |
Author: Weinberg, Victor; | Call Number: 004.61 Wei s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|