| Your search for 23906 returns 384 document(s) |
| Modelling a time-dependent protocol using the circal process algebra, (LNCS-Lecture Notes in Computer Science 1201) Hal 124-138 |
|
Author: Antonio Cerone; Alex J. Cowie; George J. Milne; Philip A. Moseley; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Similarity relational cakculus and its reduction to a similarity algebra, LNCS-Lecture Notes in Computer Science 2942), Hal. 252-272 |
|
Author: Ingo Schmitt and Nadine Schulz; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Plan databases: model and algebra, (LNCS-Lecture Notes in Computer Science 2942), Hal. 302-319 |
|
Author: Fusun Yaman; Sibel adali; Dana Nau; Mria L. Supino and V.S. Subrahmanian; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| using computer algebra systems in secondary school mathematics: issues of curriculum, assessment and teaching ( hal 40-74 ) |
|
Author: Kaye stacey; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Graph Algorithms: Edge-Disjoint Routing in Plane Switch Graphs in Linear Time |
|
Author: J. M. Hochstein, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages: From Algol to Polymorphic Linear Lambda-Calculus |
|
Author: P. W. O'Hearn, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842 |
|
Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beware of linear congruential generators with multipliers of the form a = +2q+2r |
|
Author: Pierre L'Ecuyer | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Binary linear programming formulations of the graph edit distance, page 1200 |
|
Author: D. Justice | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonparametric supervised learning by linear interpolation with maximum entropy, page 766 |
|
Author: M.R. Gupta | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result