| Your search for 36732 returns 301 document(s) |
| Chocolate: Calculi of higher order communication and lambda terms (preliminary report),Hal 339-347 |
|
Author: Bard Bloom; | 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
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
|
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result