| Your search for 23905 returns 372 document(s) |
| Artificial Intelligence; Reasoning about Temporal Relations: The Tractable Subalgebras of Allen's Interval Algebra |
|
Author: A. Krokhin, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Translation with optimization from relational calculus to relational algebra having aggregate functions, page 518 |
|
Author: Ryohei N. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| LAPACK ++: A design overview of object-oriented extentions for high performance linear algebra, Hal. 162-171 |
|
Author: Jack J. Dongarra; Roldan Pozo; David W. Walker; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Handbook of data processing management vol. 3: system life cycle standards-forms method vol. 3/ Peter Zuckerman |
|
Author: Zuckerman, Peter; | Call Number: R. 004.03 | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Encyclopedic dictionary of mathematics Vol. III O-Z/edited by Kiyosi Ito |
|
Call Number: R.510.03 Enc | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen |
|
Call Number: R. 004.02 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result