| Your search for 23648 returns 1692 document(s) |
| A Dependently Type Multi-stage Calculus (53-72) |
|
Author: Akira Kawata
Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis About Achievement of e-Learning on University Calculus (123-132) |
|
Author: Tzu-chin Chou; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Dynamic Programming Within The Fluent Calculus (378-383) |
|
Author: Axel Grobmann
Steffen Holldebler
Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376) |
|
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| AGi research: developing technology for specifying and generating critical data processing programs(Report II of RUTI Project Period: May 9th to September 9th 2005) |
|
Author: Heru Suhartanto; Belawati Widjaja; L.Y. Stefanus; Siti Aminah; Jimmy; I.S.W.B. Prasetya; Ade Azurat; | Call Number: LAP-RUTI-2005-004 | Type: Hasil Laporan Research
|
|
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
|
| Implementation of the typed call-by-value -calculus using a stack of regions,Hal 188-201 |
|
Author: Mads Tofte; Jean-Pierre Talpin; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126 |
|
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Improving network calculus for performance analysis in network coding, 480-485 |
|
Author: Huanzhong Li, Quanyou Feng, Rongsen Li, Wenhua Dou; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result