Search Result
Save to File
Your search for
16184
returns
3661
document(s)
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
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
Formal Languages and Complexity Theory: On the Generating Sequences of Regular Languages on k Symbols
Author: M. -P. Beal, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Languages and Complexity Theory: The Expressibility of Languages and Relations by Word Equations
Author: J. Karhumaki, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Teknologi untuk pengembangan formal komputerisasi pemrosesan data ujian (Proposal HIBAH BERSAING)
Author: Ade Azurat | Call Number: PRO-HIBAH BERSAING-2005-001 | Type: Proposal Research (Khusus Dose
Find Similar
|
Add To Favorites
|
Detail in New Window
Fist results on formal comparison of several stochastic optimization algorithms, Hal. 259-269
Author: James C. Spall; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Modelling and formal analysis of an aircraft landing gear system, Hal. 239-246
Author: Simin Nadjm-Tehrani; Jan-Erik Stromberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal approach to cost analysis with bergstra-klop's process algebra, 140-143
Author: Hiroki KIYOTO, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
web-based collaborative model for preparin formal software specification
Author: mohamed A.sultan1), zarina shukur1); | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
15
16
17
18
19
20
21
22
23
24
Next