| Your search for 13861 returns 6304 document(s) |
| Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 265-279 |
|
Author: Bernd Brarel; Michael Hanus; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 311-325 |
|
Author: Manh Thang Nguyen; Danny De Schreye; | 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
|
| Shallow morphological analysis in monolingual information retrieval for Dutch, German, and Italian, (LNCS-Lecture Notes in Computer Science 2406), Hal. 262-277 |
|
Author: Christof Monz; Maaten de Rijke; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis of double block lengt hash function, LNCS-Lecture Notes in Computer Science 2898), Hal. 289-305 |
|
Author: Mitauhiro Hattori, Shoichi Hirose, and Susumu Yoshida; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art of computer systems performance analysis: techniques for experimental design, measurement, simulation and modelling/Raj Jain |
|
Author: Jain, Raj; | Call Number: 004.24 Jai a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer aided analysis and design (CAA/CAD) of integrated circuits, processes and devices: a self instructional approach/ Andreas Fortino |
|
Author: Fortino, Andreas; | Call Number: 621.395 For f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Recursive Subdivision of Polygonal Complexes and its Applications in Computer-Aided, page 595-620 |
|
Author: A. H. Nasri | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Estimation of nonlinear errors-in variables models for computer vision applications, page 1537 |
|
Author: B.C. Matel | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer games' influence on scientific and information visualization, page 154 |
|
Author: Theresa-Marie R. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result