Your search for 38317 returns 2614 document(s) |
Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340 |
Author: Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A well-founded semantics with disjunction, LNCS-Lecture Notes in Computer Science 3668) Hal 341-355 |
Author: Joao Alcantara; Carlos Viegas Damasio; Luis Moniz Pereira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370 |
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Practical higher-order pattern unification with on-the-fly raising, (LNCS-Lecture Notes in Computer Science 3668) Hal 371-386 |
Author: Gopalan Nadathur; Natalie Linnell; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409 |
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data mining solutions: methods and tools for solving real-world problems |
Author: Westphal, Christopher; | Call Number: 006.33 Wes d | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Exceptional c++: 47 engineering puzzles programming problems, and solutions/Herb Sutter |
Author: Sutter, Herb; | Call Number: 005.133 Sut e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data mining solutions: methods and tools for solving real-world problems |
Author: Westphal, Christopher; | Call Number: 006.33 Wes d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Outline of fourier analysis: including problems with step-by step solutions/ Hwei P. Hsu |
Author: Hsu, Hwei P.; | Call Number: 515.243 2 Hsu o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
E-Business and IS solutions: an architectural approach to business problems and opportunities/William J. Buffam |
Author: Buffan, William J.; | Call Number: 658.84 Buf e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|