| Your search for 39780 returns 3369 document(s) |
| Controllers as fixed points of se-valued operators, ((LNCS-Lecture Notes in Computer Science 999) Hal. 344-358 |
|
Author: Anil Nerode; Jeffrey B. Remmed; Alexander Yakhnis; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20 |
|
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299 |
|
Author: Albert R. Meyer; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Languages |
|
Call Number: [1 (1975): 1-4, 2 (1976): 1-4, 2 (1976): 1-4, 4 (1979): 1-4, 4 (1982): 1-4, 11 (1986): 1-4, 14 (1989): 1, 12 (1987): 1-4, 13 (1988): 1-4, 14 (1989): 1, 22 (1996): 1-4, 20 (1985): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages: A Needed Narrowing Strategy |
|
Author: S. Antoy, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| System simuation programming styles and languages |
|
Author: Kreutzer, Wolfgang; | Call Number: 003 Kre s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Syntax of programming languages theory and practice |
|
Author: Backhause, Roland C.; | Call Number: 005.13 Bac s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of programming languages/Ellis Horowitz |
|
Author: Horowitz, Ellis; | Call Number: 005.13 Hor f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time Systems and their programming languages |
|
Author: Burns,Alan; | Call Number: 004.33 Bur r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result