Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Rules and Rule Markup Languages for the Semantic Web : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings

Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book

Abstraction, Refinement and Proof for Probabilistic Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Fine-Tuning of RNA Functions by Modification and Editing

Judul Seri :
No. Panggil : 571.6
Ketersediaan : E Book

Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Parallel Computing Technologies : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book

Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book

Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.82
Ketersediaan : E Book

Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Ambient Networks : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings

Judul Seri :
No. Panggil : 004.6
Ketersediaan : E Book

Sterile Insect Technique : Principles and Practice in Area-Wide Integrated Pest Management

Judul Seri :
No. Panggil : 595.7
Ketersediaan : E Book

Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

A Software Process Model Handbook for Incorporating People's Capabilities

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

Judul Seri :
No. Panggil : 003.3
Ketersediaan : E Book

Logic Programming with Prolog

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 815 dari pencarian Anda melalui kata kunci: Subject : "SIGNAL PROCESSING--DIGITAL TECHNIQUES"
Saat ini anda berada pada halaman 8 dari total 41 halaman
Permintaan membutuhkan 0.00683 detik untuk selesai

Informasi

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