| Your search for 39708 returns 2754 document(s) |
| Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481 |
|
Author: Andrew Martin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Asynchronous parallel construction of recursive tree hierarchies, (LNCS-Lecture Notes in Computer Science 1557) Hal 427-436 |
|
Author: Dirk Bartz; Wolfgang Straber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Strategies for parallel linear recursive query processing (LNCS-Lecture Notes in Computer Science 985) |
|
Author: Thomas Zurek, Peter Thanisch; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Instructor's manual to accompany: structure and interpretation of computer programs |
|
Author: Sussman, Julie; | Call Number: 005.133 Sus s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flow analysis of computer programs/ Matthew S. Hecht |
|
Author: Hecht, Matthew S.; | Call Number: 005.1 Hec f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs/ Harold Abelson |
|
Author: Abelson, Harold; | Call Number: 005.133 Abe s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer programs for building cost appraisal/Peter S. Brandon |
|
Author: Brandon, Peter S.; | Call Number: 005.36 Bra c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interactive computer programs for education/ Jurg Nievergelt |
|
Author: Nievergelt, Jurg; | Call Number: 371.3 Nie i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer programs for machine design/ Robert J. Wenzel |
|
Author: Wenzel, Robert J.; | Call Number: 621.815 Wen c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result