Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

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

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

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

Categories for Software Engineering

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

Processes, Terms and Cycles Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

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

Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

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

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

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

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

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

Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

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

Complexity Theory : Exploring the Limits of Efficient Algorithms

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

Principles and Practice of Constraint Programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II

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

A Logic book

Judul Seri :
No. Panggil : 160 Joh l2
Ketersediaan : 2 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
07003130101160160 Joh l2Gedung Lama Lantai 1 Timur 100Sedang Dipinjam (Jatuh tempo pada 2023-03-16)
07003130101135160 Joh l2Gedung Baru Lantai 3 (Koleksi Lama)Available
07003150902119 160 Joh l Gedung Lama Lantai 1 Timur 100Available

Otomatisasi Pembuatan Logik Design dan Layout Pada Desain VLSI (Very Large Scale Integration)

Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
47524.1JURNALR. MajalahTidak Dipinjamkan

Perbandingan sistem pengontrolan PID konvensional dengan pengontrolan CMAC, Fuzzy logic dan Ann pada : water level pressurizer

Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
65994.1JURNALR. MajalahTidak Dipinjamkan

Fundamentals of digital logic with vhdl design

Judul Seri :
No. Panggil : 651.84 Bro f
Ketersediaan : 2 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103100403703651.84 Bro fLantai II TimurAvailable
31103100700637651.84 Bro fGedung Baru Lantai 5 (600)Available

Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

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

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

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

Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Judul Seri :
No. Panggil : 518
Ketersediaan : E Book
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1120 dari pencarian Anda melalui kata kunci: Subject : "Arithmetic and logic units, Computer."
Saat ini anda berada pada halaman 4 dari total 56 halaman
Permintaan membutuhkan 0.00277 detik untuk selesai

Informasi

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