| Your search for 53432 returns 3414 document(s) |
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented database |
|
Author: Khoshafian, Setrag; | Call Number: 005.1 Kho o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mastering object-orientd design in C++ |
|
Author: Horstmann, Cay S.; | Call Number: 005.133 Hor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical object-oriented design |
|
Author: Priestley, Mark; | Call Number: 005.1 Pri p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented programming in C++ |
|
Author: Lafore, Robert; | Call Number: 005.133 Laf o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pemrograman berorientasi object dengan borland C++ |
|
Author: Pott, Steve; | Call Number: 005.359 Pot p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented software construction |
|
Author: "Meyer, Bertrand"; | Call Number: 005.1 Mey c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to object oriented programming and c++ |
|
Author: Weiner, Richard; | Call Number: 005.133 Wei i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mastering object-orientd design in C++ |
|
Author: Horstmann, Cay S.; | Call Number: 005.133 Hor m | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical object-oriented design |
|
Author: Priestley, Mark; | Call Number: 005.1 Pri p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result