Theorem Proving in Higher Order Logics

High Performance Computing – HiPC 2005

Implementing Distributed Systems with Java and CORBA

High Performance Computing for Computational Science - VECPAR 2004

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

The Contemporary British Novel Since 1980

Cosmopolitanisms and Latin America

Euro-Par 2005 Parallel Processing

Guide to RISC Processors

Event-Triggered and Time-Triggered Control Paradigms

Hasil Pencarian


Ditemukan 3018 dari pencarian Anda melalui kata kunci: subject="ITE"
Permintaan membutuhkan 0.26059 detik untuk selesai
XML ResultJSON Result

Informasi


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