Theoretical Computer Science

Coppo, Mario. - Lodi, Elena. - Pinna, G. Michele. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Techniques for Computer Systems and Business Processes

Bravetti, Mario. - Kloul, Leila. - SpringerLink (Online service) - Zavattaro, Gianluigi.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Inconsistency Tolerance

Bertossi, Leopoldo. - Hunter, Anthony. - Schaub, Torsten. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Theoretical Aspects of Computing - ICTAC 2004

Araki, Keijiro. - Liu, Zhiming. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

A Theory of Distributed Objects

Caromel, Denis. - Henrio, Ludovic. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Methods in Software and Systems Modeling

Kreowski, Hans-Jörg. - Montanari, Ugo. - Orejas, Fernando. - Rozenberg, Grzegorz. - SpringerLink (Online service) - Taentzer, Gabriele.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Verification, Model Checking, and Abstract Interpretation

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

Fundamental Approaches to Software Engineering

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

Term Rewriting and Applications

Giesl, Jürgen. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Methods for Open Object-Based Distributed Systems

SpringerLink (Online service) - Steffen, Martin. - Zavattaro, Gianluigi.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 144 dari pencarian Anda melalui kata kunci: subject="MEAN"
Permintaan membutuhkan 0.21108 detik untuk selesai
XML ResultJSON Result

Informasi


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