Koleksi

Item Code	Call Number	Location	Status
31103060644445	410 Hat d	Lantai II Timur	Available
31103110225450	410 Hat d	Gedung Lama Lantai 2 Timur 400	Sedang Dipinjam (Jatuh tempo pada 2013-10-07)

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A. - Tsay, Yih-Kuen.

Judul Seri :

No. Panggil : 620.00420285

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11562948

Topics in Cryptology -- CT-RSA 2005 : The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings

Menezes, Alfred John. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.82

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b105222

Languages and Compilers for High Performance Computing : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

Eigenmann, Rudolf. - Li, Zhiyuan. - Midkiff, Samuel P.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11532378

Languages and Compilers for Parallel Computing : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

Pugh, Bill. - Tseng, Chau-Wen.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11596110

Combinatorial and Algorithmic Aspects of Networking : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

López-Ortiz, Alejandro. - Hamel, Angèle. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.7

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11527954

Mobile and Wireless Communications Networks : IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004) October 25-27, 2004 Paris, France

Belding-Royer, Elizabeth M. - Al Agha, Khaldoun. - Pujolle, Guy.

Judul Seri :

No. Panggil : 621.382

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b100798

Next Generation Transport Networks : Data, Management, and Control Planes

Ellanti, Manohar Naidu. - Gorshe, Steven Scott. - Raman, Lakshmi G. - Grover, Wayne D.

Judul Seri :

No. Panggil : 621.382

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b104435

Performance Evaluation and Planning Methods for the Next Generation Internet

Girard, Andre. - Sansò, Brunilde. - Vazquez-Abad, Felida. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 658.40301

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b135550

High Performance Computing - HiPC 2004 : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings

Bougé, Luc. - Prasanna, Viktor K. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b104576

Knowledge-Based Intelligent Information and Engineering Systems : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II

Jain, Lakhmi C. - Khosla, Rajiv. - Howlett, Robert J.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11552451

Public Key Infrastructure : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers

Chadwick, David. - Zhao, Gansen.

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11533733

Journal on Data Semantics III

SpringerLink (Online service)

Judul Seri :

No. Panggil :

Ketersediaan : tidak ada kopi yang tersedia

Graph-Theoretic Concepts in Computer Science : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

Kratsch, Dieter. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11604686

High Performance Computing – HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings

Bader, David A. - Parashar, Manish. - Sridhar, V. - Prasanna, Viktor K. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11602569

Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

Benjamins, V. Richard. - Casanovas, Pompeu. - Breuker, Joost. - Gangemi, Aldo.

Judul Seri :

No. Panggil : 004

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106624

Multi-Agent and Multi-Agent-Based Simulation : Joint Workshop MABS 2004

Davidsson, Paul. - Logan, Brian. - Takadama, Keiki.

Judul Seri :

No. Panggil : 519

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106991

Hal. Awal Sebelumnya 41 42 43 44 45 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1268 dari pencarian Anda melalui kata kunci: Subject : "COMPUTER--ASSISTED INSTRUCTION--CONGRESSES"

Saat ini anda berada pada halaman 43 dari total 64 halaman

Permintaan membutuhkan 0.0052 detik untuk selesai

XML Result JSON Result

Informasi

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