| Your search for 51892 returns 95 document(s) |
| A Sufficient Condition for strong equivalence under the well-founded semantics, ((LNCS-Lecture Notes in Computer Science 3668) Hal 414-415 |
|
Author: Christos Nomikos; Panos Rondogiannis; William W. Wadge; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432 |
|
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A well-founded semantics with disjunction, LNCS-Lecture Notes in Computer Science 3668) Hal 341-355 |
|
Author: Joao Alcantara; Carlos Viegas Damasio; Luis Moniz Pereira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370 |
|
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some observations on compositional semantics, (LNCS-Lecture Notes in Computer Science 131)Hal. 137-149 |
|
Author: Theo M.V. Janssen; Peter van Emde Bosa; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Order-theoretic and categorical approaches to programming language semantics/Petrus Marinus Waltherus Knijnerberg |
|
Author: Knijnemburg, Petrus Marinus Wa.; | Call Number: 005.13 Kni o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal syntax and semantics of programming languages: a laboratory based approach/Kenneth Slonneger, Barry L. Kurtz |
|
Author: Slonneger, Kenneth; | Call Number: 005.131 Slo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting Inheritance and Structure Semantics for Effective Clustering and Buffering in an Object-Oriented BDMS (348-357) |
|
Author: Ellis E. Chang
Randy H. Katz; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TRENDS IN … A CRITICAL REVIEW growth of theories on information seeking: an analysis of growth of a theoretical research program on the relation between task complexity and information seeking, page 361 |
|
Author: Pertti V. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimasi penjadwalan sidang tugas akhir dengan metode fuzzy relation dan genetic algorithms studi kasus: Teknik informatika , Universitas Kristen Petra, Hal. 465-468 |
|
Author: Silvia Rostianingsih; Rolly Intan; Teddy Chandra Tallwang; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result