Tools and Algorithms for the Construction and Analysis of Systems

Halbwachs, Nicolas. - SpringerLink (Online service) - Zuck, Lenore.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Methods and Software Engineering

Banach, Richard. - Lau, Kung-Kiu. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

UML Modeling Languages and Applications

Jardim Nunes, Nuno. - Rodrigues da Silva, Alberto. - Selic, Bran. - SpringerLink (Online service) - Toval Alvarez, Ambrosio.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Typed Lambda Calculi and Applications

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

Global Computing

Priami, Corrado. - Quaglia, Paola. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Modeling and Analysis of Timed Systems

Pettersson, Paul. - SpringerLink (Online service) - Yi, Wang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Software Composition

Aßmann, Uwe. - Gschwind, Thomas. - Nierstrasz, Oscar. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Software Engineering and Middleware

Gschwind, Thomas. - Mascolo, Cecilia. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Implementation and Application of Functional Languages

Grelck, Clemens. - Huch, Frank. - Michaelson, Greg. - SpringerLink (Online service) - Trinder, Phil.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Static Analysis

Hankin, Chris. - Siveroni, Igor. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


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

Informasi


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