Indeks Artikel LNCS |
| All | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
Indeks Artikel LNCS contains 45 collection(s) |
Database repair by signed fomulae, LNCS-Lecture Notes in Computer Science 2942), Hal. 14-30 |
Author: Ofer Arieli; Marc Denecker; Berz Van Nuffelen and Maurice Bruynooghe; | Publisher: Springer, 2003 | Call Number: 006.33 Sei f | Edition: |
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; | Publisher: Springer, 2003 | Call Number: 005.82 Cry | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Degree optimized resilleint boolean functions from maiorna-McFarland Class, (LNCS-Lecture Notes in Computer Science 2898), Hal. 93-114 |
Author: Enes Pasalic; | Publisher: Springer, 2003 | Call Number: 005.82 Cry | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Dictionary-based Thai CLIR: an experimental survey of Thai CLIR, (LNCS-Lecture Notes in Computer Science, 2406), Hal. 209-218 |
Author: Jaruskulchai Chullerat; | Publisher: Springer, 2001 | Call Number: 025.04 Eva | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Database repair by signed formulae, Hal. 14-30 |
Author: Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynoohg; | Publisher: Springer, 2004 | Call Number: 006.33 Sei f | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Desing and implementation of an active object-oriented database supporting construction of database tools(LNCS-Lecture Notes in Computer Science 985) |
Author: Ian S. Thomas, Andrew C. Jones; | Publisher: | Call Number: 004 Rul | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Design and implementation of an active object-oriented database supporting construction of database tools (LNCS-Lecture Notes in Computer Science 985) |
Author: Ian S. Thomas, Andrew C. Jones; | Publisher: | Call Number: 004 Rul | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Denotational semantics for an active rule execution model |
Author: Thierry Coupaye, Christine Collet; | Publisher: | Call Number: 004 Rul | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71 |
Author: Edmund M. Clarke; | Publisher: Springer, 1981 | Call Number: 004 Lec | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal. 352-363 |
Author: Stephan Melzer and Stefan Romer; | Publisher: Springer, 1997 | Call Number: 004 Int c | Edition: |
Find Similar | Add To Favorites | Detail in New Window |
Prev 1 2 3 4 5 Next |