Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

Distributed operating systems

Judul Seri :
No. Panggil : 005.43 Tan d
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103150105414 005.43 Tan d Lantai II TimurAvailable

Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

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

Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

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

Multiparadigm Programming in Mozart/Oz : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

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

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

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

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

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

Architecting Dependable Systems III

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

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

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

Operating systems : internals and design principles

Judul Seri :
No. Panggil : 005.1 Sta o
Ketersediaan : tidak ada kopi yang tersedia
Eksemplar :
Item CodeCall NumberLocationStatus
31103150105259005.1 Sta o Lantai II TimurHilang

Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

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

Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends

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

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

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

Advances in Cryptology – EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings

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

Distributed Computing : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings

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

Information Security and Cryptology : First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings

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

Distributed Computing – IWDC 2005 : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings

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

Advances in Cryptology - CRYPTO 2005 : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings

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

Engineering Self-Organising Systems : Methodologies and Applications

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

Advances in Grid Computing - EGC 2005 : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

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

Hasil Pencarian

Ditemukan 976 dari pencarian Anda melalui kata kunci: Subject : "Operating Systems."
Permintaan membutuhkan 0.0035 detik untuk selesai

Informasi

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