| Your search for 38481 returns 4434 document(s) |
| On induction vs continuity, (LNCS-Lecture Notes in Computer Science 999) Hal. 167-176 |
|
Author: Dexter Kozen; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The type theory of PL.Cv3, (LNCS-Lecture Notes in Computer Science 999) Hal. 72-93 |
|
Author: Robert J. Constable; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126 |
|
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Differential uniformity for arrays, (LNCS-Lecture Notes in Computer Science 2898), Hal. 115-124 |
|
Author: K.J. Horadam; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Predicting the inversive generator, LNCS-Lecture Notes in Computer Science 2898), hal. 264-275 |
|
Author: Simon R. Blakburn; Domingo Gomez-Peres; Jaime Gutierez and Igor E. F. Shparlinski; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mental poker revisited, LNCS-Lecture Notes in Computer Science 2898), Hal. 370-383 |
|
Author: Adam Barnett and Nigel P. Smart; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent manufacturing: proceeding from the first international conference on expert systems and the leading edge in production planning and control/ edited by Michael D. Oliff |
|
Call Number: 658.5 Int | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Thinking about: Geographic information system planning for managers |
|
Author: Tomlinson, Roger; | Call Number: 910.285 Tom t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ChungKe Wi-Max system RF planning, Hal. 3190-3193 |
|
Author: Yu-Cheng Chang; Ching Chang; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CLUSTER RESOURCE PLANNING SYSTEM UNTUK EFEKTIVITAS RANTAI PASOK |
|
Author: Didit N. Utama; | Call Number: SEM-341 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result