Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Advanced Functional Programming

Uustalu, Tarmo. - Vene, Varmo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11546382

Adapting Proofs-as-Programs

Crossley, John N. - Poernomo, Iman. - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/0-387-28183-5

Abstraction, Refinement and Proof for Probabilistic Systems

McIver, Annabelle. - Morgan, Charles Carroll.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138392

Component Deployment

Dearle, Alan. - Eisenbach, Susan.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11590712

Complexity Theory

Wegener, Ingo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/3-540-27477-4

FM 2005: Formal Methods

Fitzgerald, John. - Hayes, Ian J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b27882

Extreme Programming and Agile Processes in Software Engineering

Baumeister, Hubert. - Holcombe, Mike. - Marchesi, Michele.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137278

Logic Programming with Prolog

Bramer, Max.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/1-84628-212-8

Logic Programming and Nonmonotonic Reasoning

Baral, Chitta. - Greco, Gianluigi. - Leone, Nicola. - Terracina, Giorgio.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11546207

Logic Programming

Gabbrielli, Maurizio. - Gupta, Gopal.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562931
Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 394 dari pencarian Anda melalui kata kunci: subject="IQ"
Permintaan membutuhkan 0.1563 detik untuk selesai
XML ResultJSON Result

Informasi

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