Search Result Save to File Save as CSV
Your search for 13464 returns 3782 document(s)
Visual motion of curves and surfaces/Roberts Cipolla
Author: Cipolla, Roberts; | Call Number: 516.15 Cip v | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Human Gait Recognition Using Bezeir Curves (665-672)
Author: Pratibha Mishra Shweta Ezra; | Call Number: SEM-323 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Model for Compound Type Changes Encountered in Schema Evolution
Author: B. Staudt Lerner | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A type system for prototyping languages,Hlm 138-150
Author: Dinesh Katiyar; David Luckham; John Mitchell; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
A Type-Based HFL Model Checking Algorithm (136-155)
Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Contract Type Sequencing for Reallocative Negotiation (154-160)
Author: M. Andersson T. Sandholm; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Local liveness for compositional modeling of fair reactive systems, (LNCS-Lecture Notes in Computer Science 939) Hal 166-179
Author: Rajeev Alur; Thomas A. Henzinger; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278
Author: Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   10 11 12 13 14 15 16 17 18 19  Next