Your search for 29033 returns 5737 document(s) |
Formal specification and software development/ Dines Bjorner |
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software inspections: how to cut costs, improve quality and shorten time cycles of software projects |
Author: Radice, Ronald A.; | Call Number: 005.642 Rad s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering economics |
Author: Boehm, Barry W.; | Call Number: 004 Boe s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Aplikations software programming with fourth-generation languages/W. Gregory Wajtkowski |
Author: Wojtkouski, W. Gregory; | Call Number: 005.133 Woj a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Readings in artificial intelligence and software engineering |
Call Number: 006.3 Rea | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Prolog for programmer's/ Feliks Kluzniak |
Author: Kluzniak, Feliks; | Call Number: 005.133 Klu p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software eingneering environments |
Call Number: 004.61 Sof | Type: Buku Pusat
|
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
|
A Programmer's introduction to computer systems |
Author: Graham, John; | Call Number: 004 Gra p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to software quality control |
Author: Cho, Chin-Kuei; | Call Number: 005.1 Cho i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|