FM 2005: Formal Methods

Fitzgerald, John. - Hayes, Ian J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Extreme Programming and Agile Processes in Software Engineering

Baumeister, Hubert. - Holcombe, Mike. - Marchesi, Michele.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic Programming with Prolog

Bramer, Max.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic Programming and Nonmonotonic Reasoning

Baral, Chitta. - Greco, Gianluigi. - Leone, Nicola. - Terracina, Giorgio.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic Programming

Gabbrielli, Maurizio. - Gupta, Gopal.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic for Programming, Artificial Intelligence, and Reasoning

Sutcliffe, Geoff. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic for Programming, Artificial Intelligence, and Reasoning

Baader, Franz. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic Based Program Synthesis and Transformation

Etalle, Sandro.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Legal Programming

Bain, Malcolm. - Subirana, Brian.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Languages and Compilers for Parallel Computing

Pugh, Bill. - Tseng, Chau-Wen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 320 dari pencarian Anda melalui kata kunci: subject="PROGRAMMING"
Permintaan membutuhkan 0.16207 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog