| Your search for 37336 returns 197 document(s) |
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles and practice of constraint programming-CP 2005: 11th international conference, CP 2005, sitges, spain, October 2005 proceeding/ Peter Van Beek |
|
Author: Beek, Peter Van; | Call Number: 005.133 Bee P | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan penganalisis struktural kalimat bahasa Indonesia, khususnya frasa nominal, dengan menggunakan constraint-based formalism, dan penerapannya pada media Massa elektronika/ I Made Dwijendra Sulastra |
|
Author: I Made Dwijendra Sulastra; | Call Number: SK-0501(Softkopi SK-11) | Edition: Bobby Nazief | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan pengalisis struktur kalimat bahasa Indonesia dengan menggunakan constraint-based formalism berdasarkan features structures dan unification dan penerapannya pada makalah ilmiah/ A. Jibra Shidqie |
|
Author: A. Jibran Shidqie; | Call Number: SK-0458 | Edition: Bobby Nazief | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan penalisis struktur kalimat bahasa Indonesia, khususnya frasa verbal, dengan menggunakan constraint-based formalism berbasis feature structures dan unification, dan penerapannya pada dokumen resmi/ Selly Meliana |
|
Author: Selly Meliana; | Call Number: SK-0457 | Edition: Bobby Nazief | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result