Search Result
Save to File
Your search for
12462
returns
3940
document(s)
Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
A format-independent architecture for run-time integrity checking of executable code, (LNCS-Lecture Notes in Computer Science 2576) Hal 219-233
Author: Luigi Catuogno; Ivan Visconti; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Deadlock checking using net unfoldings, (LNCS-Lecture Notes in Computer Science 1254) Hal 352-363
Author: Stephan Melzer; Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal. 352-363
Author: Stephan Melzer and Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic as grammar: an approach to meaning in natural language/ Norbert Hornstein
Author: Hornstein, Norbert; | Call Number: 415 Hor l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic in computer science: modelling and reasoning about systems
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic and computer design fundamentals 3rd ed.
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical logic for computer science 3rd ed.
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical logic for computer science second edition
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next