| Your search for 39780 returns 3369 document(s) |
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: hybrid systems II |
|
Author: Antsaklis, Panos; | Call Number: 005.369 Ant h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of constraint programming / Krzysztof R. Apt |
|
Author: Apt, Krzysztof R.; | Call Number: 005.11 Apt p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages/Terrence W. Pratt |
|
Author: Pratt^Terrence W.; | Call Number: 005.13 Pra p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concepts of programming languages |
|
Author: Sebesta, Robert W.; | Call Number: 005.13 Seb c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ACM Trans. on Programming Languages |
|
Call Number: [13 (1991): 1-4, 12 (1990): 4, 13 (1991): 1-4, 10 (1988): 1-4, 12(1990) : 4, 14 (1992): 1-4, 15 (1993): 1-2, 15 (1994): 3-5, 18 (1996): 1-4, 20 (1998): 3-6] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages structures and models |
|
Author: Dershem, Herbert L.; | Call Number: 005.13 Der p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages/Allen B. Tucker |
|
Author: Tucker, Allen B; | Call Number: 005.13 Tuc p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages/ Allen B. Tucker |
|
Author: Tucker, Allen B; | Call Number: 005.13 Tuc p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231 |
|
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result