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

Automata, Languages and Programming

Caires, Luis. - Italiano, Guiseppe F. - Monteiro, Luis - Palamidessi, Catuscia. - Yung, Moti.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Encyclopedia of Cryptography and Security

van Tilborg, Henk C.A.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Discrete and Computational Geometry

Akiyama, Jin. - Kano, Mikio. - Tan, Xuehou.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Distributed Computing in Sensor Systems

Iyengar, Sitharama. - Prasanna, Viktor K. - Spirakis, Paul. - Welsh, Matt.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Dissemination of Information in Communication Networks

Hromkovič, Juraj. - Klasing, Ralf. - Pelc, A. - Ruzicka, Peter. - Unger, Walter.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Discrete Geometry for Computer Imagery

Andres, Eric. - Damiand, Guillaume. - Lienhardt, Pascal.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

Chekuri, Chandra. - Jansen, Klaus - Rolim, José D.P. - Trevisan, Luca.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Approximation and Online Algorithms

Persiano, Giuseppe. - Solis-Oba, Roberto
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 749 dari pencarian Anda melalui kata kunci: subject="MATHEMATIC"
Permintaan membutuhkan 0.20436 detik untuk selesai
XML ResultJSON Result

Informasi


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