Your search for 6257 returns 1590 document(s) |
Connection-based proof search in propositional BI logic, Hal. 111-128 |
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Colored line tracking mobile robot using fuzzy logic control, Hal. 28-38 |
Author: Thiang, Felix Pasila, Agus Widian; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards a probabilistic model logic for semantic-based information retrieval, Hal. 140-151 |
Author: Jian-Yun Nie; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Dolores: a sysem for logic-based retrieval of multimedia objects, Hal. 257-266 |
Author: Norbert Fuhr, Norbert , Thomas Rolleke; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Complexity of noncrecursive logic programs with complex values, Hal. 244- 253 |
Author: Sergei Vorobyov; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Performance evalution of ansychronous logic pipelines with data dependen processing delays, Hal. 4-13 |
Author: David Kearney; Neil W. Bergmann; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Distributed load balancing scheme for parallel logic programming, Hal. II.66-II.73 |
Author: Zheng Lin; Jack Minker; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
High performance parallel logic simulation on a network of workstations, Hal. 76-92 |
Author: Naraig Manjikian and Wayne M. Loucks; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Corrola partitioning for distributed logic simulation of VLSI-circuits, Hal. 85-92 |
Author: Christian sporrer and Herbert Bauer; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multisim=schematic capture, simulation & programmable logic: educator version 6.20 |
Call Number: 621.392 Mul | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|