Integrated Formal Methods

Romijn, Judi M.T. - Smith, Graeme P. - SpringerLink (Online service) - van de Pol, Jaco C.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Expert Network Time Protocol

Rybaczyk, Peter. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Guide to RISC Processors

Dandamudi, Sivarama P. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Soft Real-Time Systems: Predictability vs. Efficiency

Abeni, Luca. - Buttazzo, Giorgio C. - Caccamo, Marco. - Lipari, Giuseppe. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Software Process Modeling

Acuna, Silvia T. - Juristo, Natalia. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Software Agent-Based Applications, Platforms and Development Kits

Calisti, Monique. - Klusch, Matthias. - SpringerLink (Online service) - Unland, Rainer.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Combinatorial complexes

SELLERS, Peter H. [ed.]
Judul Seri : Mathematics and its applications,v.2
No. Panggil : 005.1 Sel c
Ketersediaan : 1 copies available
Eksemplar :

Optimization in operations research

RARDIN, Ronald L.
Judul Seri :
No. Panggil : 658.4 Rar o
Ketersediaan : 2 copies available
Eksemplar :

Control of uncertain systems :

DAHLEH, Munther A. - DIAZ-BOBILLO, Ignacio J.
Judul Seri :
No. Panggil : 519.72 Dah c
Ketersediaan : 1 copies available
Eksemplar :

Linear programming :

SWANSON, Leonard W.
Judul Seri : McGraw-Hill series in quantitative methods for man
No. Panggil : 519.72 Swa l
Ketersediaan : 1 copies available
Eksemplar :

Hasil Pencarian


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

Informasi


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