Koleksi

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

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

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

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

Visualization, Explanation and Reasoning Styles in Mathematics

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

Fuzzy Modeling with Spatial Information for Geographic Problems

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

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

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

Propositional and Predicate Calculus: A Model of Argument

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

Valued Fields

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

Trends in Continuum Mechanics of Porous Media

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

Essays in Constructive Mathematics

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

Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings

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

Logica Universalis : Towards a General Theory of Logic

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

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

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

Refiguring Techniques in Digital Visual Research

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

Ethical economics

Judul Seri :
No. Panggil : 330.010 Gri e
Ketersediaan : 3 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103100503023330.010 Gri eGedung Lama Lantai 1 Timur 330Available
31103100503031330.010 Gri eGedung Lama Lantai 1 Timur 330Available
31103990854908330.010 Gri eLantai II TimurAvailable

Foundation vibration analysis using simple physical models

Judul Seri :
No. Panggil : 624.15 Wol f
Ketersediaan : 2 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103110722191624.15 Wol fGedung Baru Lantai 5 (600)Available
31103160901363624.15 Wol fLantai II TimurAvailable

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

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

A Modern Perspective on Type Theory : From its Origins until Today

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

Hasil Pencarian

Ditemukan 98 dari pencarian Anda melalui kata kunci: Subject : "ETHICAL FOUNDATIONS"
Saat ini anda berada pada halaman 4 dari total 5 halaman
Permintaan membutuhkan 0.00325 detik untuk selesai

Informasi

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