Programming Languages and Systems

Sagiv, Mooly.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Processes, Terms and Cycles: Steps on the Road to Infinity

de Vrijer, Roel. - Middeldorp, Aart. - van Oostrom, Vincent. - van Raamsdonk, Femke.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Principles and Practice of Semantic Web Reasoning

Fages, Francois. - Soliman, Sylvain.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Principles and Practice of Constraint Programming - CP 2005

van Beek, Peter.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Operational Semantics for Timed Systems

Rust, Heinrich.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Numerical Analysis and Its Applications

Li, Zhilin. - Vulkov, Lubin. - Wásniewski, Jerzy.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

The Next Wave in Computing, Optimization, and Decision Technologies

Golden, Bruce L. - Raghavan, S. - Wasil, Edward A.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Biological and Medical Data Analysis

Maojo, Víctor. - Martin-Sanchez, Fernando. - Oliveira, José Luis - Sousa Pereira, António.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Automated Reasoning with Analytic Tableaux and Related Methods

Beckert, Bernhard.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Automated Deduction – CADE-20

Nieuwenhuis, Robert.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 474 dari pencarian Anda melalui kata kunci: subject="MATHEMATICA"
Permintaan membutuhkan 0.1686 detik untuk selesai
XML ResultJSON Result

Informasi


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