| Your search for 29414 returns 1503 document(s) |
| Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370 |
|
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409 |
|
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
|
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Correctness of programs with functional procedures, (LNCS-Lecture Notes in Computer Science 131)Hal. 94-112 |
|
Author: J.W. de Bakker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Study on the impact factors of insulation material in the long-distance pipeline based on grey relational analysis and itc C# programs, 285-287 |
|
Author: Zhou Yi, Zhao Xiao-gang, Zhao Jian-yu; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Creating High-Value Real-World Impact through Systematic Programs of Research, Page 335-351 |
|
Author: Jay F. Nunamaker, Nathan W. Twyman, Justin Scott Giboney, and Robert O. Briggs | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Michael Allen's guide to e-learning: building interactive, fun and effective learning programs for any company/ Michael W. Allen |
|
Author: Allen Michael W.; | Call Number: 658.3 All m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 100 ready to run programs & subroutines for the IBM PC/Jeff Bretz & John Clark Craig |
|
Author: Bretz, Jeff; | Call Number: 005.3 Bre 1 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SPSSx user code: adding user programs to SPSSx on IBM MVS and CMS systems/ SPSS Inc |
|
Call Number: 005.3 Sps | Edition: Eighth edition | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result