Koleksi

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

Control of Robot Manipulators in Joint Space

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

Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests

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

Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

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

Computational and Information Science : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings

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

Hierarchical Bayesian Optimization Algorithm : Toward a New Generation of Evolutionary Algorithms

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

Metaheuristics : Progress as Real Problem Solvers

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

New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

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

High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

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

Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004

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

An Introduction to Queueing Theory and Matrix-Analytic Methods

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

Evolutionary Multiobjective Optimization : Theoretical Advances and Applications

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

Semistructured Database Design

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

Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

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

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

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

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

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

Software Product Line Engineering : Foundations, Principles and Techniques

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

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

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

Hasil Pencarian

Ditemukan 2440 dari pencarian Anda melalui kata kunci: Subject : "Theory of Computation."
Saat ini anda berada pada halaman 5 dari total 122 halaman
Permintaan membutuhkan 0.00344 detik untuk selesai

Informasi

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