Your search for 10771 returns 1868 document(s) |
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
|
Cryptography and coding 9th IMA international conference Cirencester, UK December 2003 proceedings/ Kenneth G. Paterson |
Call Number: 005.82 Cry | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ZUM'95: the Z formal specification motion: 9th Int. conf. of z user's limerick, Freland, September 7-9, 1995/Jonathan Bowen |
Author: Bowen, Jonathan P.; | Call Number: 005.133 Bow z | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The 8th Seminar on intelligent technology and its applications Proceedings, Surabaya, May 9th 2007 (SITIA) |
Call Number: SEM-307 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
9th asian technology conference in mathematics 13-17 december 2004 national institute of education,singapure |
Call Number: SEM-351 | Type: Prosiding Seminar
|
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
|