Koleksi

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

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

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

Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

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

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

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

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

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

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

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

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

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

Computer Aided Systems Theory – EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

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

Complexity Theory : Exploring the Limits of Efficient Algorithms

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

FM 2005 Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

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

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

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

Theoretical Computer Science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

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

FSTTCS 2004 Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings

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

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

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Judul Seri :
No. Panggil : 004.0151
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
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 562 dari pencarian Anda melalui kata kunci: Subject : "Mathematical logic."
Saat ini anda berada pada halaman 4 dari total 29 halaman
Permintaan membutuhkan 0.00338 detik untuk selesai

Informasi

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