Formal Techniques for Networked and Distributed Systems - FORTE 2005

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

Formal Methods for Mobile Computing

Bernardo, Marco. - Bogliolo, Alessandro. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Implementation of Functional Languages

Michaelson, Greg. - Pena, Ricardo. - SpringerLink (Online service) - Trinder, Phil.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Computer Science Logic

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

Global Optimization and Constraint Satisfaction

Jermann, Christophe. - Neumaier, Arnold. - Sam, Djamila. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

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

Hasil Pencarian


Ditemukan 318 dari pencarian Anda melalui kata kunci: subject="MEA"
Permintaan membutuhkan 0.18931 detik untuk selesai
XML ResultJSON Result

Informasi


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