Your search for 37945 returns 1473 document(s) |
Dirichet's principles, conformal mapping and minimal surfaces |
Author: Courant, R.; | Call Number: 515.9 Cou d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy(extended abstract),Hal 449-458 |
Author: Hans L.Bodlaender; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
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
|
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
|
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4 |
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417 |
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|