Search Result Save to File Save as CSV
Your search for 12468 returns 959 document(s)
Programming Languages: Behavioral Equivalence in the Polymorphic Pi-Calculas
Author: B. C. Pierce, [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 
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference (46-57)
Author: Atsushi Ohori Peter Buneman Val Breazu-Tannen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Equivalence of OLAP dimension scheme
Author: Carlos A. Hurtado and Claudio Gutierez; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The typed polymorphic label-selective -Calculus,Hal 35-46
Author: Jacques Garrigue; Hassan A'it-Kaci; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Equivalence and Mapping of Databsse Schemes (187-195)
Author: A. D'Atri D. Sacca; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On the Equivalence of Databases Restructurings Involving Object Identifiers (328-340)
Author: Richard Hull Masatoshi Yoshikawa; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
About the Undecidability of Program Equivalence in Finitary Languages With State, page 701-726
Author: A. S. Murawski, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Equivalence of different methods for slant and skew corrections in word recognition applications, page 323
Author: P. Slavik | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next