Koleksi

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

Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

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

Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers

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

Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

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

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

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

Reasoning Web : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

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

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

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

Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

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

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

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

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

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

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

Modern Perspectives in Type-Theoretical Semantics

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

Logic, Thought and Action

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

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

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

Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

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

Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

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

Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

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

Hasil Pencarian

Ditemukan 1120 dari pencarian Anda melalui kata kunci: Subject : "Arithmetic and logic units, Computer."
Saat ini anda berada pada halaman 5 dari total 56 halaman
Permintaan membutuhkan 0.00377 detik untuk selesai

Informasi

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