| Your search for 52196 returns 125 document(s) |
| Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm (618-627) |
|
Author: Jerzy Brzezinski
Dariusz Wawrzyniak; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal specicifation and Z /Ben Potter |
|
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Elementary computability formal languages and automata |
|
Author: McNaughton, Robert; | Call Number: 511 Mcn e | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A formal view integration method (398-407) |
|
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A formal view integration method (398-407) |
|
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to formal language/ Gyorgy E. Revesz |
|
Author: Revesz, Gyorgy E.; | Call Number: 005.131 Rev i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Elementary computability formal languages and automata |
|
Author: McNaughton, Robert; | Call Number: 511 Mcn e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result