| Your search for 16150 returns 2313 document(s) |
| Task assignment optimization for the batch casualty surgeries in emergencies based on extended genetic algorithm |
|
Author: Wen-Xue Zhang, Hai-Hong Zhang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multiple stereo matching using an extended architecture, (LNCS-Lecture Notes in Computer Science 2147) Hal 203-212 |
|
Author: Miguel Arias-Estrada; Juan M. Xicotencatl; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8 |
|
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Test instance generation for max 2sat (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 787-791 |
|
Author: Mistuo Motoki; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How to share a divisible load in a hypercube (extended abstract), (LNCS-Lecture Notes in Computer Science 1557) Hal 588-589 |
|
Author: Wlodzimierz Glazek; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315 |
|
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programs with quasi-stable channels are effectively recognizable (extended abstract), (LNCS-Lecture Notes in Computer Science 1254) Hal 304-315 |
|
Author: Gerard CECE; Alain FINKEL; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multipliers and deviders: insights on arithmetic circuit verification (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 1-3 |
|
Author: Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210 |
|
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
|
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result