Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 81 82 83 84 85 Berikutnya Hal. Akhir

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

Abstraction, Refinement and Proof for Probabilistic Systems

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

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

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

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

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

Adapting Proofs-as-Programs : The Curry--Howard Protocol

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

Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
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

Software Composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

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

Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

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

Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 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

Jobless Citizens : Political Engagement of the Young Unemployed

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

Towards a Professional Model of Surrogate Motherhood

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

Computer Insecurity : Risking the System

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

The Universe of General Relativity

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

At the Origins of Modernity : Francisco de Vitoria and the Discovery of International Law

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

The Science of Nature in the Seventeenth Century : Patterns of Change in Early Modern Natural Philosophy

Judul Seri :
No. Panggil : 100
Ketersediaan : E Book
Hal. Awal Sebelumnya 81 82 83 84 85 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 2140 dari pencarian Anda melalui kata kunci: Subject : "RATIO OF OPERATING LEASE"
Saat ini anda berada pada halaman 82 dari total 107 halaman
Permintaan membutuhkan 0.00367 detik untuk selesai

Informasi

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