Your search for 38913 returns 3015 document(s) |
A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planar hybrid systems,(LNCS-Lecture Notes in Computer Science 999) Hal. 292-225 |
Author: John Guckenheimer; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|
Applications and algorithms in computer science, modula A |
Author: Gear, Charles William; | Call Number: 004 Gea a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithms: Sequential, Parallel, and Distributed/ Kenneth A. Berman and Jerome L. Paul |
Author: Berman, Kenneth A.; | Call Number: 005.1 Ber a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Comparison and analysis of distributed algorithms for wireless sensor network, Hal. 3206-3209 |
Author: Fnaglu Ning; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|