Search Result Save to File Save as CSV
Your search for 311 returns 611 document(s)
Analisa pengembangan formalisasi sistem pengendali lalu lintas kereta api
Author: Irene Ully Havsa; | Call Number: SK-0874 (Softcopy SK-356) Source code SK-312 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Toward agile methods: the requirements engineering methods to support extreme programming
Author: Widodo; | Call Number: T-0436 (Softcopy Scan T-0045) | Edition: 2004 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Iterative methods for sparsce linear systems/Yoursef Saad
Author: Saad, Y; | Call Number: 512.943 4 Saa i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen
Call Number: 620.004 2 App | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Abstract machines and grammars/ Water J. Savitch
Author: Savitch, Walter J.; | Call Number: 005.133 Sav a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
ZUM'97 the z formal specification nation: 10th Int. conference of z users reading, UK, April 3-4, 1997 proceedings/Jonathan P. Bowen
Author: Bowen, Jonathan P.; | Call Number: 005.131 Bow z | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Discrete-event system simulation 4th ed./ editeb by Jerry Banks
Call Number: 658.403 Dis | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Statistical method for quality improvement/Hithosi Kume
Author: Kume, Hitoshi; | Call Number: 001.422 Kum s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Discrete-event system simulation/edited Jerry Banks
Call Number: 658.403 Dis | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next