Search Result Save to File Save as CSV
Your search for 38932 returns 2610 document(s)
Some observations on compositional semantics, (LNCS-Lecture Notes in Computer Science 131)Hal. 137-149
Author: Theo M.V. Janssen; Peter van Emde Bosa; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)
Author: Makoto Tatsuta Koji Nakazawa Daisuke Kimura; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Constraint-based inference: a bridge between constraint processing and probability inference, (LNCS-Lecture Notes in Computer Science 3709) Hal 844
Author: Le Chang; Alan K. Mackworth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Free-form deformation axis aligned bounding box, (LNCS-Lecture Notes in Computer Science 5576) Hal 804-813
Author: Sunhwa Jung; Min Hong; Min-Hyung Choi; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Constructing hybrid control systems form robust linear control agents,((LNCS-Lecture Notes in Computer Science 999) Hal. 324-343
Author: Michael Lemmon; Christopher Beitt; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Design interior otomatis menggunakan metode rule-based forward chaining dan constraint satisfaction, Hal. IV.5-IV.10
Author: Gregorius S. Budhi; Adi Santosa; Awan Setiawan; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A linear-logic semantics for constraint handling rules, (LNCS-Lecture Notes in Computer Science 3709) Hal 137-151
Author: Hariolf Betz; Thom Fruhwirth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
GP(Graph): introducing a graph computation domain in constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 211-225
Author: Gregoire Dooms; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next