| Your search for 34038 returns 4421 document(s) |
| Solving the car-sequencing problem as a non-binary CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 840 |
|
Author: Mihaela Butaru; Zineb Habbas; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Weak Symmetries in problem formulations, (LNCS-Lecture Notes in Computer Science 3709) Hal 858 |
|
Author: Roland Martin; Karsten Weihe; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74 |
|
Author: Luming Lai; Phil Watson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generalizing abadi & lamport's method to solve a problem posed by a. pnueli, (LNCS-Lecture Notes in Computer Science 670) Hal 294-313 |
|
Author: Kai Engelhardt; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming concepts and problem solving: an introduction to computer science using pascal/ Peter Linz |
|
Author: Linz, Peter; | Call Number: 005.133 Lin p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical computer cost accounting/ Kenneth M. Sullivan |
|
Author: sullivan, Kenneth M.; | Call Number: 004 Sul p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer message systems/ Jacques Vallee |
|
Author: Vallee, Jacques; | Call Number: 384 Val c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of theory and problems of essential computer mathematics/by Seymour Lipschutz |
|
Author: Lipschutz, Seymour; | Call Number: 519.4 Lip s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How to write a computer manual: a handbook of software documentation/ Jonathan Price |
|
Author: Price, Jonathan; | Call Number: 808.066 Pri n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result