Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

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

FSTTCS 2005 Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

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

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

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

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 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

Abstract Computing Machines : A Lambda Calculus Perspective

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

Hybrid Systems Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

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

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

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

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

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

Model-Based Testing of Reactive Systems : Advanced Lectures

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

Philosophical Foundations of Quality of Life : The Selected Works of Alex C. Michalos

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

Studies in Legal Logic

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

Language, Meaning, Interpretation

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

Handbook of Philosophical Logic : Volume 13

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

The Dynamics of Thought

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

Anaphora and Type Logical Grammar

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

Information, Interaction, and Agency

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

Modality in Argumentation : A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions

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

Handbook of Philosophical Logic : Volume 12

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

Hasil Pencarian

Ditemukan 1116 dari pencarian Anda melalui kata kunci: Subject : "Computer logic."
Permintaan membutuhkan 0.00388 detik untuk selesai

Informasi

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