| Your search for 38926 returns 5216 document(s) |
| Structured development for real-time systems: volume 2, essential modeling techniques |
|
Author: Ward, Paul T.; | Call Number: 005.113 War s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time UML: developing efficient of objects for embeded systems/Bruce Powel |
|
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art of real-time programming: for MS-DOS and embedded systems/ Michael D. Mcdonnell |
|
Author: Mcdonnell, Michael D.; | Call Number: 004.33 Mcd a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield |
|
Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Contracting the State Space of Real-time Pre-emptive Systems (53-58) |
|
Author: Abdelkrim Abdelli; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tagging the turtle: local attestation for kiosk computing, (LNCS-Lecture Notes in Computer Science 5576) Hal. 60-69 |
|
Author: Ronald Toegl; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61 |
|
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel local search in comet, (LNCS-Lecture Notes in Computer Science 3709) Hal 430-444 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extending systematic local search for job shop scheduling problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 762-766 |
|
Author: Bistra Dilkina; Lei Duan; William S. Havens; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neighbourhood clause weight redistribution in local search for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 772-776 |
|
Author: Abdelraouf Ishtaiwi; John Thornton; Abdul Sattar; Duc Nghia Pham; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result