Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
Judul Seri :
No. Panggil : 670
Ketersediaan : E Book
Judul Seri :
No. Panggil : 515.625
Ketersediaan : E Book

Microflows and Nanoflows : Fundamentals and Simulation

Judul Seri :
No. Panggil : 518
Ketersediaan : E Book
Judul Seri :
No. Panggil : 570
Ketersediaan : E Book
Judul Seri :
No. Panggil : 519.6
Ketersediaan : E Book

Abstraction, Refinement and Proof for Probabilistic Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Pro Apache Log4j

Judul Seri :
No. Panggil : 006.76
Ketersediaan : E Book

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Bioinformatics Technologies

Judul Seri :
No. Panggil : 004
Ketersediaan : E Book
Judul Seri :
No. Panggil : 338.9
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Judul Seri :
No. Panggil : 519
Ketersediaan : E Book

Handbook of Biomedical Image Analysis : Volume 2: Segmentation Models Part B

Judul Seri :
No. Panggil : 616.07
Ketersediaan : E Book

Testing Commercial-off-the-Shelf Components and Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Judul Seri :
No. Panggil : 534
Ketersediaan : E Book
Judul Seri :
No. Panggil : 003.3
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 1521 dari pencarian Anda melalui kata kunci: Subject : "COMPUTER -- INTERNET"
Saat ini anda berada pada halaman 23 dari total 77 halaman
Permintaan membutuhkan 0.00385 detik untuk selesai

Informasi


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