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