Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Critical Perspectives on Work and Employment in Globalizing India

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

Promoting Active Citizenship : Markets and Choice in Scandinavian Welfare

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

Interactional Competences in Institutional Settings : From School to the Workplace

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

Healthy Volunteers in Commercial Clinical Drug Trials : When Human Beings Become Guinea Pigs

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

Precarious Enterprise on the Margins : Work, Poverty, and Homelessness in the City

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

Academic Labour, Unemployment and Global Higher Education : Neoliberal Policies of Funding and Management

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

Policy Implications of Virtual Work

Judul Seri : Dynamics of Virtual Work
No. Panggil : 361.61
Ketersediaan : E Book

Employee engagement: determinan dan dampaknya terhadap kinerja pegawai ditjen perbendaharaan di masa pandemi covid-19

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

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

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

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

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

Developments in Language Theory : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings

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

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

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

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

ZB 2005 Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 345 dari pencarian Anda melalui kata kunci: Subject : "LOGIC FRAME-WORK MATRIX"
Saat ini anda berada pada halaman 11 dari total 18 halaman
Permintaan membutuhkan 0.00303 detik untuk selesai

Informasi

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