Your search for 38398 returns 2629 document(s) |
Periodic-parabolic boundary value problems and positivity/Peter Hess |
Author: Hess, Peter; | Call Number: 515.353 Hes p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Numerical methods for two-point boundary-value problems/ Herbert B. Keller |
Author: Keller, Herbert B.; | Call Number: 519.4 Kel m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Global solution branches of two point boundary value problems/Renate Schaaf |
Author: Schaaf, Renate; | Call Number: 510 Sch g | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414 |
Author: Chu Min Li; Felip Manya; Jordi Planes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Maintaining arc consistency algorithms during the search without additional space cost, (LNCS-Lecture Notes in Computer Science 3709) Hal 520-533 |
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Science Technology Human Value |
Call Number: [8 (1983): 1-4, 9 (19830: 1-4, 10 (1985): 1-4, 11 (1986): 1-3, 13 (1988): 3-4 (1989): 1-3, 10 (1994): 5-6] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10 |
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Adaptive iris segmentation, (LNCS-Lecture Notes in Computer Science 5576) Hal. 90-99 |
Author: Rahib Abiyev; Kemal Kilic; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
How to repair ESIGN,(LNCS-Lecture Notes in Computer Science 2576) Hal 234-240 |
Author: Louis Granboulan; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|