Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8

Scenarios Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

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

Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

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

Categories for Software Engineering

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

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

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

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

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

Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

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

Abstract Computing Machines : A Lambda Calculus Perspective

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

Algorithmic Learning in a Random World

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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

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

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 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

Insulinde : selected translations from Dutch writers of three centuries on the Indonesian archipelago

Judul Seri :
No. Panggil : DUTCH 839.31 Ins i
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
14000000279319DUTCH 839.31 Ins iGedung Baru Lantai 3 (Koleksi Belanda)Tidak Dipinjamkan
Hal. Awal Sebelumnya 6 7 8

Hasil Pencarian

Ditemukan 157 dari pencarian Anda melalui kata kunci: Subject : "TRANSLATION PROGRAMS"
Saat ini anda berada pada halaman 8 dari total 8 halaman
Permintaan membutuhkan 0.00294 detik untuk selesai

Informasi

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