Your search for 38072 returns 445 document(s) |
A type-theoretic approach to higher-order modules with sharing,Hal 123-137 |
Author: Robert Harper; Mark Lillibridge; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimization of the GPS receiver using higher order loops for high dynamics, 553-557 |
Author: Sidhant Kumar Tiwari, Swaena Ravindra Babu, R Kumar; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
Author: Michael Kifer
Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Higher order spectrum analysis and neural networks classifier for speaker identification in noisy environment, Hal. 45-50 |
Author: Agus Buono, Benyamin Kusumoputro; Ivan Fanany; | Call Number: SEM-303 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Higher order spectrum analysis and neural networks classifier for speaker identificatin in noisy environemnt, Hal. 48-50 |
Author: Agus Buono; Benyamin Kusumoputro; Ivan Fanany; | Call Number: Sem-303 | Type: Indeks Artikel prosiding/Sem
|
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
|
Weak finctional dependencies in higher-order datamodels the case of the union constructor, LNCS-Lecture Notes in Computer Science 2942), hal. 116-133 |
Author: Sven Hartmann; Sebastian Link; Kaluse Dieter Schewe; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementasi metode higher order mutation dan analisis efek pemilihan mutation operator pada mutation testing untuk bahasa C |
Author: Rizki Amelia; | Call Number: SK-1109 (Softcopy SK-590) Source Code SK-432 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Transactions in Relational Databases (Preliminary Report) (46-56) |
Author: S. Abiteboul
V. Vianu; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Side-channel leakage in masked circuits caoused by higher-order circuit effects, (LNCS-Lecture Notes in Computer Science 5576) Hal. 325-336 |
Author: Zhimin Chen; Syed Haider; Patrick Schaumont; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|