Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 26 27 28 29 30 Berikutnya Hal. Akhir

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 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

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

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

Perspectives and Policies on ICT in Society : An IFIP TC9 (Computers and Society) Handbook

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

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

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

Engineering and Managing Software Requirements

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

Component-Based Software Testing with UML

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

Enterprise Systems. Strategic, Organizational, and Technological Dimensions : International Workshops, Pre-ICIS 2010, St. Louis, MO, USA, December 12, 2010, Pre-ICIS 2011, Shanghai, China, December 4, 2011, and Pre-ICIS 2012, Orlando, FL, USA, December 16, 2012, Revised Selected Papers

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

Advanced Information Systems Engineering Workshops : CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedings

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

Spatially Structured Evolutionary Algorithms : Artificial Evolution in Space and Time

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

Collaborative Networks and Their Breeding Environments : IFIP TC 5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September 2005, Valencia, Spain

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

Progress in Artificial Intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings

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

Computational Science and High Performance Computing : Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

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

System-level Test and Validation of Hardware/Software Systems

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

Experimental Aspects of Quantum Computing

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

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

Inconsistency Tolerance

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

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

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

Crime, Genes, Neuroscience and Cyberspace

Judul Seri :
No. Panggil : 364.01
Ketersediaan : E Book
Hal. Awal Sebelumnya 26 27 28 29 30 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1350 dari pencarian Anda melalui kata kunci: Subject : "Computer mathematics."
Saat ini anda berada pada halaman 29 dari total 68 halaman
Permintaan membutuhkan 0.00365 detik untuk selesai

Informasi

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