Search Result
Save to File
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