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